Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach.
Farid MokhatiMourad BadriPatrice GagnonPublished in: SEKE (2006)
Keyphrases
- formal specification
- uml diagrams
- software design
- model checking
- object oriented design
- unified modeling language
- software engineers
- object oriented data models
- reverse engineering
- formal methods
- design patterns
- software components
- software engineering
- constraint language
- production rules
- qualitative and quantitative
- xml schema
- object oriented
- query processing
- cooperative
- real world
- knowledge based systems
- data model
- multi agent