| Modeling Behavioral Deontic Constraints Using Uml And Ocl | 0 | 0.34 | 2020 |
| Strengthening validation of model behavior through filmstrip templates in the tool USE | 0 | 0.34 | 2020 |
| Modeling Low-Level Network Configurations for Analysis, Simulation and Testing. | 0 | 0.34 | 2020 |
| An Idealistic Plan For Transforming Media Sources Into Books, Slides And Videos | 0 | 0.34 | 2019 |
| A Feasibility Study on Using Classifying Terms in Alloy. | 0 | 0.34 | 2019 |
| Developing User and Recording Interfaces for Design Time and Runtime Models. | 0 | 0.34 | 2019 |
| Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams. | 0 | 0.34 | 2019 |
| A feature-based classification of formal verification techniques for software models. | 1 | 0.35 | 2019 |
| A Systematic Approach To Generate Diverse Instantiations For Conceptual Schemas | 0 | 0.34 | 2019 |
| Native Support for UML and OCL Primitive Datatypes Enriched with Uncertainty in USE. | 0 | 0.34 | 2019 |
| A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior | 0 | 0.34 | 2019 |
| Quality Improvement For Uml And Ocl Models Through Bad Smell And Metrics Definition | 0 | 0.34 | 2019 |
| Sketching a Model-Based Technique for Integrated Design and Run Time Description - Short Paper - Tool Demonstration. | 0 | 0.34 | 2018 |
| Model Finding and Model Completion with USE. | 0 | 0.34 | 2018 |
| Generating OCL Constraints from Test Case Schemas For Testing Model Behavior. | 0 | 0.34 | 2018 |
| From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams: New Ideas and Vision Paper. | 0 | 0.34 | 2018 |
| Some Narrow and Broad Challenges in MDD. | 0 | 0.34 | 2017 |
| Testing Transformation Models Using Classifying Terms. | 0 | 0.34 | 2017 |
| Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel Discussions. | 0 | 0.34 | 2017 |
| (An Example for) Formally Modeling Robot Behavior with UML and OCL. | 0 | 0.34 | 2017 |
| Adding Random Operations to OCL. | 0 | 0.34 | 2017 |
| Continuing a Benchmark for UML and OCL Design and Analysis Tools. | 0 | 0.34 | 2016 |
| Towards Flexible Model Analysis and Constraint Development: A Small Demo Based on Large Real-Life Data. | 0 | 0.34 | 2016 |
| Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models. | 0 | 0.34 | 2016 |
| Recent Developments in OCL and Textual Modelling. | 0 | 0.34 | 2016 |
| Model Driven ActiveRecord with yEd. | 1 | 0.41 | 2015 |
| In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015 | 0 | 0.34 | 2015 |
| Assisted generation of frame conditions for formal models | 8 | 0.53 | 2015 |
| Iterative Development of Transformation Models by Using Classifying Terms. | 0 | 0.34 | 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? | 0 | 0.34 | 2015 |
| Report on the Third Workshop on Verification of Model Transformations (VOLT 2014). | 0 | 0.34 | 2014 |
| Behavior Modeling with Interaction Diagrams in a UML and OCL Tool | 1 | 0.36 | 2014 |
| Towards a Base Model for UML and OCL Verification. | 1 | 0.35 | 2014 |
| Endogenous Metamodeling Semantics for Structural UML 2 Concepts. | 6 | 0.81 | 2013 |
| Report on the Aachen OCL Meeting. | 4 | 0.84 | 2013 |
| UML/OCL based Design and Analysis of Role-Based Access Control Policies. | 0 | 0.34 | 2013 |
| Research Questions for Validation and Verification in the Context of Model-Based Engineering. | 2 | 0.37 | 2013 |
| A benchmark for OCL engine accuracy, determinateness, and efficiency | 3 | 0.42 | 2012 |
| Object constraint language (OCL): a definitive guide | 40 | 1.31 | 2012 |
| From UML and OCL to relational logic and back | 48 | 1.49 | 2012 |
| Strengthening SAT-based validation of UML/OCL models by representing collections as relations | 7 | 0.46 | 2012 |
| OCL-based runtime monitoring of applications with protocol state machines | 10 | 0.66 | 2012 |
| Abstract Runtime Monitoring with USE | 6 | 0.45 | 2012 |
| Evaluating and debugging OCL expressions in UML models | 3 | 0.49 | 2012 |
| Towards supporting multiple execution environments for UML/OCL models at runtime | 1 | 0.34 | 2012 |
| An Approach for Quality Assurance of Model Transformations | 0 | 0.34 | 2012 |
| The secret life of OCL constraints | 1 | 2.25 | 2012 |
| Extensive validation of OCL models by integrating SAT solving into USE | 51 | 1.52 | 2011 |
| Extending OCL Operation Contracts with Objective Functions | 1 | 0.39 | 2011 |
| Modeling and Formally Checking Workflow Properties Using UML and OCL | 9 | 0.58 | 2010 |
