1
0
0
(1 - 42 von 76
)
SE 2014: Konferenz Software Engineering – Kiel »...
se2014.kosse-sh.de
... Model Quality in the Automotive Area; Lars Hamann, Martin Gogolla and Oliver Hofrichter: Zur Integration von Struktur- und Verhaltensmodellierung mit OCL ...
OCL 2014: OCL and Textual Modelling, Sep 2014, Valencia, Spain
resources.illc.uva.nl
Valencia, Spain ... Madrid, Spain Geri Georg, Colorado State University, Fort Collins, Colorado, USA Martin Gogolla, University of Bremen, ...
Programm: MODELLIERUNG 2016
www.modellierung2016.org
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille: Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL ...
use/README.md at master · useocl/useGitHub
github.com
[5] Mark Richters and Martin Gogolla. Validating UML models and OCL constraints. Accepted paper for the Third International Conference on the Unified Modeling ... › use › blob
OCL Workshop Contact Information
modeling-languages.com
Manuel Clavel Email: manuel [dot] clavel [at] imdea [dot] org. Martin Gogolla Email: gogolla [at] informatik [dot] uni-bremen [dot] de ... Martin Gogolla Email: gogolla [at] informatik [dot] uni-bremen [dot] de. Alexander Knapp Email: knapp [at] informatik [dot] uni-augsburg [dot] de ... › ...
The UML-based Specification Environment - USE
useocl.sourceforge.net
— ↑ Mark Richters and Martin Gogolla. Validating UML models and OCL constraints. UML The Unified Modeling Language. Advancing the Standard ... › Th...
The HOL-OCL Website - Achim D. Bruckerbrucker.ch › projects › hol-ocl
brucker.ch
Brucker, Gwendal Daniel, Martin Gogolla, Frédéric Jouault, Christophe Ponsard,, Valéry Ramon, and Edward D. Willink. Emerging Topics in Textual Modelling. In ...
The HOL-OCL Website - Achim D. Brucker
brucker.ch
Robert Bill, Achim D. Brucker, Jordi Cabot Martin Gogolla, Antonio Vallecillo und Edward D. Wilink. Workshop in OCL and Textual Textual Modelling: Report on ... › projects › hol-ocl › index.de.html
Mirco Kuhlmann | University of Bremen | 27 PublicationsTypeset
typeset.io
Book Chapter•DOI•. Consistency, Independence and Consequences in UML and OCL Models · Martin Gogolla 1, Mirco Kuhlmann 1, Lars Hamann 1• Institutions (1). › authors
New Trends in Software Methodologies, Tools and Techniques: ...google.com
books.google.com
Martin Gogolla, Jörn Bohling, and Mark Richters. Validating UML and OCL Models in USE by Automatic Snapshot Generation. Software and System Modeling, ...
UML The Unified Modeling Language: Model Engineering,...
books.google.de
Int. Conf. Unified Modeling Language (UML'99), pages 265–277. Springer, LNCS 1723, [Gog01] Martin Gogolla. Using OCL for Defining Precise, Domain- Specific UML Stereotypes. In Aybuke Aurum and Ross Jeffery, editors, Proc. 6th Australian Workshop on Requirements Engineering (AWRE'2001), pages 51– ...
Model Driven Engineering Languages and Systems: 11th International...
books.google.de
ABenchmarkforOCLEngine Accuracy, Determinateness, and Efficiency Martin Gogolla, Mirco Kuhlmann, and Fabian B ̈uttner⋆ University of Bremen, Computer ...
Search | arXiv e-print repository
arxiv.org
User Assistance Characteristics of the USE Model Checking Tool. Authors: Frank Hilken, Martin Gogolla. Abstract: The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defining the structure ...
Checking UML and OCL Model Consistency
tap2015.in.tum.de
von M Gogolla — Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier. University of Bremen, Database Systems Group. Page 2. Motivation and context. › gogolla_slides
[ ] Report on the Aachen OCL Meeting
arxiv.org
Authors: Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, ...
Seminar: UML-Foundations
www-i2.informatik.rwth-aachen.de
Paul Ziemann, Martin Gogolla: OCL Extended with Temporal Logic. Ershov Memorial Conference 2003: (auch: Technischer Bericht 1/03, Uni Bremen) ...
OCLApps index - TU Dresden
st.inf.tu-dresden.de
Technische Universität Dresden, Germany; Martin Gogolla - gogolla at informatik.uni-bremen.de. University of Bremen, Germany; Jos Warmer - jos.warmer at ... › OCLA...
Details der Publikation - Advanced features for model visualization...
katalog.ub.tu-braunschweig.de
Advanced features for model visualization in the UML and OCL Tool USE / Martin Gogolla, Haleh Havakili, Carsten Schipke ...
OCL: Syntax Semantics and Tools Mark Richters and Martin Gogolla ...www.yumpu.com › document › view › ocl-syntax-s...
www.yumpu.com
OCL: Syntax Semantics and Tools Mark Richters and Martin Gogolla ... READ. u. ¢¡¤£¦¥¨§©§ ...
Tool Support for OCL and Related Formalisms – Needs and Trends |...
link.springer.com
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If...
Consistency, Independence and Consequences in UML ...SlidePlayer
slideplayer.com
Consistency, Independence and Consequences in UML and OCL Models Martin Gogolla, Mirco Kuhlmann, Lars Hamann University of Bremen Computer Science ... › slide
PPT – Graph Transformation on UML meta model Martin gogolla,...
www.powershow.com
Martin gogolla, University of Bremen, ... OCL : Tool for semantic of UML, syntax of UML, Specification – A free PowerPoint PPT presentation (displayed as a ...
DBLP: Martin Gogolla
vldbarc.org
Robert France, Martin Gogolla: Educators' Symposium at MODELS Duc- Hanh Dang, Martin Gogolla: On Integrating OCL and Triple Graph Grammars.
USE: A UML-based specification environment for validating UML and OCL
www.infona.pl
Martin Gogolla, Fabian Büttner, Mark Richters · Details · Contributors · Fields of science · Bibliography · Quotations · Similar · Collections ...
Academic CV - Website of Achim D. Bruckerbrucker.ch › research › cv.en.html
brucker.ch
Chairing of Conferences and Workshops. Together with Robert Bill, Jordi Cabot, and Martin Gogolla I am organizing the 17th International Workshop on OCL and ...
On OCL-based imperative languages - Hal-Inriahal.inria.fr › hal
hal.inria.fr
Fabian Buettner 1 Martin Gogolla 2, 3. Détails. 1 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution.
Proceedings of the 15th International Workshop on OCL and Textual ...hal.archives-ouvertes.fr › hal
hal.archives-ouvertes.fr
Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong. Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with ...
Tenth International Workshop on OCL and Textual Modelling - Aston ...research.aston.ac.uk › publications › tenth-internatio...
research.aston.ac.uk
Tenth International Workshop on OCL and Textual Modelling. Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla. Engineering & Applied Science.
Initiating a Benchmark for UML and OCL Analysis Tools - Inria
hal.inria.fr
von M Gogolla · · Zitiert von: 28 — Martin Gogolla 1, 2 Fabian Büttner 3, 4 Jordi Cabot 3. Détails. 1 Computer science departement [Bremen]. 2 TZi - Technologie-Zentrum Informatik und ... › hal
Initiating a Benchmark for UML and OCL Analysis Tools
hal.archives-ouvertes.fr
Martin Gogolla, Fabian Büttner, Jordi Cabot. Initiating a Benchmark for UML and OCL Analysis Tools. International Conference on Tests & Proofs (TAP), ... von AD Brucker · — Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong. Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with ... › ha...
Ninth international workshop on the pragmatics of OCL and ...Inserm
www.hal.inserm.fr
von J Cabot · — Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp. Ninth international workshop on the pragmatics of OCL and other ... › INRIA
On Integrating OCL and Triple Graph Grammars - INFONA
www.infona.pl
von DH Dang · Zitiert von: 28 — On Integrating OCL and Triple Graph Grammars. Duc-Hanh Dang, Martin Gogolla · Details · Contributors · Bibliography · Quotations · Similar · Collections ... › resource
On OCL-based Imperative Languages - Archive ouverte HALhal.archives-ouvertes.fr › hal
hal.archives-ouvertes.fr
Fabian Büttner 1, 2 Martin Gogolla 3, 4. Détails. 1 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution. LINA - Laboratoire ...
Optimierte Suche von Modellinstanzen UML/OCL-Beschreibungen in USE -...
hal.inria.fr
von L Hamann · · Zitiert von: 1 — Lars Hamann 1 Fabian Buettner 2 Mirco Kuhlmann 3Martin Gogolla 4, 5. Détails. 1 Database Systems Group. TZi - Technologie-Zentrum Informatik und ... › hal
Program · OCL Workshop
oclworkshop.github.io
Experimenting with functional features of the Object Constraint Language slides; Robert Clarisó and Martin Gogolla. A Feasibility Study on Using Classifying ... › pro...
Homepage of Duc-Hanh Dang
www.uet.vnu.edu.vn
15th Int. Conf. Intelligent Software Methodologies, Tools and Techniques ( SOMET), pages FAIA 286, IOS Press ISBN [ Dang and Gogolla, 2016]: Duc-Hanh Dang and Martin Gogolla. An OCL-based Framework for Model Transformations. VNU Journal of Science: Comp. Science & Com.
Validating OCL Specifications with the USE Tool - CyberLeninka
cyberleninka.org
Abstract of research paper on Computer and information sciences, author of scientific article — Paul Ziemann, Martin Gogolla. Abstract The Object Constraint ... › article
Alle Infos zum Namen "Martin Gogolla"
Verwandte Suchanfragen zu Martin Gogolla
Hans-Dieter Ehrich Jeff Gray Gabriele Taentzer | Reiko Heckel Burkhart Wolff Frank Hilken | Maura Cerioli Oliver Radfelder Ralf Kollmann |
Personen Vorname "Martin" (86745) Name "Gogolla" (36) |
sortiert nach Relevanz / Datum