( en | de | ru )

 

Disambiguierung von "Gogolla, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
OCL: Syntax, Semantics, and Tools.

, und . Object Modeling with the OCL, Volume 2263 von Lecture Notes in Computer Science, Seite 42-68. Springer, (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Martin Gogolla

Martin Gogolla

Martin Gogolla

Martin Gogolla

Martin Gogolla

 

Weitere Publikationen von Autoren mit dem selben Namen

Endogene Metamodellierung der Semantik von neueren UML 2 Sprachmitteln., und . Software Engineering & Management, Volume P-239 von LNI, Seite 31-32. GI, (2015)Assembling Scenario Patterns for Checking Model Behavior., und . J. Object Technol., 19 (2): 19:1-27 (2020)Generating OCL Constraints from Test Case Schemas For Testing Model Behavior., und . ICTSS, Volume 11146 von Lecture Notes in Computer Science, Seite 62-68. Springer, (2018)Graph Transformations on the UML Metamodel.. ICALP Satellite Workshops, Seite 359-372. Carleton Scientific, Waterloo, Ontario, Canada, (2000)In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015., , , , , und . Softw. Syst. Model., 14 (2): 525-532 (2015)Towards Model Validation and Verification with SAT Techniques.. Algorithms and Applications for Next Generation SAT Solvers, Volume 09461 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL., und . ICSOC, Volume 10601 von Lecture Notes in Computer Science, Seite 113-122. Springer, (2017)Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models.. ICDCIT, Volume 12582 von Lecture Notes in Computer Science, Seite 24-43. Springer, (2021)Assessing UML Model Quality by Utilizing Metrics., und . QUATIC, Seite 92-100. IEEE Computer Society, (2018)Modeling and validating Mondex scenarios described in UML and OCL with USE, und . Formal Aspects of Computing, 20 (1): 79--100 (Januar 2008)