Agile specifications.

Derek Rayside Aleksandar Milicevic Kuat Yessenov Greg Dennis Daniel Jackson

Published in: OOPSLA Companion (2009)

Keyphrases

formal specification
delay insensitive
high level
project management
functional requirements
data mining
database systems
similarity measure
expert systems
software engineering
software development
learning technologies
control flow
formal verification
asynchronous circuits
design requirements