Alteration of lipase properties by protein engineering methods Uwe T. BORNSCHEUER Department of Biotechnology and Enzyme Catalysis, Institute of Biochemistry, Greifswald University, Felix-Hausdorff-Str. 4, 17487 Greifswa

Source URL: www.ocl-journal.org

Towards a Base Model for UML and OCL Verication? Frank Hilken, Philipp Niemann, Robert Wille, and Martin Gogolla University of Bremen, Computer Science Department DBremen, Germany

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Class diagram
• Diagram
• Activity diagram
• Object Process Methodology
• Entityrelationship model
• YEd

UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|fhilken}@informatik.uni-bremen.de

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Scientific modeling
• ECO
• Model-driven architecture
• Metamodeling
• Entityrelationship model
• Invariant
• Model transformation
• Class diagram
• Object Constraint Language
• Executable UML

Simplifying Transformations of OCL Constraints Martin Giese1 and Daniel Larsson2 1 Johann Radon Institute for Computational and Applied Mathematics

Source URL: heim.ifi.uio.no

Filmstripping and Unrolling: A Comparison of Verication Approaches for UML and OCL Behavioral Models? Frank Hilken, Philipp Niemann, Martin Gogolla, and Robert Wille University of Bremen, Computer Science Department

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Object Constraint Language
• ECO
• Dining philosophers problem
• Conceptual model
• Object Process Methodology

Microsoft Word - NEW SB Thula and Precious VF.docx

Source URL: www.ocl-journal.org

DOSSIER FONCTIONNALIT
ES DES HUILES
ge
taux : ressources fonctionnelles Huiles et corps gras ve

Source URL: www.ocl-journal.org

Checking Transformation Model Properties with a UML and OCL Model Validator Martin Gogolla, Lars Hamann, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|lhamann|fhilken}@informatik.uni-bremen.

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Relational model
• ECO
• Database
• Model transformation
• Metamodeling
• Class diagram

Leaf Pick Up Guide Lines This program is for those who have no other means by which to dispose of the leaves that will be gathered on the day of the Fall Clean Up program. This is for leaves only and restrictions apply.

Source URL: ocl.colostate.edu

Transformation of UML and OCL Models into Filmstrip Models? Frank Hilken, Lars Hamann, and Martin Gogolla University of Bremen {fhilken,lhamann,gogolla}@informatik.uni-bremen.de

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Object Process Methodology
• Object diagram
• Class diagram
• Postcondition
• Design by contract
• Sequence diagram
• Conceptual model