A visualization of OCL using collaborationsBOTTONI, Paolo; KOCH, Manuel; PARISI-PRESICCE, Francesco et al.Lecture notes in computer science. 2001, pp 257-271, issn 0302-9743, isbn 3-540-42667-1Conference Paper

Modeling the structure of Web applications with ArgoUWEKNAPP, Alexander; KOCH, Nora; GEFEI ZHANG et al.Lecture notes in computer science. 2004, pp 615-616, issn 0302-9743, isbn 3-540-22511-0, 2 p.Conference Paper

Applying refactoring techniques to UML/OCL modelsCORREA, Alexandre; WERNER, Claudia.Lecture notes in computer science. 2004, pp 173-187, issn 0302-9743, isbn 3-540-23307-5, 15 p.Conference Paper

Specification of invariability in OCLKOSIUCZENKO, Piotr.Lecture notes in computer science. 2006, pp 676-691, issn 0302-9743, isbn 3-540-45772-0, 1Vol, 16 p.Conference Paper

Computing the relevant instances that may violate an OCL constraintCABOT, Jordi; TENIENTE, Ernest.Lecture notes in computer science. 2005, pp 48-62, issn 0302-9743, isbn 3-540-26095-1, 15 p.Conference Paper

Benefits and problems of formal methodsGOGOLLA, Martin.Lecture notes in computer science. 2004, pp 1-15, issn 0302-9743, isbn 3-540-22011-9, 15 p.Conference Paper

A formal semantics for OCL 1.4CENGARLE, Maria Victoria; KNAPP, Alexander.Lecture notes in computer science. 2001, pp 118-133, issn 0302-9743, isbn 3-540-42667-1Conference Paper

Detecting OCL traps in the UML 2.0 superstructure: An experience reportBAUERDICK, Hanna; GOGOLLA, Martin; GUTSCHE, Fabian et al.Lecture notes in computer science. 2004, pp 188-196, issn 0302-9743, isbn 3-540-23307-5, 9 p.Conference Paper

On the formalization of the common information model metaschemaLOPEZ DE VERGARA, Jorge E; VILLAGRA, Vfctor A; BERROCAL, Julio et al.Lecture notes in computer science. 2005, pp 1-11, issn 0302-9743, isbn 3-540-29388-4, 1Vol, 11 p.Conference Paper

Foundations for QVT TransformationFAVRE, Liliana.Software engineering research & practice. International conferenceWorldComp'2010. 2010, pp 58-64, isbn 1-60132-160-0 1-60132-166-X 1-60132-167-8, 7 p.Conference Paper

Ontology mapping approach based on OCLPENGFEI QIAN; SHENSHENG ZHANG.Lecture notes in computer science. 2006, pp 1022-1033, issn 0302-9743, isbn 3-540-31142-4, 1Vol, 12 p.Conference Paper

From analysis model to software architecture : A PIM2PIM mappingPEREZ-MARTINEZ, Jorge Enrique; SIERRA-ALONSO, Almudena.Lecture notes in computer science. 2006, pp 25-39, issn 0302-9743, isbn 3-540-35909-5, 1Vol, 15 p.Conference Paper

Fact calculus : Using ORM and Lisa-D to reason about domainsHOPPENBROUWERS, S. J. B. A; PROPER, H. A; VAN DER WEIDE, Th. P et al.Lecture notes in computer science. 2005, pp 720-729, issn 0302-9743, isbn 3-540-29739-1, 1Vol, 10 p.Conference Paper

Modeling architectural patterns using architectural primitivesZDUN, Uwe; AVGERIOU, Paris.ACM SIGPLAN notices. 2005, Vol 40, Num 10, pp 133-146, issn 1523-2867, 14 p.Conference Paper

OCL as a specification language for business rules in database applicationsDEMUTH, Birgit; HUSSMANN, Heinrich; LOECHER, Sten et al.Lecture notes in computer science. 2001, pp 104-117, issn 0302-9743, isbn 3-540-42667-1Conference Paper

Defining and transforming security rules in an MDA approach for DWs : Dependability aspects on data warehousing and mining applications, Dawam 2009BLANCO, Carlos; GARCIA-RODRIGUEZ DE GUZMAN, Ignacio; FERNANDEZ-MEDINA, Eduardo et al.International journal of business intelligence and data mining (Print). 2010, Vol 5, Num 2, pp 116-133, issn 1743-8187, 18 p.Article

The epsilon object language (EOL)KOLOVOS, Dimitrios S; PAIGE, Richard F; POLACK, Fiona A. C et al.Lecture notes in computer science. 2006, pp 128-142, issn 0302-9743, isbn 3-540-35909-5, 1Vol, 15 p.Conference Paper

Specification and validation of authorisation constraints using UML and OCLSOHR, Karsten; AHN, Gail-Joon; GOGOLLA, Martin et al.Lecture notes in computer science. 2005, pp 64-79, issn 0302-9743, isbn 3-540-28963-1, 1Vol, 16 p.Conference Paper

Formalizing liveness-enriched Sequence diagrams using ASMsCAVARRA, Alessandra; KÜSTER-FILIPE, Juliana.Lecture notes in computer science. 2004, pp 62-77, issn 0302-9743, isbn 3-540-22094-1, 16 p.Conference Paper

Building precise UML constructs to model concurrency using OCLGONI, Agustin; ETEROVIC, Yadran.Lecture notes in computer science. 2004, pp 212-225, issn 0302-9743, isbn 3-540-23307-5, 14 p.Conference Paper

Instrumentation d'une méthodologie UML fondée sur OCL = Instrumenting a UML method based on OCLMILLAN, Thierry; PERCEBOIS, Christian; LEBLANC, Hervé et al.Software & systems engineering and their applications. 2004, pp 1.1-1.7, 3VolConference Paper

An approach for supporting aspect-oriented domain ModelingGRAY, Jeff; BAPTY, Ted; NEEMA, Sandeep et al.Lecture notes in computer science. 2003, pp 151-168, issn 0302-9743, isbn 3-540-20102-5, 18 p.Conference Paper

An OCL semantics specified with QVTMARKOVIC, Slavisa; BAAR, Thomas.Lecture notes in computer science. 2006, pp 661-675, issn 0302-9743, isbn 3-540-45772-0, 1Vol, 15 p.Conference Paper

Facilitating the definition of general constraints in UMLCOSTAL, Dolors; GOMEZ, Cristina; QUERALT, Anna et al.Lecture notes in computer science. 2006, pp 260-274, issn 0302-9743, isbn 3-540-45772-0, 1Vol, 15 p.Conference Paper

Integration of informal and formal development of object-oriented safety-critical softwareBUBEL, Richard; HÄHNLE, Reiner.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 3, pp 197-211, issn 1433-2779, 15 p.Conference Paper