Autor: "Gogolla, Martin" - OpacWWW

Skocz do pozycji: 1.

Tytuł:: Achieving model quality through model validation, verification and exploration
Autorzy:: Gogolla, Martin
Hilken, Frank
Doan, Khanh-Hoang; Pokaż więcej
Źródło:: In Computer Languages, Systems & Structures December 2018 54:474-511

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas
Autorzy:: Burgueño, LoliAff12, Aff13
Cabot, Jordi
Clarisó, Robert
Gogolla, Martin; Pokaż więcej
Źródło:: Conceptual Modeling : 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings. 11788:513-521

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Unified Modeling Language
Autorzy:: Gogolla, Martin
Embley, David W., Section editor; Pokaż więcej
Źródło:: Encyclopedia of Database Systems. :4335-4343

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Generating OCL Constraints from Test Case Schemas For Testing Model Behavior
Autorzy:: Desai, Nisha
Gogolla, Martin; Pokaż więcej
Źródło:: Testing Software and Systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings. 11146:62-68

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Logical Reasoning with Object Diagrams in a UML and OCL Tool
Autorzy:: Doan, Khanh-Hoang
Gogolla, Martin; Pokaż więcej
Źródło:: Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. 10871:774-778

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Workshop in OCL and Textual Modelling : Report on Recent Trends and Panel Discussions
Autorzy:: Bill, Robert
Brucker, Achim D.
Cabot, JordiAff17, Aff18
Gogolla, Martin
Vallecillo, Antonio
Willink, Edward D.; Pokaż więcej
Źródło:: Software Technologies: Applications and Foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. 10748:297-301

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: (An Example for) Formally Modeling Robot Behavior with UML and OCL
Autorzy:: Gogolla, Martin
Vallecillo, Antonio; Pokaż więcej
Źródło:: Software Technologies: Applications and Foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. 10748:232-246

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Some Narrow and Broad Challenges in MDD
Autorzy:: Gogolla, Martin
Hilken, Frank
Kästner, Andreas; Pokaż więcej
Źródło:: Software Technologies: Applications and Foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. 10748:172-177

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap : Report on the
Autorzy:: Bruneliere, Hugo
Eramo, Romina
Gómez, Abel
Besnard, Valentin
Bruel, Jean Michel
Gogolla, Martin
Kästner, Andreas
Rutle, Adrian; Pokaż więcej
Źródło:: Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. 11176:536-543

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Sketching a Model-Based Technique for Integrated Design and Run Time Description : Short Paper - Tool Demonstration
Autorzy:: Kästner, Andreas
Gogolla, Martin
Doan, Khanh-Hoang
Desai, Nisha; Pokaż więcej
Źródło:: Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. 11176:529-535

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Interoperability of Logistics Artifacts: An Approach for Information Exchange Through Transformation Mechanisms
Autorzy:: Franke, Marco
Becker, TillAff7, Aff9
Gogolla, Martin
Hribernik, Karl A.
Thoben, Klaus-DieterAff7, Aff9; Pokaż więcej
Źródło:: Dynamics in Logistics : Proceedings of the 5th International Conference LDIC, 2016 Bremen, Germany. :469-479

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Toward a Unified Logistics Modeling Language: Constraints and Objectives
Autorzy:: Freitag, MichaelAff7, Aff8
Gogolla, Martin
Kreowski, Hans-Jörg
Lütjen, Michael
Porzel, Robert
Thoben, Klaus-DieterAff7, Aff8; Pokaż więcej
Źródło:: Dynamics in Logistics : Proceedings of the 5th International Conference LDIC, 2016 Bremen, Germany. :425-432

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL
Autorzy:: Burgueño, LoliAff17, Aff18
Gogolla, Martin; Pokaż więcej
Źródło:: Service-Oriented Computing : 15th International Conference, ICSOC 2017, Malaga, Spain, November 13–16, 2017, Proceedings. 10601:113-122

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Formulating Model Verification Tasks Prover-Independently as UML Diagrams
Autorzy:: Gogolla, Martin
Hilken, Frank
Niemann, Philipp
Wille, RobertAff16, Aff17; Pokaż więcej
Źródło:: Modelling Foundations and Applications : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. 10376:232-247

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms
Autorzy:: Gogolla, Martin
Hilken, Frank
Doan, Khanh-Hoang
Desai, Nisha; Pokaż więcej
Źródło:: Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings. 10375:119-128

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Testing Transformation Models Using Classifying Terms
Autorzy:: Burgueño, Loli
Hilken, Frank
Vallecillo, Antonio
Gogolla, Martin; Pokaż więcej
Źródło:: Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings. 10374:69-85

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification
Autorzy:: Gogolla, Martin
Doan, Khanh-Hoang; Pokaż więcej
Źródło:: Conceptual Modeling Perspectives. :155-168

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: A feature-based classification of formal verification techniques for software models
Autorzy:: Gabmeyer, Sebastian
Kaufmann, Petra
Seidl, Martina
Gogolla, Martin
Kappel, Gerti; Pokaż więcej
Źródło:: Software & Systems Modeling. 18(1):473-498

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 19.

Tytuł:: Views on UML Interactions as Spreadsheet Queries
Autorzy:: Gogolla, Martin
Vallecillo, Antonio; Pokaż więcej
Źródło:: Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers. 9946:394-400

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Continuing a Benchmark for UML and OCL Design and Analysis Tools
Autorzy:: Gogolla, Martin
Cabot, JordiAff17, Aff18; Pokaż więcej
Źródło:: Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers. 9946:289-302

Książka elektroniczna

na półce

Szczegóły

Informacja

Wyszukujesz frazę ""Gogolla, Martin"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji