Formal domain-driven system development in Event-B: Application to interactive critical systems.
Ismaïl MendilYamine Aït AmeurNeeraj KumarGuillaume DupontDominique MéryPhilippe A. PalanquePublished in: J. Syst. Archit. (2023)
Keyphrases
- domain driven
- support systems
- software engineering
- event detection
- technical issues
- case study
- management system
- computer systems
- knowledge based systems
- user interaction
- design tools
- paradigm shift
- actionable knowledge discovery
- decision trees
- web based systems
- rapid prototyping
- formal methods
- development process
- multi dimensional