Development of UML descriptions with USE

DOI10.1007/3-540-36087-5_27MaRDI QIDQ4427140zbMATH OpenFDO

Authors Mark Richters, Martin Gogolla

Publication date 18 September 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2510/25100228.htm

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99)

Recommendations

• USE: A UML-based specification environment for validating UML and OCL
• OCL: Syntax, semantics, and tools
• Using OCL and UML to specify system behavior
• HOL-OCL : Experiences, consequences and design choices
• An OCL extension for real-time constraints

Cited in

(4)

• USE: A UML-based specification environment for validating UML and OCL
• A visualization of OCL using collaborations
• Using OCL and UML to specify system behavior
• Modular architecture for a toolset supporting OCL

This page was built for publication: Development of UML descriptions with USE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4427140)