Modular Assurance of Complex Systems Using Contract-Based Design Principles.
Dag McGeorgeJon Arne GlomsrudPublished in: CoRR (2024)
Keyphrases
- complex systems
- design principles
- dynamic systems
- instructional design
- software engineering
- design decisions
- discrete event systems
- design process
- multi agent systems
- computational systems
- user interface
- physical systems
- design patterns
- database design
- technical systems
- biological systems
- steady state simulation
- mathematical models
- cooperative
- artificial intelligence
- learning theory
- case study
- database