MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Validating UML Models and OCL Constraints." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Validating UML Models and OCL Constraints
by Mark Richters, Martin Gogolla — 2000
…Validating UML Models and OCL Constraints Mark Richters and Martin Gogolla University of Bremen…
Cited by 46 (6 self) – Add To MetaCart

A precise approach to validating UML models and OCL constraints
by Mark Richters — 2001
…A Precise Approach to Validating UML Models and OCL Constraints Mark Richters Fachbereich 3…
Cited by 57 (2 self) – Add To MetaCart

Tool support for OCL and related formalisms - needs and trends
by Thomas Baar, Dan Chiorean, Re Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer — MoDELS Satellite Events. Volume 3844 of Lecture
… for software production. USE allows the validation of UML models and OCL constraints based on animation…
Cited by 1 (0 self) – Add To MetaCart

Notre Dame Journal of Formal Logic
by Gergely Mezei, Tihamér Levendovszky, Hassan Charaf — 1981 — 5th Slovakian-Hungarian Joint Symposium on Applied Machine Intelligence and Informatics
… the analysis and validation of UML models and OCL constraints. It defines a formal syntax and semantics of OCL…
Cited by 1 (1 self) – Add To MetaCart

Metric-Based Selective Representation of UML Diagrams
by Ralf Kollmann, Martin Gogolla — 2001 — Proceedings of the Sixth European Conference on Software Maintenance and Reengineering
…-based Specification Environment) [19], a system for the specification and validation of UML models and OCL constraints…
Cited by 10 (1 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB