Martin Gogolla

Proceedings of the 19th International Workshop in OCL and Textual Modeling (OCL 2019) co-located with IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), 2019

Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams.

[BibT_eX]

[DOI]

An Idealistic Plan for Transforming Media Sources Into Books, Slides and Videos: Position Statement on "Textbooks 10 Years From Now".

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Quality Improvement for UML and OCL Models Through Bad Smell and Metrics Definition.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

A Feasibility Study on Using Classifying Terms in Alloy.

[BibT_eX]

[DOI]

Robert Clarisó

Emerging Topics in Textual Modelling.

[BibT_eX]

[DOI]

A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 38th International Conference, 2019

2018

Unified Modeling Language.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Object Constraint Language.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Testing models and model transformations using classifying terms.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2018

Teaching modeling in computer science as an ecosystem: a provocative analogy.

[BibT_eX]

[DOI]

Perdita Stevens

Comput. Sci. Educ., 2018

Teaching UML and OCL models and their validation to software engineering students: an experience report.

[BibT_eX]

[DOI]

Comput. Sci. Educ., 2018

Achieving model quality through model validation, verification and exploration.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2018

Sketching a Model-Based Technique for Integrated Design and Run Time Description - Short Paper - Tool Demonstration.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2018

Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2018

Assessing UML Model Quality by Utilizing Metrics.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 2018

Generating OCL Constraints from Test Case Schemas For Testing Model Behavior.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2018

Towards flexible object and class modeling tools: an experience report.

[BibT_eX]

[DOI]

Andreas Kästner

Bran Selic

Proceedings of MODELS 2018 Workshops: ModComp, 2018

From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams: New Ideas and Vision Paper.

[BibT_eX]

[DOI]

Andreas Kästner

Bran Selic

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Model Finding and Model Completion with USE.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Extending a UML and OCL Tool for Meta-Modeling: Applications towards Model Quality Assessment.

[BibT_eX]

[DOI]

Proceedings of the Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, 2018

Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool.

[BibT_eX]

[DOI]

Proceedings of International Workshop on Set Visualization and Reasoning (SetVR 2018) co-located with 10th International Conference on the Theory and Application of Diagrams (Diagrams 2018), 2018

Logical Reasoning with Object Diagrams in a UML and OCL Tool.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 11th International Conference, 2017

(An Example for) Formally Modeling Robot Behavior with UML and OCL.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2017

Some Narrow and Broad Challenges in MDD.

[BibT_eX]

[DOI]

Andreas Kästner

Proceedings of the Software Technologies: Applications and Foundations, 2017

Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel Discussions.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2017

Employing Classifying Terms for Testing Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2017, 2017

Adding Random Operations to OCL.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17).

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

On Understanding Teaching Modeling in Computer Science as an Ecosystem.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Teaching Model Views with UML and OCL.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

Testing Transformation Models Using Classifying Terms.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformation, 2017

Formulating Model Verification Tasks Prover-Independently as UML Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling Perspectives., 2017

2016

User Assistance Characteristics of the USE Model Checking Tool.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016

Towards Flexible Model Analysis and Constraint Development: A Small Demo Based on Large Real-Life Data.

[BibT_eX]

[DOI]

Matthias Sedlmeier

Proceedings of the 4rd Workshop on Scalable Model Driven Engineering part of the Software Technologies: Applications and Foundations (STAF 2016) federation of conferences, 2016

Views on UML Interactions as Spreadsheet Queries.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2016

Continuing a Benchmark for UML and OCL Design and Analysis Tools.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2016

Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2016

Extracting frame conditions from operation contracts.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2016, 2016

Integrating an SMT-Based ModelFinder into USE.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

Integrating UML/OCL Derived Properties into Validation and Verification Processes.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

On the Support of Qualified Associations in OCL.

[BibT_eX]

[DOI]

Adolfo Sánchez-Barbudo Herrera

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Generating effective test suites for model transformations using classifying terms.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, 2016

Recent Developments in OCL and Textual Modelling.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

On Leveraging UML/OCL for Model Synchronization.

[BibT_eX]

[DOI]

Robert Bill

Manuel Wimmer

Proceedings of the 10th Workshop on Models and Evolution co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

A Comparison of Textual Modeling Languages: OCL, Alloy, FOML.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models.

[BibT_eX]

