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 Accès fermé 5
Choukri Bey Ben Yelles
1
Productions
6
Citations
1
Indice h
Noter ce chercheurPas encore noté
La moyenne apparaît à partir de 3 avis.
Collaborations and top research areas
Cliquez sur les points pour afficher les détails ou sélectionnez un pays dans la liste
Empreinte
Tout voirConcepts pondérés extraits des titres, résumés et thématiques des productions, groupés par domaine.
- 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