Supporting agile development by facilitating natural user interaction with executable formal specifications.
Timo NummenmaaAleksi TiensuuEleni BerkiTommi MikkonenJussi KuittinenAnnakaisa KultimaPublished in: ACM SIGSOFT Softw. Eng. Notes (2011)
Keyphrases
- user interaction
- formal specification
- agile development
- model checking
- object oriented design
- user behavior
- process algebra
- reverse engineering
- software engineering
- software development
- pair programming
- concurrent systems
- user interface
- formal methods
- user input
- formal specification language
- software evolution
- software components
- agile software development
- temporal logic
- early stage
- collaborative learning
- real world
- protocol specification