[DOI]

Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016

Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool.

[BibT_eX]

[DOI]

Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016

Toward a Unified Logistics Modeling Language: Constraints and Objectives.

[BibT_eX]

[DOI]

Proceedings of the Dynamics in Logistics, 2016

Interoperability of Logistics Artifacts: An Approach for Information Exchange Through Transformation Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the Dynamics in Logistics, 2016

Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping.

[BibT_eX]

[DOI]

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

2015

In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 9th International Conference, 2015

UML and OCL Transformation Model Analysis: Checking Invariant Independence.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), 2015

Endogene Metamodellierung der Semantik von neueren UML 2 Sprachmitteln.

[BibT_eX]

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Iterative Development of Transformation Models by Using Classifying Terms.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

An Approach to Employ Modeling in a Traditional Computer Science Curriculum or: Why Posing Essentials of the Object Constraint Language without Objects and Constraints?

[BibT_eX]

[DOI]

Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

Experimenting with Multi-Level Models in a Two-Level Modeling Tool.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Multi-Level Modelling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), 2015

From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2015

Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - 7th International Symposium, 2015

Model Driven ActiveRecord with yEd.

[BibT_eX]

[DOI]

Matthias Sedlmeier

Proceedings of the Information Modelling and Knowledge Bases XXVII, 2015

Assisted generation of frame conditions for formal models.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

On OCL-based imperative languages.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Model-driven standardization of public authority data interchange.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Checking Transformation Model Properties with a UML and OCL Model Validator.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

Report on the Third Workshop on Verification of Model Transformations (VOLT 2014).

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

Zur Integration von Struktur- und Verhaltensmodellierung mit OCL.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Towards a Base Model for UML and OCL Verification.

[BibT_eX]

[DOI]

Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014

On metamodel superstructures employing UML generalization features.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Multi-Level Modelling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

On Static and Dynamic Analysis of UML and OCL Transformation Models.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Panel Discussion: Proposals for Improving OCL.

[BibT_eX]

[DOI]

Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Modellierung 2014, 19.-21. März 2014, Wien, Österreich, 2014

Transformation of UML and OCL Models into Filmstrip Models.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2014

Design and Prototypical Implementation of an Integrated Graph-Based Conceptual Data Model.

[BibT_eX]

[DOI]

Matthias Sedlmeier

Proceedings of the Information Modelling and Knowledge Bases XXVI, 2014

Behavior Modeling with Interaction Diagrams in a UML and OCL Tool.

[BibT_eX]

[DOI]

Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations and Applications, 2014

Modeling Behavior with Interaction Diagrams in a UML and OCL Tool.

[BibT_eX]

[DOI]

Proceedings of the Behavior Modeling, 2014

2013

Employing UML and OCL for designing and analysing role-based access control.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2013

Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2013

Initiating a Benchmark for UML and OCL Analysis Tools.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 7th International Conference, 2013

UML/OCL based Design and Analysis of Role-Based Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29, 2013

Endogenous Metamodeling Semantics for Structural UML 2 Concepts.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Research Questions for Validation and Verification in the Context of Model-Based Engineering.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

Report on the Aachen OCL Meeting.

[BibT_eX]

[DOI]

Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

Employing the Object Constraint Language in Model-Based Engineering.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013

Towards a generic verification methodology for system models.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

2012

A benchmark for OCL engine accuracy, determinateness, and efficiency.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2012

Evaluating and Debugging OCL Expressions in UML Models.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Formal Specification and Testing of Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Model-Driven Engineering, 2012

Object Constraint Language (OCL): A Definitive Guide.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Model-Driven Engineering, 2012

From UML and OCL to Relational Logic and Back.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

The secret life of OCL constraints.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

On Integrating Structure and Behavior Modeling with OCL.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Towards supporting multiple execution environments for UML/OCL models at runtime.

[BibT_eX]

[DOI]

Daniel Honsel

Proceedings of the 7th Workshop on Models@run.time, Innsbruck, Austria, October 02, 2012, 2012

On explaining modeling principles with modeling examples: a classification catalog.

[BibT_eX]

[DOI]

Proceedings of the 8th edition of the Educators' Symposium, 2012

Workshop on OCL and textual modeling: OCL 2012.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE.

[BibT_eX]

[DOI]

Proceedings of the Modellierung 2012, 14.-16. März 2012, Bamberg, Deutschland, 2012

