@inproceedings{7314e9277d8b451e87b7cea8369bf5bd,
title = "Supporting Agile Development by Facilitating Natural User Interaction with Executable Formal Specifications",
keywords = "Agile software development, Computer games, DisCo software, Executable formal specifications, User interfaces, Agile software development, Computer games, DisCo software, Executable formal specifications, User interfaces",
author = "Timo Nummenmaa and Aleksi Tiensuu and Eleni Berki and Tommi Mikkonen and Jussi Kuittinen and Annakaisa Kultima",
note = "ei ut-numeroa 12.4.2014<br/>Contribution: organisation=ohj,FACT1=1",
year = "2011",
doi = "10.1145/1988997.2003643",
language = "English",
pages = "1--10",
booktitle = "ACM SIGSOFT Software Engineering Notes",
publisher = "ACM",
}