Timo Nummenmaa, Aleksi Tiensuu, Eleni Berki, Tommi Mikkonen, Jussi Kuittinen, Annakaisa Kultima. Supporting agile development by facilitating natural user interaction with executable formal specifications. ACM SIGSOFT Software Engineering Notes, 36(4):1-10, 2011. [doi]
Abstract is missing.