An Approach for Quality Assurance of Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Knowledge and Systems Engineering, 2012

Typing Model Transformations Using Tracts.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2012

Verification of ATL Transformations Using Transformation Models and Model Finders.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

OCL-Based Runtime Monitoring of Applications with Protocol State Machines.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Abstract Runtime Monitoring with USE.

[BibT_eX]

[DOI]

Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012

2011

ICMT 2010 Special Section.

[BibT_eX]

[DOI]

Laurence Tratt

J. Object Technol., 2011

OCL-based Runtime Monitoring of JVM hosted Applications.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Preface (OCL 2011 Proceedings).

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Tracing Properties of UML and OCL Models with Maude

[BibT_eX]

[DOI]

Francisco Durán

Manuel Roldán

Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011

Extensive Validation of OCL Models by Integrating SAT Solving into USE.

[BibT_eX]

[DOI]

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Modular Embedding of the Object Constraint Language into a Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

On validation of ATL transformation rules by transformation models.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

UML Metamodel-based Workflow Modeling and Execution.

[BibT_eX]

[DOI]

Jens Brüning

Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

Tractable Model Transformation Testing.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

Using Models at Runtime to Address Assurance for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

UML and OCL in Conceptual Modeling.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Conceptual Modeling, 2011

2010

Checking the Conformance between Models Based on Scenario Synchronization.

[BibT_eX]

[DOI]

Anh-Hoang Truong

J. Univers. Comput. Sci., 2010

Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010).

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Tenth International Workshop on OCL and Textual Modelling.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2010

Zur Validierung von Kompositionsstrukturen in UML mit USE.

[BibT_eX]

[DOI]

Proceedings of the Modellierung 2010, 24.-26. März 2010, Klagenfurt, Österreich, 2010

Verifying UML/OCL Models Using Boolean Satisfiability.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

Modeling and Formally Checking Workflow Properties Using UML and OCL.

[BibT_eX]

[DOI]

Jens Brüning

Peter Forbrig

Proceedings of the Perspectives in Business Informatics Research, 2010

On Scenario Synchronization.

[BibT_eX]

[DOI]

Anh-Hoang Truong

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Unified Modeling Language.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Object Constraint Language.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Towards an integrated graph-based semantics for UML.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2009

Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Consistency, Independence and Consequences in UML and OCL Models.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

Precise Model-Driven Transformations Based on Graphs and Metamodels.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Essentials of the 5th Educators' Symposium at MODELS 2009.

[BibT_eX]

[DOI]

Robert B. France

Proceedings of the Models in Software Engineering, 2009

Educators' Symposium at MODELS 2009.

[BibT_eX]

[DOI]

Robert B. France

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2009

On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2009

Teaching Modeling: Why, When, What?

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2009

Towards Model Validation and Verification with SAT Techniques.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Applications for Next Generation SAT Solvers, 08.11., 2009

2008

Analyzing and Managing Role-Based Access Control Policies.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2008

Modeling and validating Mondex scenarios described in UML and OCL with USE.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2008

Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Preface to the Proceedings of the 2008 OCL Workshop.

[BibT_eX]

[DOI]

Pieter Van Gorp

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Preface.

[BibT_eX]

[DOI]

David H. Akehurst

Steffen Zschaler

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2008

On Integrating OCL and Triple Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Eighth International Workshop on OCL Concepts and Tools.

[BibT_eX]

[DOI]

Pieter Van Gorp

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

On Horizontal and Vertical Relationships between Models.

[BibT_eX]

[DOI]

Proceedings of the Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10.08., 2008

2007

USE: A UML-based specification environment for validating UML and OCL.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

7th International Workshop on Ocl4All: Modelling Systems with OCL.

[BibT_eX]

[DOI]

David H. Akehurst

Steffen Zschaler

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

From Graph Transformation to OCL Using USE.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

On translating UML models into graph transformation systems.

[BibT_eX]

[DOI]

Karsten Hölscher

J. Vis. Lang. Comput., 2006

From C++ Refactorings to Graph Transformations.

[BibT_eX]

[DOI]

László Vidács

Rudolf Ferenc

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Preface.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

OCL for (Meta-)Models in Multiple Application Domains.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2006

Model Transformations? Transformation Models!

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Realizing Graph Transformations by Pre- and Postconditions and Command Sequences.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, Third International Conference, 2006

