documentation

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

publications

  • 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.
    [pdf][abstract][bibtex][slides]
  • Aleksandar Milicevic.
    Executable Specifications for Java Programs.
    MIT Masters Thesis, 2010.
    [pdf][abstract][bibtex]
  • Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis and Daniel Jackson.
    Agile Specifications.
    OOPSLA Onward! 2009 (short paper), Orlando, Florida, USA.
    [pdf][abstract][bibtex]