• project documentation (powered by Doxygen) [html][pdf]


  • Aleksandar Milicevic, Derek Rayside, Kuat Yessenov and Daniel Jackson.
    Unifying Execution of Imperative and Declarative Code.
    33rd International Conference on Software Engineering (ICSE), Waikiki, Honolulu, Hawaii, May 2011.
  • Aleksandar Milicevic.
    Executable Specifications for Java Programs.
    MIT Masters Thesis, 2010.
  • Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis and Daniel Jackson.
    Agile Specifications.
    OOPSLA Onward! 2009 (short paper), Orlando, Florida, USA.