Keyphrases
- formal methods
- systems engineering
- software engineering
- knowledge based systems
- formal analysis
- knowledge extraction
- requirements engineering
- safety critical
- topics covered include
- systems development
- artificial intelligence
- formal specification
- model checker
- provably correct
- software development
- software systems
- industrial applications
- model checking
- process algebra
- design thinking
- knowledge representation
- software architecture
- modeling language
- object oriented
- formal specification language
- development lifecycle
- databases
- security properties
- computational biology
- design patterns
- knowledge discovery
- relational databases
- case study
- machine learning