Keyphrases
- formal methods
- software architecture
- software engineering
- description language
- formal analysis
- software systems
- formal specification
- artificial intelligence
- knowledge based systems
- model checking
- embedded software
- safety critical
- process algebra
- functional requirements
- reference model
- distributed systems
- object oriented software
- software development
- object oriented
- development lifecycle
- architectural design
- commercial off the shelf
- formal specification language
- security requirements
- modeling language
- development process
- low cost
- multi agent
- knowledge base