Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16).
Tetsuya TohdoWerner DammAlexander PretschnerJun SunPublished in: NII Shonan Meet. Rep. (2014)
Keyphrases
- systems engineering
- formal methods
- software engineering
- development lifecycle
- knowledge based systems
- formal analysis
- systems development
- knowledge extraction
- safety critical
- requirements engineering
- topics covered include
- artificial intelligence
- software systems
- model checking
- industrial applications
- software development
- model checker
- formal specification
- object oriented
- process algebra
- information systems
- real world
- reactive systems
- data mining
- test cases
- natural language
- reverse engineering
- design patterns
- development process
- design thinking