Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System.
Klaas WijbransFranc BuveRobin RijkersWouter GeurtsPublished in: FM (2008)
Keyphrases
- formal methods
- software engineering
- control system
- safety critical
- knowledge based systems
- formal analysis
- artificial intelligence
- development process
- case study
- model checker
- software systems
- model checking
- provably correct
- reverse engineering
- software development
- formal specification
- development lifecycle
- systems development
- process algebra
- real time
- expert systems
- software projects
- remote monitoring
- object oriented software engineering
- software reuse
- software testing
- design patterns
- object oriented
- product line
- programming language
- systems analysis and design
- information systems
- machine learning