Development of Critical Systems with UML/OCL and FoCaLiZe.
Messaoud AbbasFatima HalouaAmmar BoucheritPublished in: MEDI Workshops (2021)
Keyphrases
- case study
- software engineering
- formal methods
- metamodel
- knowledge based systems
- intelligent systems
- enabling technologies
- model driven engineering
- tool support
- development process
- distributed systems
- object oriented
- software systems
- complex systems
- modeling language
- communication technologies
- software design
- support systems
- management system
- uml diagrams
- computer systems
- software development
- database design
- relational databases
- learning environment
- web services