Up and out: scaling formal analysis using model-based development and architecture modeling.
Michael W. WhalenPublished in: HILT (2013)
Keyphrases
- formal analysis
- agent model
- formal methods
- design considerations
- real time
- software engineering
- information systems
- computational modeling
- case study
- management system
- design principles
- design tools
- architectural design
- ban logic
- content management
- core components
- design process
- information processing
- web services
- neural network