Generating Maude Specifications from M-UML Statechart Diagrams.
Mourad KezaiAbdallah KhababaPublished in: J. Adv. Comput. Intell. Intell. Informatics (2022)
Keyphrases
- class diagram
- class diagrams
- formal specification
- uml class diagrams
- uml diagrams
- unified modeling language
- specification language
- sequence diagrams
- object oriented
- software design
- formal methods
- model checking
- test cases
- conceptual models
- reverse engineering
- petri net
- requirements specification
- delay insensitive
- database design
- operational semantics
- hand drawn
- software systems
- conceptual modeling
- software engineers
- database
- software testing
- software engineering
- learning environment
- database systems