Model Development in the UML-based Specification Environment (USE).

[BibT_eX]

[DOI]

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

2005

Validating UML and OCL models in USE by automatic snapshot generation.

[BibT_eX]

[DOI]

Jörn Bohling

Softw. Syst. Model., 2005

Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME'2005).

[BibT_eX]

[DOI]

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Tool Support for OCL and Related Formalisms - Needs and Trends.

[BibT_eX]

[DOI]

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Exploring ER and RE syntax and semantics with metamodel object diagrams.

[BibT_eX]

[DOI]

Proceedings of the Metainformatics, International Symposium, 2005

Specification and Validation of Authorisation Constraints Using UML and OCL.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2005

Towards Transformation of Integrity Constraints and Database States.

[BibT_eX]

[DOI]

Hanna Bauerdick

Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

Tales of ER and RE Syntax and Semantics.

[BibT_eX]

[DOI]

Proceedings of the Transformation Techniques in Software Engineering, 17.-22. April 2005, 2005

2004

Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations.

[BibT_eX]

[DOI]

Karsten Hölscher

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

From UML Models to Graph Transformation Systems.

[BibT_eX]

[DOI]

Karsten Hölscher

Proceedings of the Workshop on Visual Languages and Formal Methods, 2004

Realizing UML Metamodel Transformations with AGG.

[BibT_eX]

[DOI]

Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004

Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004).

[BibT_eX]

[DOI]

Paul Sammut

Jon Whittle

Proceedings of the UML Modeling Languages and Applications, 2004

OCL and Model Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the UML Modeling Languages and Applications, 2004

Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report.

[BibT_eX]

[DOI]

Hanna Bauerdick

Fabian Gutsche

Proceedings of the «UML» 2004, 2004

Digging into the Visitor Pattern.

[BibT_eX]

Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung.

[BibT_eX]

[DOI]

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

Eine multimediale Erweiterung eines UML-Tools für Lehrzwecke.

[BibT_eX]

[DOI]

Arne Lindow

Proceedings of the DeLFI 2004: Die e-Learning Fachtagung Informatik, 2004

An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion.

[BibT_eX]

[DOI]

Proceedings of the Language Engineering for Model-Driven Software Development, 29. February, 2004

Benefits and Problems of Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2004

Checking BART Test Scenarios with UML's Object Constraint Language.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

2003

Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Validation of UML and OCL Models by Automatic Snapshot Generation.

[BibT_eX]

[DOI]

Jörn Bohling

Proceedings of the «UML» 2003, 2003

OCL Extended with Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2003

Transforming Data Models with UML.

[BibT_eX]

Arne Lindow

Proceedings of the Knowledge Transformation for the Semantic Web, 2003

2002

Editorial for the Speccial Issue UML 2001 Conference.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2002

Towards an Integrated Graph Based Semantics for UML.

[BibT_eX]

[DOI]

Sabine Kuske

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

Analysis of UML Stereotypes within the UML Metamodel.

[BibT_eX]

[DOI]

Brian Henderson-Sellers

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

OCL: Syntax, Semantics, and Tools.

[BibT_eX]

[DOI]

Proceedings of the Object Modeling with the OCL, 2002

Expressing UML Class Diagrams Properties with OCL.

[BibT_eX]

[DOI]

Proceedings of the Object Modeling with the OCL, 2002

An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Development of UML Descriptions with USE.

[BibT_eX]

[DOI]

Proceedings of the EurAsia-ICT 2002: Information and Communication Technology, 2002

Metric-Based Selective Representation of UML Diagrams.

[BibT_eX]

[DOI]

Ralf Kollmann

Proceedings of the 6th European Conference on Software Maintenance and Reengineering (CSMR 2002), 2002

2001

Application of UML Associations and Their Adornments in Design Recovery.

[BibT_eX]

[DOI]

Ralf Kollmann

Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

Ein formal validiertes Metamodell für die Transformation von Schemata in Informationssystemen.

[BibT_eX]

Arne Lindow

Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

Capturing Dynamic Program Behaviour with UML Collaboration Diagrams.

[BibT_eX]

[DOI]

Ralf Kollmann

Proceedings of the 5th European Conference on Software Maintenance and Reengineering, 2001

The Whole-Part Relationship in the Unified Modeling Language: A New Approach.

