Towards Supporting Multiple Execution Environments for UML/OCL Models at Runtime (Position Paper) Lars Hamann Martin Gogolla

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

Zur Integration von Struktur- und Verhaltensmodellierung mit OCL Lars Hamann, Martin Gogolla, Oliver Hofrichter AG Datenbanksysteme Universit¨at Bremen Postfach

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

Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool Lars Hamann, Frank Hilken, and Martin Gogolla University of Bremen, Computer Science Department DBremen, Germany

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

Formal Specification and Testing of Model Transformations Antonio Vallecillo1 , Martin Gogolla2 , Loli Burgue˜ no1 , Manuel Wimmer1 , 2 and Lars Hamann

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

Dr. Christoph Hamann / Dr. Birgit Wenzel, LISUM, Tragende Erwägungen zum Fachteil Gesellschaftswissenschaften im neuen Rahmenlehrplan, Anhörungsfassung (Jahrgangsstufen 5/6) Warum soll das neue Fach eingefü

Source URL: bildungsserver.berlin-brandenburg.de

Algemene transportvoorwaarden 1. Op het nationaal vervoer zijn van toepassing : “De Algemene Vervoerscondities 1983 A.V.C.”, gedeponeerd ter griffie van de arrondissementsrechtbank te Amsterdam en Rotterdam. 2. Op he

Source URL: www.hamann.be

Abstract Runtime Monitoring with USE Lars Hamann L´aszl´o Vid´acs Martin Gogolla

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

• Unified Modeling Language
• Formal methods
• Java platform
• Knowledge representation
• Object Constraint Language
• ECO
• KeY
• Runtime verification
• Software development process
• Computing
• Software
• Cross-platform software

Behavior Modeling with Interaction Diagrams in a UML and OCL Tool Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen University of Bremen, Germany {gogolla,lhamann,fhilken,ms,quang}@tzi.de

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

• Design
• Unified Modeling Language
• Communication diagram
• Sequence diagram
• Object Constraint Language
• ECO
• Diagram
• Object diagram
• Class diagram
• UML diagrams
• Software engineering
• Data modeling

Commercieel manager m/v voor onze vestiging in Nederland Als strategische dochterorganisatie van een sterk groeiend Belgisch logistiek bedrijf (www.hamann.be) organiseert Hamann International Logistics BV wegvervoer-, lo

Source URL: www.hamann.be

FOR IMMEDIATE RELEASE Contacts: Elise B. Hamann The Allied Group px. 3171

Source URL: www.concordiafibers.com

• Emerging technologies
• Tissue engineering
• Medical technology
• Bioengineering
• Cloning
• Medical device
• Regenerative medicine
• Implant
• Biology
• Medicine
• Technology