Keyphrases
- formal methods
- tool support
- software engineering
- knowledge based systems
- development lifecycle
- model checking
- formal analysis
- safety critical
- formal specification
- information systems
- security properties
- modeling language
- design decisions
- design process
- software tools
- software projects
- design principles
- expert systems
- case study
- real world