[BibT_eX]

Franck Barbier

Brian Henderson-Sellers

Andreas L. Opdahl

Proceedings of the Unified Modeling Language: Systems Analysis, 2001

2000

Validating UML Models and OCL Constraints.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2000, 2000

Graph Transformations on the UML Metamodel.

[BibT_eX]

Proceedings of the ICALP Workshops 2000, 2000

Workshop über Rigorose Entwicklung software-intensiver Systeme.

[BibT_eX]

[DOI]

Proceedings of the Informatik 2000, 2000

On Better Understanding UML Diagrams through Three-Dimensional Visualization and Animation.

[BibT_eX]

[DOI]

Oliver Radfelder

Proceedings of the working conference on Advanced visual interfaces, 2000

Identifying Objects by Declarative Queries.

[BibT_eX]

Proceedings of the Advances in Object-Oriented Data Modeling, 2000

1999

A Metamodel for OCL.

[BibT_eX]

[DOI]

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Towards Three-Dimensional Animation of UML Diagrams.

[BibT_eX]

[DOI]

Oliver Radfelder

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

What Is the Current State of UML Semantics? What Are the Reference Documents.

[BibT_eX]

Oliver Radfelder

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Is It Possible to Express a Semantics of UML in UML? (The Meta-modelling Approach).

[BibT_eX]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Transformation Rules for UML Class Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Unified Modeling Language, 1998

On Formalizing the UML Object Constraint Language OCL.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 1998

Stepwise Re-Engineering and Development of Object-Oriented Database Schemata.

[BibT_eX]

[DOI]

Anne Kathrin Huge

Bodo Randt

Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

1997

On combining semiformal and formal object specification techniques.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

On Constraints and Queries in UML.

[BibT_eX]

Proceedings of the Unified Modeling Language, 1997

A Web-based Animator for Object Specifications in a Persistent Environment.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

A Web-based Animator for Validating Object Specifications.

[BibT_eX]

[DOI]

Proceedings of the International Database Engineering and Applications Symposium, 1997

1996

Defining Operational Behavior of Object Specifications by Attributed Graph Transformations.

[BibT_eX]

[DOI]

Annika Wagner

Fundam. Informaticae, 1996

Drafting ER and OO Schemas in Prototype Environments.

[BibT_eX]

[DOI]

Bernd Meyer

Gerd Westerman

Data Knowl. Eng., 1996

Parameterizing Object Specifications.

[BibT_eX]

[DOI]

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

Lassy - A System for Analyzing Grammatical Dependencies in Latin.

[BibT_eX]

[DOI]

Heino Gärtner

Proceedings of the Seventh International Workshop on Database and Expert Systems Applications, 1996

1995

A Development Environment for an Object Specification Language.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1995

Entwicklung zuverlässiger Informationssysteme.

[BibT_eX]

EMISA Forum, 1995

TROLL light - The Language and its Development Environment.

[BibT_eX]

[DOI]

Proceedings of the KORSO, 1995

Korso Reference Languages - Concepts and Application Domains.

[BibT_eX]

[DOI]

Ernst-Rüdiger Olderog

Proceedings of the KORSO, 1995

A Declarative Query Approach to Object Identification.

[BibT_eX]

[DOI]

Proceedings of the OOER'95: Object-Oriented and Entity-Relationship Modelling, 1995

Towards Schema Queries for Semantic Data Models.

[BibT_eX]

Proceedings of the 6th Int. Conf. and Workshop on Database and Expert Systems Applications, 1995

An Algebraic Development Technique for Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Fundamentals and Pragmatics of an Entity-Relationship Approach.

[BibT_eX]

GI Datenbank Rundbrief, 1994

Safe Derivations in Object Hierarchies.

[BibT_eX]

[DOI]

Stefan Conrad

Proceedings of the 1994 International Conference on Object Oriented Information Systems, 1994

A SQL-like Query Calculus for Object-Oriented Database Systems.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Methodologies and Systems, 1994

An Animator for the Object Specification Language TROLL light.

[BibT_eX]

Proceedings of the Object-Oriented Technology for Database and Software Systems, 1994

An Algebraic Semantics for the Object Specification Language TROLL light.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

What is an Abstract Data Type, after all?

[BibT_eX]

[DOI]

Maura Cerioli

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

