Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic.
Nasreddine AoumeurGunter SaakePublished in: CAiSE (2002)
Keyphrases
- rapid prototyping
- class diagrams
- uml diagrams
- uml class diagrams
- unified modeling language
- state machine
- sequence diagrams
- class diagram
- agent oriented programming
- software design
- development environment
- constraint language
- software engineering
- object oriented
- modeling language
- simulation platform
- software systems
- case study
- object oriented systems
- structural analysis
- modal logic
- database design
- logic programming
- expert systems
- artificial intelligence
- code generation
- databases
- formal methods
- logic programs
- visual programming