Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project.
Alan WassyngMark LawfordPublished in: FME (2003)
Keyphrases
- lessons learned
- formal methods
- participatory design
- case study
- future directions
- current status
- formal specification language
- formal analysis
- knowledge based systems
- development lifecycle
- technology transfer
- design science
- formal specification
- model checking
- safety critical
- artificial intelligence
- grounded theory
- provably correct
- security properties
- temporal logic
- relational databases
- project management
- multi agent systems
- model checker
- software development
- knowledge base