An Extended Entity-Relationship Model - Fundamentals and Pragmatics

[BibT_eX]

[DOI]

Lecture Notes in Computer Science 767, Springer, ISBN: 3-540-57648-7, 1994

1993

Zur Entwicklung zuverlässiger Informationssysteme in KorSo.

[BibT_eX]

[DOI]

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

Integrating the ER Approach in an OO Environment.

[BibT_eX]

[DOI]

Proceedings of the Entity-Relationship Approach, 1993

Sketching Concepts and Computational Model of TROLL light.

[BibT_eX]

[DOI]

Stefan Conrad

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

Towards Reliable Information Systems: The KorSo Approach

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 1993

An Object-Oriented Design for the ACT ONE Environment.

[BibT_eX]

Ingo Claßen

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

An Annotated Bibliography on Object-Orientation and Deduction.

[BibT_eX]

[DOI]

Stefan Conrad

SIGMOD Rec., 1992

Conceptual modelling of database applications using extended ER model.

[BibT_eX]

[DOI]

Data Knowl. Eng., 1992

Transforming Conceptual Data Models into an Object Model.

[BibT_eX]

[DOI]

Proceedings of the Entity-Relationship Approach, 1992

Translating TROLL light Concepts to Maude.

[BibT_eX]

[DOI]

Grit Denker

Proceedings of the Recent Trends in Data Type Specification, 1992

1991

Towards a Semantic View of an Extended Entity-Relationship Model.

[BibT_eX]

[DOI]

Uwe Hohenstein

ACM Trans. Database Syst., 1991

Drafting Extended Entity-Relationship Schemas with QUEER.

[BibT_eX]

Bernd Meyer

Gerd Westerman

Proceedings of the 10th International Conference on Entity-Relationship Approach (ER'91), 1991

Objects and their Specification.

[BibT_eX]

[DOI]

Amílcar Sernadas

Proceedings of the Recent Trends in Data Type Specification, 1991

1990

Datalog: eine deduktive Datenbanksprache.

[BibT_eX]

[DOI]

PhD thesis, 1990

A Note on the Translation of SQL to Tuple Calculus.

[BibT_eX]

[DOI]

SIGMOD Rec., 1990

A note on the translation of SQL tuple calculus.

[BibT_eX]

Bull. EATCS, 1990

Zur formalen Semantik von SQL.

[BibT_eX]

Ulrich Karge

Proceedings of the Kurzfassungen des 2. Workshops "Grundlagen von Datenbanken", 1990

1989

Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Zur Übersetzung eines ER-Kalküls nach PROLOG.

[BibT_eX]

Proceedings of the Workshop Grundlagen von Datenbanken, 1989

Algebraische Spezifikation abstrakter Datentypen - eine Einführung in die Theorie.

[BibT_eX]

Udo W. Lipeck

Leitfäden und Monographien der Informatik, Teubner, ISBN: 978-3-519-02266-4, 1989

1988

A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions.

[BibT_eX]

Uwe Hohenstein

Proceedings of the Entity-Relationship Approach: A Bridge to the User, 1988

1987

On Parametric Algebraic Specifications with Clean Error Handling.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1986

Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen.

[BibT_eX]

[DOI]

PhD thesis, 1986

Towards an Algebraic Semantics for Database Specification.

[BibT_eX]

Klaus Drosten

Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, 1986

Exception Handling and Subsorts.

[BibT_eX]

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1985

Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic.

[BibT_eX]

Udo W. Lipeck

Proceedings of the Information Systems - Theoretical and Formal Aspects, 1985

1984

Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1984

Specification, Semantics, and Enforcement of Dynamic Database Constraints.

[BibT_eX]

[DOI]

Udo W. Lipeck

Proceedings of the Tenth International Conference on Very Large Data Bases, 1984

Partially Ordered Sorts in Algebraic Specifications.

[BibT_eX]

Proceedings of the CAAP'84, 1984

A Final Algebra Semantics for Errors and Exceptions.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1984

1983

Algebraic Specification with subsorts using declarations.

[BibT_eX]

Bull. EATCS, 1983

Algebraic and operational semantics of exceptions and errors.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 1983

Algebraic Specification of Subsorts.

[BibT_eX]

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

Error Handling in Algebraic Specifications.

[BibT_eX]

Gregor Engels