Keyphrases
- computer systems
- complex systems
- commercial software
- expert systems
- formal methods
- mathematical models
- reactive systems
- distributed systems
- statistical models
- management system
- model selection
- parameter estimation
- source code
- safety critical
- business applications
- enterprise systems
- graphical user interfaces
- case study
- architectural models
- technical issues
- trading systems
- abstraction levels
- real time systems
- linear systems
- software developers
- linear model
- process model
- software development
- probabilistic model