Modelling UML state machines with FoCaLiZe
Choukri Bey Ben Yelles, Renaud Rioboo, Messaoud Abbas
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Closed access 5
Choukri Bey Ben Yelles
1
Research output
6
Citations
1
h-index
Rate this researcherNo rating yet
The average shows from 3 ratings.
Collaborations and top research areas
Click dots and donuts to bring up details or select a country/territory from the list
Fingerprint
View allWeighted concepts mined from titles, abstracts and topics of the research output, grouped by field.
- Model-Driven Software Engineering Techniques
- Formal Methods in Verification
- Logic, programming, and type systems
- UML state machines
- OCL constraints
- formal transformation
- model-driven engineering
- model refinement
- executable code generation
- formal verification