RSDS, a Subset of UML with Precise Semantics.
Kevin LanoDavid ClarkKelly AndroutsopoulosPublished in: Obj. Logiciel Base données Réseaux (2003)
Keyphrases
- uml activity diagrams
- uml class diagrams
- specification language
- modeling language
- software systems
- semantic information
- formal semantics
- logic programming
- class diagrams
- regression testing
- conceptual modeling
- metamodel
- formal methods
- software engineering
- database design
- state machine
- software development
- artificial intelligence
- neural network
- conceptual model
- constraint language
- object oriented
- business process models