Martin Gogolla
#155,820
Most Influential Person Now
Martin Gogolla's AcademicInfluence.com Rankings
Martin Gogollacomputer-science Degrees
Computer Science
#8556
World Rank
#8994
Historical Rank
Software Engineering
#231
World Rank
#235
Historical Rank
Database
#5556
World Rank
#5765
Historical Rank

Download Badge
Computer Science
Why Is Martin Gogolla Influential?
(Suggest an Edit or Addition)Martin Gogolla's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Unified Modeling Language (2009) (755)
- USE: A UML-based specification environment for validating UML and OCL (2007) (489)
- Object Constraint Language (2009) (366)
- On Formalizing the UML Object Constraint Language OCL (1998) (218)
- Object Constraint Language (OCL): A Definitive Guide (2012) (218)
- Validating UML Models and OCL Constraints (2000) (214)
- Validating UML and OCL models in USE by automatic snapshot generation (2005) (208)
- Model transformations? transformation models! (2006) (175)
- Verifying UML/OCL models using Boolean satisfiability (2010) (155)
- Towards a semantic view of an extended entity-relationship model (1991) (146)
- OCL: Syntax, Semantics, and Tools (2002) (139)
- Conceptual modelling of database applications using extended ER model (1992) (133)
- Using Models at Runtime to Address Assurance for Self-Adaptive Systems (2015) (129)
- From UML and OCL to relational logic and back (2012) (109)
- Extensive Validation of OCL Models by Integrating SAT Solving into USE (2011) (104)
- Expressing UML Class Diagrams Properties with OCL (2002) (96)
- Verification of ATL Transformations Using Transformation Models and Model Finders (2012) (86)
- Validation of UML and OCL Models by Automatic Snapshot Generation (2003) (82)
- State diagrams in UML: A formal semantics using graph transformations (1998) (82)
- A Metamodel for OCL (1999) (79)
- An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation (2002) (79)
- Consistency, Independence and Consequences in UML and OCL Models (2009) (76)
- OCL Extended with Temporal Logic (2003) (76)
- Analyzing and Managing Role-Based Access Control Policies (2008) (76)
- Tractable Model Transformation Testing (2011) (75)
- Capturing dynamic program behaviour with UML collaboration diagrams (2001) (63)
- Formal Specification and Testing of Model Transformations (2012) (58)
- Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors (1984) (55)
- On Constraints and Queries in UML (1997) (55)
- An Extended Entity-Relationship Model: Fundamentals and Pragmatics (1994) (52)
- Specification and Validation of Authorisation Constraints Using UML and OCL (2005) (50)
- TROLL light: A Core Language for Specifying Objects (1992) (49)
- Sketching Concepts and Computational Model of TROLL light (1993) (48)
- From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics (2014) (46)
- Analysis of UML Stereotypes within the UML Metamodel (2002) (46)
- Specification, Semantics, and Enforcement of Dynamic Database Constraints (1984) (45)
- Transformation Rules for UML Class Diagrams (1998) (45)
- An Extension of OCL with Temporal Logic (2002) (44)
- An Extended Entity-Relationship Model (1994) (44)
- On better understanding UML diagrams through interactive three-dimensional visualization and animation (2000) (40)
- Towards an integrated graph-based semantics for UML (2003) (40)
- Objects and their Specification (1991) (40)
- Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study (2003) (40)
- A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions (1988) (39)
- Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool (2016) (38)
- Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic (1985) (36)
- Testing models and model transformations using classifying terms (2018) (35)
- Equivalence Rules for UML Class Diagrams (1998) (35)
- Aspect-Oriented Monitoring of UML and OCL Constraints (2007) (34)
- Achieving model quality through model validation, verification and exploration (2017) (34)
- Metric-based selective representation of UML diagrams (2002) (34)
- Partially Ordered Sorts in Algebraic Specifications (1984) (32)
- Teaching modeling: why, when, what? (2009) (32)
- On validation of ATL transformation rules by transformation models (2011) (32)
- A benchmark for OCL engine accuracy, determinateness, and efficiency (2008) (31)
- Graph Transformations on the UML Metamodel (2000) (31)
- On translating UML models into graph transformation systems (2006) (31)
- Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report (2004) (30)
- Application of UML associations and their adornments in design recovery (2001) (29)
- Initiating a Benchmark for UML and OCL Analysis Tools (2013) (29)
- On OCL-based imperative languages (2014) (28)
- Towards an Algebraic Semantics for Database Specification (1986) (27)
- On Squeezing M 0 , M 1 , M 2 , and M 3 into a Single Object Diagram (2005) (27)
- Teaching UML and OCL models and their validation to software engineering students: an experience report (2018) (27)
- Modeling and validating Mondex scenarios described in UML and OCL with USE (2007) (26)
- Employing classifying terms for testing model transformations (2015) (25)
- Tool Support for OCL and Related Formalisms - Needs and Trends (2005) (25)
- Integrating the ER Approach in an OO Environment (1993) (25)
- ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (2001) (24)
- Towards Three-Dimensional Animation of UML Diagrams (1999) (23)
- Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models (2014) (23)
- Development of UML Descriptions with USE (2002) (22)
- Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL (2011) (22)
- Operator Scheduling (2009) (22)
- From UML Models to Graph Transformation Systems (2005) (22)
- Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations (2012) (21)
- Model-driven standardization of public authority data interchange (2014) (21)
- Transforming Data Models with UML (2003) (21)
- A feature-based classification of formal verification techniques for software models (2019) (21)
- On integrating structure and behavior modeling with OCL (2012) (20)
- Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL (2012) (20)
- Defining Operational Behavior of Object Specifications by Attributed Graph Transformations (1996) (20)
- On Integrating OCL and Triple Graph Grammars (2009) (20)
- Towards Reliable Information Systems: The KorSo Approach (1993) (19)
- Metamodel Transformation of Data Models (2002) (19)
- An Algebraic Semantics for the Object Specification Language TROLL light (1994) (19)
- OCL for (meta-)models in multiple application domains (2006) (18)
- Transformation of UML and OCL Models into Filmstrip Models (2014) (18)
- Digging into the Visitor Pattern (2004) (18)
- Benefits and Problems of Formal Methods (2004) (18)
- Transforming Conceptual Data Models into an Object Model (1992) (18)
- Realizing UML Metamodel Transformations with AGG (2004) (18)
- Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME'2005) (2005) (17)
- The Whole-Part Relationship in the Unified Modeling Language: A New Approach (2001) (17)
- Panel Discussion: Proposals for Improving OCL (2014) (17)
- On Generalization and Overriding in UML 2.0 (2004) (17)
- Checking Transformation Model Properties with a UML and OCL Model Validator (2014) (17)
- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases (2010) (17)
- Re-Documentation of Java with UML Class Diagrams (2000) (16)
- Typing Model Transformations Using Tracts (2012) (16)
- Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping (2016) (16)
- Modular Embedding of the Object Constraint Language into a Programming Language (2011) (16)
- Employing UML and OCL for designing and analysing role-based access control (2013) (15)
- Continuing a Benchmark for UML and OCL Design and Analysis Tools (2016) (15)
- Assisted generation of frame conditions for formal models (2015) (15)
- TROLL light - The Language and its Development Environment (1995) (15)
- Tales of ER and RE Syntax and Semantics (2005) (14)
- Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (2006) (14)
- On better understanding OCL collections or an OCL ordered set is not an OCL set (2009) (14)
- An OCL Extension for Formulating Temporal Constraints (2007) (14)
- Endogenous Metamodeling Semantics for Structural UML 2 Concepts (2013) (14)
- Modeling and Formally Checking Workflow Properties Using UML and OCL (2010) (13)
- OCL-based Runtime Monitoring of JVM hosted Applications (2011) (13)
- A Development Environment for an Object Specification Language (1995) (13)
- Extracting frame conditions from operation contracts (2015) (13)
- On combining semiformal and formal object specification techniques (1997) (12)
- From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification (2015) (12)
- OCL-Based Runtime Monitoring of Applications with Protocol State Machines (2012) (12)
- Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques (2011) (12)
- A SQL-like Query Calculus for Object-Oriented Database Systems (1994) (11)
- Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (2001) (11)
- Precise Model-Driven Transformations Based on Graphs and Metamodels (2009) (11)
- Tool support for validating UML and OCL models through automatic snapshot generation (2003) (11)
- Translating TROLL light Concepts to Maude (1992) (11)
- Towards a generic verification methodology for system models (2013) (11)
- Tracing Properties of UML and OCL Models with Maude (2011) (11)
- On Parametric Algebraic Specifications with Clean Error Handling (1987) (10)
- An Animator for the Object Specification Language TROLL light (1994) (10)
- From Graph Transformation to OCL Using USE (2008) (10)
- Towards transformation of integrity constraints and database states (2005) (10)
- Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop (2018) (10)
- From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams: New Ideas and Vision Paper (2018) (10)
- Abstract Runtime Monitoring with USE (2012) (9)
- Adding Random Operations to OCL (2017) (9)
- UML Metamodel-based Workflow Modeling and Execution (2011) (9)
- Identifying Objects by Declarative Queries (2000) (8)
- A note on the translation of SQL to tuple calculus (1990) (8)
- A Declarative Query Approach to Object Identification (1995) (8)
- Research Questions for Validation and Verification in the Context of Model-Based Engineering (2013) (8)
- An OCL-Based Framework for Model Transformations (2016) (8)
- Report on the Aachen OCL Meeting (2014) (8)
- Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004) (2004) (8)
- Evaluating and Debugging OCL Expressions in UML Models (2012) (8)
- Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models (2016) (8)
- On Static and Dynamic Analysis of UML and OCL Transformation Models (2014) (8)
- A Semantics for OCL Pre- and Postconditions (2000) (7)
- Proceedings of the Third international conference on Theory and practice of model transformations (2010) (7)
- A Final Algebra Semantics for Errors and Exceptions (1984) (7)
- Formal semantics of SQL (1994) (7)
- What is an Abstract Data Type, after all? (1994) (7)
- Integrating an SMT-Based ModelFinder into USE (2016) (7)
- Conceptual Modelling of Database Applications Using an Extended Er Model H.2.1 Database Management] Logical Design { Data Modelss Schema and Subschema. H.2.3 Database Management] Languages { Data Description Languages (ddl)) Data Manipulation Languages (dml)) (2008) (7)
- Improving Model Quality by Validating Constraints with Model Unit Tests (2010) (7)
- Korso Reference Languages - Concepts and Application Domains (1995) (7)
- A Comparison of Textual Modeling Languages: OCL, Alloy, FOML (2016) (7)
- Checking the Conformance between Models Based on Scenario Synchronization (2010) (7)
- A Web-based animator for validating object specifications (1997) (6)
- Towards a Base Model for UML and OCL Verification (2014) (6)
- Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms (2017) (6)
- An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion (2004) (6)
- Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification (2017) (6)
- Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships (2007) (6)
- UML for the Impatient (1998) (6)
- System Modeling with USE (UML-based Specification Environment) (2008) (6)
- Theory and Practice of Model Transformations - 3rd International Conference, ICMT@TOOLS 2010, Málaga, Spain, June 28-July 2, 2010. Proceedings (2010) (6)
- On metamodel superstructures employing UML generalization features (2014) (5)
- Experimenting with Multi-Level Models in a Two-Level Modeling Tool (2015) (5)
- Metamodel Transformation of Data Models Position Paper (2002) (5)
- User Assistance Characteristics of the USE Model Checking Tool (2017) (5)
- Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study (2015) (5)
- MDA Employed in a Joint eGovernment Strategy: An Experience Report (2008) (5)
- Assurance Using Models at Runtime for Self-Adaptive Software Systems (2012) (5)
- Recent Developments in OCL and Textual Modelling (2016) (5)
- Eighth International Workshop on OCL Concepts and Tools (2009) (5)
- Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives (2017) (4)
- Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations (2005) (4)
- OCL and Model Driven Engineering (2004) (4)
- From C++ Refactorings to Graph Transformations (2007) (4)
- Exploring ER and RE syntax and semantics with metamodel object diagrams (2005) (4)
- Ninth international workshop on the pragmatics of OCL and other textual specification languages (2009) (4)
- Design and Prototypical Implementation of an Integrated Graph-Based Conceptual Data Model (2014) (4)
- An Algebraic Development Technique for Information Systems (1995) (4)
- Native Support for UML and OCL Primitive Datatypes Enriched with Uncertainty in USE (2019) (4)
- A Web-based Animator for Object Specifications in a Persistent Environment (1997) (4)
- Some Narrow and Broad Challenges in MDD (2017) (4)
- Checking BART Test Scenarios with UML's Object Constraint Language (2004) (4)
- Employing the Object Constraint Language in Model-Based Engineering (2013) (4)
- On explaining modeling principles with modeling examples: a classification catalog (2012) (4)
- Error Handling in Algebraic Specifications (1982) (4)
- (An Example for) Formally Modeling Robot Behavior with UML and OCL (2017) (4)
- Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach (1989) (4)
- Generating effective test suites for model transformations using classifying terms (2016) (4)
- Stepwise re-engineering and development of object-oriented database schemata (1998) (4)
- On Softening OCL Invariants (2019) (4)
- Model Finding in the EMF Ecosystem (2020) (4)
- UML and OCL in Conceptual Modeling (2011) (4)
- Drafting Extended Entity-Relationship Schemas with QUEER (1991) (4)
- Teaching Touchy Transformations (2008) (4)
- Interoperability of Logistics Artifacts: An Approach for Information Exchange Through Transformation Mechanisms (2016) (4)
- Iterative Development of Transformation Models by Using Classifying Terms (2015) (4)
- Teaching Model Views with UML and OCL (2017) (4)
- Dynamics in Information Systems: Speciication, Construction, and Correctness |an Algebraic Approach| (1996) (3)
- Extending a UML and OCL Tool for Meta-Modeling: Applications towards Model Quality Assessment (2018) (3)
- Advanced Features for Model Visualization in the UML and OCL Tool USE (2020) (3)
- Towards flexible object and class modeling tools: an experience report (2018) (3)
- Behavior Modeling with Interaction Diagrams in a UML and OCL Tool (2014) (3)
- Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study (2015) (3)
- Modeling Behavior with Interaction Diagrams in a UML and OCL Tool (2015) (3)
- A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas (2019) (3)
- Quality Improvement for UML and OCL Models Through Bad Smell and Metrics Definition (2019) (3)
- Assessing UML Model Quality by Utilizing Metrics (2018) (3)
- A UML Semantics FAQ: The View from Bremen (1999) (3)
- Towards Schema Queries for Semantic Data Models (1995) (3)
- Developing Comprehensive Postconditions Through a Model Transformation Chain (2019) (3)
- Model Development in the UML-based Specification Environment (USE) (2006) (3)
- Teaching modeling in computer science as an ecosystem: a provocative analogy (2018) (3)
- Model Driven ActiveRecord with yEd (2015) (3)
- Towards supporting multiple execution environments for UML/OCL models at runtime (2012) (3)
- Safe Derivations in Object Hierarchies (1994) (3)
- Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182) (2013) (3)
- Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models (2016) (2)
- On Leveraging UML/OCL for Model Synchronization (2016) (2)
- Sketching a Model-Based Technique for Integrated Design and Run Time Description - Short Paper - Tool Demonstration (2018) (2)
- Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition (1997) (2)
- Testing Transformation Models Using Classifying Terms (2017) (2)
- UML and OCL Transformation Model Analysis: Checking Invariant Independence (2015) (2)
- An Object-Oriented Design for the ACT ONE Environment (1993) (2)
- Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL (2017) (2)
- An Approach for Quality Assurance of Model Transformations (2012) (2)
- Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel Discussions (2017) (2)
- Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17) (2017) (2)
- Model Finding and Model Completion with USE (2018) (2)
- Semantics of object-oriented languages (1999) (2)
- UML/OCL based Design and Analysis of Role-Based Access Control Policies (2013) (2)
- A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior (2019) (2)
- Integrating UML/OCL Derived Properties into Validation and Verification Processes (2016) (1)
- Essentials of the 5th educators' symposium at MODELS 2009 (2009) (1)
- An annotated bibliography on object-orientation and deduction (1992) (1)
- Towards a Conceptual Model for the Environmentof the Algebraic Speci cation Language ACT ONE (1991) (1)
- Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment (2017) (1)
- Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models (2020) (1)
- Fundamentals and Pragmatics of an Entity-Relationship Approach (1994) (1)
- Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010) (2011) (1)
- Towards Object Visualization by Conceptual GraphsMartin GogollaBremen UniversityInformatics DepartmentDatabase Systems (1996) (1)
- Meta-Modeling Model-Based Engineering Tools (2013) (1)
- Modeling Behavioral Deontic Constraints Using UML and OCL (2020) (1)
- Generating OCL Constraints from Test Case Schemas For Testing Model Behavior (2018) (1)
- Formulating Model Verification Tasks Prover-Independently as UML Diagrams (2017) (1)
- Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool (2018) (1)
- Developing User and Recording Interfaces for Design Time and Runtime Models (2019) (1)
- An Object Specification Language Implementation with Web User Interface based on Tycoon (1996) (1)
- Towards Model Validation and Verification with SAT Techniques (2009) (1)
- Orientation Relationships (2009) (1)
- Drafting ER and OO Schemas in Prototype Environments (1996) (1)
- Exception Handling and Subsorts (1986) (1)
- Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool (2014) (1)
- Emerging Topics in Textual Modelling (2019) (1)
- Educators' Symposium at MODELS 2009 (2009) (1)
- The secret life of OCL constraints (2012) (1)
- An Approach to Employ Modeling in a Traditional Computer Science Curriculum or: Why Posing Essentials of the Object Constraint Language without Objects and Constraints? (2015) (1)
- Testing models and model transformations using classifying terms (2016) (1)
- A feature-based classification of formal verification techniques for software models (2017) (1)
- Algebraic Specification with subsorts using declarations (1983) (1)
- Algebraic and operational semantics of exceptions and errors (1983) (1)
- Refactoring Collections in OCL (2021) (1)
- A benchmark for OCL engine accuracy, determinateness, and efficiency (2010) (1)
- Logical Reasoning with Object Diagrams in a UML and OCL Tool (2018) (1)
- Algebraic Specification of Subsorts (1983) (1)
- On Behavioral Model Quality and Transformation | Position Statement | 1 Conceptual Modelling of Information Systems (1997) (1)
- Workshop on OCL and textual modeling: OCL 2012 (2012) (1)
- Modeling Language Transformations with USE (2013) (0)
- Tenth International Workshop on OCL and Textual Modelling (2010) (0)
- Systematic Transformation of Graphically Described UML Operations into OCL Pre-and Postconditions and Easy Implementations (2005) (0)
- Squeezer Graphs : Proposing a Simple Basis for Computing ( Meta-) Model Features (2018) (0)
- Editorial for the Speccial Issue UML 2001 Conference (2002) (0)
- A Toolchain Transforming Descriptive Domain-Specific Models into Executable Browser-Based Applications (2020) (0)
- Model Checking and Model Finding with USE (2018) (0)
- Proceedings of the 5th international conference on Tests and proofs (2011) (0)
- On Formal Semantics of Some Semantic Data Models (1994) (0)
- In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015 (2015) (0)
- Preface (2006) (0)
- Validating UML Models and OCL ConstraintsMark (2000) (0)
- Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams (2019) (0)
- Preface to the JOT special issue containing the ECMFA 2021 selected papers (2021) (0)
- On Horizontal and Vertical Relationships between Models (2008) (0)
- ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (2015) (0)
- Edited proceedings, Third International Conference, ICMT 2010 (2010) (0)
- Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings (2011) (0)
- Modeling Low-Level Network Configurations for Analysis, Simulation and Testing (2020) (0)
- Enhancing development and consistency of UML models and model executions with USE studio (2020) (0)
- On teaching descriptive and prescriptive modeling (2020) (0)
- On Understanding Teaching Modeling in Computer Science as an Ecosystem (2017) (0)
- Structure of data and entities (1994) (0)
- Is It Possible to Express a Semantics of UML in UML? (The Meta-modelling Approach) (1999) (0)
- Strengthening validation of model behavior through filmstrip templates in the tool USE (2020) (0)
- Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools (2021) (0)
- Preface (2008) (0)
- Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015 (2015) (0)
- Proceedings of the 12th Workshop on OCL and Textual Modelling, Innsbruck, Austria, September 30, 2012 (2012) (0)
- Lassy-a system for analyzing grammatical dependencies in Latin (1996) (0)
- Reusing OCL in a Programming Language (2013) (0)
- Object Identifier (2020) (0)
- OCL and Model Driven Engineering (Workshop Report) (2005) (0)
- Report on the Third Workshop on Verification of Model Transformations (VOLT 2014) (2014) (0)
- 7th International Workshop on Ocl4All: Modelling Systems with OCL (2008) (0)
- On the Support of Qualified Associations in OCL (2016) (0)
- Toward a Unified Logistics Modeling Language: Constraints and Objectives (2016) (0)
- An Idealistic Plan for Transforming Media Sources Into Books, Slides and Videos: Position Statement on “Textbooks 10 Years From Now” (2019) (0)
- Preface to the Proceedings of the 2008 OCL Workshop (2009) (0)
- Electronic Communications of the EASST Volume 44 ( 2011 ) Proceedings of the Workshop on OCL and Textual Modelling ( OCL 2011 ) Preface (2011) (0)
- Class diagram Order dataVol : Integer scope : Scope « enumeration » Scope continental worldwide Customer name : String budget : Integer premium : Boolean CloudService provider : String maxDataVol : Integer scope : Scope unitPrice (2019) (0)
- A SWOT Analysis of the Object Constraint Language (2021) (0)
- Editorial (2002) (0)
- Parameterizing Object Specifications (1996) (0)
- Preface (OCL 2011 Proceedings) (2011) (0)
- Assembling Scenario Patterns for Checking Model Behavior (2020) (0)
- Exploiting Results of Model-Based Analysis Tools (2021) (0)
- What Is the Current State of UML Semantics? What Are the Reference Documents (1999) (0)
- Extended Entity-Relationship calculus (1994) (0)
- Unsupervised Learning on Document Datasets (2009) (0)
- Views on UML Interactions as Spreadsheet Queries (2016) (0)
- In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015 (2015) (0)
- Categorization of approaches to extend and reuse OCL (2022) (0)
- On Better Understanding UML Diagrams through Three-Dimensional Visualization and Animation. (2000) (0)
- From Object to Class Models: More Steps towards Flexible Modeling (Short Paper) (2022) (0)
- A Feasibility Study on Using Classifying Terms in Alloy (2019) (0)
- ICMT 2010 Special Section (2011) (0)
- Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009 (2010) (0)
- Response to the OMG RfP (2001) (0)
- Metrics for OCL expressions: development, realization, and applications for validation (2020) (0)
- Appendix E : Alternative Approaches (2011) (0)
- Towards Flexible Model Analysis and Constraint Development: A Small Demo Based on Large Real-Life Data (2016) (0)
- Preface to the JOT Special Issue dedicated to Prof. Antonio Vallecillo on his 60th Birthday (2022) (0)
- Direction Neutral Language Transformation with Metamodels (2011) (0)
- On a Better Formal Basis for Stating Sql-like Queries in Value-and Object-based Dbs (1994) (0)
- On Scenario Synchronization (2010) (0)
- Uncertain Information (2009) (0)
- VOLT 2014 Workshop Report (2014) (0)
- Online Handwriting (2009) (0)
This paper list is powered by the following services: