Lessons Learnt from the Adoption of Formal Model-Based Development.

Alessio Ferrari Alessandro Fantechi Stefania Gnesi

Published in: NASA Formal Methods (2012)

Keyphrases

case study
rapid development
information technology
software engineering
decision support
knowledge based systems
neural network
information retrieval
artificial intelligence
search engine
user interface
e government
formal specification
widespread adoption