Keyphrases
- formal methods
- software systems
- dynamical systems
- software engineering
- software design
- knowledge based systems
- software architecture
- safety critical
- formal specification
- metamodel
- design patterns
- model checking
- source code
- modeling language
- development lifecycle
- artificial intelligence
- software development
- formal specification language
- software maintenance
- software components
- development effort
- database
- reverse engineering
- high level
- state space
- complex software systems
- software testing
- functional requirements
- expert systems
- predictive state representations
- nonlinear dynamical systems
- database systems
- relational databases
- object oriented
- black box