USE: A UML-based specification environment for validating UML and OCL.
Martin GogollaFabian BüttnerMark RichtersPublished in: Sci. Comput. Program. (2007)
Keyphrases
- uml diagrams
- sequence diagrams
- software design
- metamodel
- uml class diagrams
- modeling language
- unified modeling language
- class diagram
- tool support
- constraint language
- state machine
- specification language
- class diagrams
- uml models
- petri net
- formal methods
- requirements specification
- activity diagrams
- real time
- software engineers
- conceptual modeling
- software engineering
- requirements analysis
- dynamic environments
- test cases
- software systems
- formal specification
- regression testing
- software development
- data model
- mobile robot
- object oriented modeling
- intermediate representation
- model driven engineering
- development process
- goal oriented
- uml profile
- reactive systems
- conceptual models
- reverse engineering
- software projects
- software architecture
- autonomous agents
- database design
- object oriented
- learning environment