A framework for the rigorous design of highly adaptive timed systems.
Maxime CordyAxel LegayPierre-Yves SchobbensLouis-Marie TraonouezPublished in: FormaliSE@ICSE (2013)
Keyphrases
- conceptual framework
- building blocks
- computing paradigm
- web based educational systems
- management system
- design criteria
- knowledge based systems
- main contribution
- interactive systems
- conceptual model
- design issues
- development methodologies
- design principles
- design rationale
- architectural design
- formal methods
- case study
- design tools
- e learning
- distributed architecture
- software architecture
- complex systems
- theoretical framework
- design process
- distributed systems
- highly modular
- multimedia