Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study.
Michael AltenhofenAchim D. BruckerPublished in: FMICS (2010)
Keyphrases
- lessons learned
- practical issues
- formal specification
- object oriented design
- specification language
- model checking
- specification languages
- future directions
- case study
- process algebra
- reverse engineering
- participatory design
- design methodology
- formal methods
- grounded theory
- concurrent systems
- design science
- software components
- database
- databases
- formal specification language
- software testing
- software engineering
- cooperative