Supporting Agile Development by Facilitating Natural User Interaction with Executable Formal Specifications

Timo Nummenmaa; Aleksi Tiensuu; Eleni Berki; Tommi Mikkonen; Jussi Kuittinen; Annakaisa Kultima

doi:10.1145/1988997.2003643

Supporting Agile Development by Facilitating Natural User Interaction with Executable Formal Specifications

Timo Nummenmaa, Aleksi Tiensuu, Eleni Berki, Tommi Mikkonen, Jussi Kuittinen, Annakaisa Kultima

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	ACM SIGSOFT Software Engineering Notes
Place of Publication	New York, NY
Publisher	ACM
Pages	1-10
Number of pages	10
DOIs	https://doi.org/10.1145/1988997.2003643
Publication status	Published - 2011
Publication type	A4 Article in conference proceedings

Keywords

Agile software development
Computer games
DisCo software
Executable formal specifications
User interfaces

Publication forum classification

Publication forum level 0

Access to Document

10.1145/1988997.2003643

Cite this

@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",

address = "United States",

}

TY - GEN

T1 - Supporting Agile Development by Facilitating Natural User Interaction with Executable Formal Specifications

AU - Nummenmaa, Timo

AU - Tiensuu, Aleksi

AU - Berki, Eleni

AU - Mikkonen, Tommi

AU - Kuittinen, Jussi

AU - Kultima, Annakaisa

N1 - ei ut-numeroa 12.4.2014<br/>Contribution: organisation=ohj,FACT1=1

PY - 2011

Y1 - 2011

KW - Agile software development

KW - Computer games

KW - DisCo software

KW - Executable formal specifications

KW - User interfaces

KW - Agile software development

KW - Computer games

KW - DisCo software

KW - Executable formal specifications

KW - User interfaces

U2 - 10.1145/1988997.2003643

DO - 10.1145/1988997.2003643

M3 - Conference contribution

SP - 1

EP - 10

BT - ACM SIGSOFT Software Engineering Notes

PB - ACM

CY - New York, NY

ER -