Bernhard Rumpe

According to our database1, Bernhard Rumpe
  • authored at least 442 papers between 1994 and 2018.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Controlled and Extensible Variability of Concrete and Abstract Syntax with Independent Language Features.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

2017
Anforderungsverikation von Komponenten- und Konnektormodellen am Beispiel autonom fahrender Autos.
Softwaretechnik-Trends, 2017

The importance of flow in software development.
Software and System Modeling, 2017

Logic formulas in models.
Software and System Modeling, 2017

Models for the digital transformation.
Software and System Modeling, 2017

SoSyM reflections of 2016: a journal status report.
Software and System Modeling, 2017

Eliminating Input-Based Attacks by Deriving Automated Encoders and Decoders from Context-Free Grammars.
Proceedings of the 2017 IEEE Security and Privacy Workshops, 2017

Visualizing MDD Projects.
Proceedings of the Software Engineering 2017, 2017

OCL Framework to Verify Extra-Functional Properties in Component and Connector Models.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Simulation Framework for Executing Component and Connector Models of Self-Driving Vehicles.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

A Classification of Dynamic Reconfiguration in Component and Connector Architecture Description.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Investigating the Effects of Integrating Handcrafted Code in Model-Driven Engineering.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Component and Connector Views in Practice: An Experience Report.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Executing Robot Task Models in Dynamic Environments.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Advances in Modeling Language Engineering.
Proceedings of the Model and Data Engineering - 7th International Conference, 2017

Engineering Robotics Software Architectures with Exchangeable Model Transformations.
Proceedings of the First IEEE International Conference on Robotic Computing, 2017

9th Workshop on Modelling in Software Engineering (MiSE 2017).
Proceedings of the 9th IEEE/ACM International Workshop on Modelling in Software Engineering, 2017

Teaching Agile Model-Driven Engineering for Cyber-Physical Systems.
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training Track, 2017

Semantic Differencing for Message-Driven Component & Connector Architectures.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Modeling Architectures of Cyber-Physical Systems.
Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

Systematic Language Extension Mechanisms for the MontiArc Architecture Description Language.
Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

Agile Modeling with UML - Code Generation, Testing, Refactoring
Springer, ISBN: 978-3-319-58862-9, 2017

2016
MontiMatcher: Ähnlichkeitsanalyse- Framework zur Produktlinienextraktion und Evolutionsüberwachung.
Softwaretechnik-Trends, 2016

Staged model evolution and proactive quality guidance for model libraries.
Software Quality Journal, 2016

How to write a successful SoSyM submission.
Software and System Modeling, 2016

Models in simulation.
Software and System Modeling, 2016

The evolution of model editors: browser- and cloud-based solutions.
Software and System Modeling, 2016

The 2015 "State of the Journal" report.
Software and System Modeling, 2016

A comprehensive approach to privacy in the cloud-based Internet of Things.
Future Generation Comp. Syst., 2016

NESTML: a modeling language for spiking neurons.
CoRR, 2016

An Extended Symbol Table Infrastructure to Manage the Composition of Output-Specific Generator Information.
CoRR, 2016

TUnit - Unit Testing For Template-based Code Generators.
CoRR, 2016

Adaptable Symbol Table Management by Meta Modeling and Generation of Symbol Table Infrastructures.
CoRR, 2016

Modeling Variability in Template-based Code Generators for Product Line Engineering.
CoRR, 2016

Engineering Tagging Languages for DSLs.
CoRR, 2016

Modeling Reusable, Platform-Independent Robot Assembly Processes.
CoRR, 2016

Test-driven semantical similarity analysis for software product line extraction.
Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Interface-based similarity analysis of software components for the automotive industry.
Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Extending Architecture Description Languages With Exchangeable Component Behavior Languages.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Der Weg zur Modellbasierten Evolution und Adaption medizinischer Leitlinien.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

Model-driven separation of concerns for service robotics.
Proceedings of the International Workshop on Domain-Specific Modeling, 2016

Consistent Extra-Functional Properties Tagging for Component and Connector Models.
Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016

Embedding Component Behavior DSLs into the MontiArcAutomaton ADL.
Proceedings of the 4th International Workshop on the Globalization Of Modeling Languages co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL.
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

Extendable Toolchain for Automatic Compatibility Checks.
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

NESTML: a modeling language for spiking neurons.
Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016

An Extended Symbol Table Infrastructure to Manage the Composition of Output-Specific Generator Information.
Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016

TUnit - Unit Testing For Template-based Code Generators.
Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016

Variability in Template-based Code Generators for Product Line Engineering.
Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016

Infrastructure to Use OCL for Runtime Structural Compatibility Checks of Simulink Models.
Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016

VCU: The Three Dimensions of Reuse.
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton.
Proceedings of the Software Architecture - 10th European Conference, 2016

Compositional Language Engineering Using Generated, Extensible, Static Type-Safe Visitors.
Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016


2015
Systematic synthesis of delta modeling languages.
STTT, 2015

A Methodology for Impact Analysis Based on Model Differencing.
Softwaretechnik-Trends, 2015

Models for digitalization.
Software and System Modeling, 2015

Editorial for the SoSyM issue 2015/03.
Software and System Modeling, 2015

Special section of SoSyM dedicated to 50 years of Petri nets.
Software and System Modeling, 2015

The 2014 "State of the Journal" report.
Software and System Modeling, 2015

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

Simulations on Consumer Tests: A Systematic Evaluation Approach in an Industrial Case Study.
IEEE Intell. Transport. Syst. Mag., 2015

Editorial for the Software Engineering 2013 Conference.
Computer Science - R&D, 2015

Behavioral Compatibility of Simulink Models for Product Line Maintenance and Evolution.
CoRR, 2015

Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models.
CoRR, 2015

Tailoring the MontiArcAutomaton Component & Connector ADL for Generative Development.
CoRR, 2015

Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton.
CoRR, 2015

Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems.
CoRR, 2015

Using Software Categories for the Development of Generative Software.
CoRR, 2015

Evaluation of Variability Concepts for Simulink in the Automotive Domain.
CoRR, 2015

Systematically Deriving Domain-Specific Transformation Languages.
CoRR, 2015

Towards More Security in Data Exchange: Defining Unparsers with Context-Sensitive Encoders for Context-Free Grammars.
CoRR, 2015

Generating Domain-Specific Transformation Languages for Component & Connector Architecture Descriptions.
CoRR, 2015

Integration of Heterogeneous Modeling Languages via Extensible and Composable Language Components.
CoRR, 2015

Architectural Consistency Checking in Plugin-Based Software Systems.
CoRR, 2015

A Comparison of Mechanisms for Integrating Handwritten and Generated Code for Object-Oriented Programming Languages.
CoRR, 2015

Towards Product Lining Model-Driven Development Code Generators.
CoRR, 2015

Simulations on Consumer Tests: Systematic Evaluation of Tolerance Ranges by Model-Based Generation of Simulation Scenarios.
CoRR, 2015

Behavioral compatibility of simulink models for product line maintenance and evolution.
Proceedings of the 19th International Conference on Software Product Line, 2015

Towards More Security in Data Exchange: Defining Unparsers with Context-Sensitive Encoders for Context-Free Grammars.
Proceedings of the 2015 IEEE Symposium on Security and Privacy Workshops, 2015

Verifying Component and Connector Models against Crosscutting Structural Views.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Mixed generative and handcoded development of adaptable data-centric business applications.
Proceedings of the Workshop on Domain-Specific Modeling, 2015

Management of guided and unguided code generator customizations by using a symbol table.
Proceedings of the Workshop on Domain-Specific Modeling, 2015

Adaptable symbol table management by meta modeling and generation of symbol table infrastructures.
Proceedings of the Workshop on Domain-Specific Modeling, 2015

Identifying Code Generation Candidates Using Software Categories.
Proceedings of the Model-Driven Engineering and Software Development, 2015

Using Software Categories for the Development of Generative Software.
Proceedings of the MODELSWARD 2015, 2015

Integration of Heterogeneous Modeling Languages via Extensible and Composable Language Components.
Proceedings of the MODELSWARD 2015, 2015

Composition of Heterogeneous Modeling Languages.
Proceedings of the Model-Driven Engineering and Software Development, 2015

Integration of Handwritten and Generated Object-Oriented Code.
Proceedings of the Model-Driven Engineering and Software Development, 2015

A Comparison of Mechanisms for Integrating Handwritten and Generated Code for Object-Oriented Programming Languages.
Proceedings of the MODELSWARD 2015, 2015

Towards Product Lining Model-driven Development Code Generators.
Proceedings of the MODELSWARD 2015, 2015

Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models.
Proceedings of the 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), 2015

Systematically deriving domain-specific transformation languages.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Generating Domain-Specific Transformation Languages for Component & Connector Architecture Descriptions.
Proceedings of the 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), 2015

Engineering tagging languages for DSLs.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Large-Scale Evaluation of an Active Safety Algorithm with EuroNCAP and US NCAP Scenarios in a Virtual Test Environment - An Industrial Case Study.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Modeling robot and world interfaces for reusable tasks.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Compositional Software Language Engineering.
Proceedings of the 8th India Software Engineering Conference, 2015

Evaluation of Variability Concepts for Simulink in the Automotive Domain.
Proceedings of the 48th Hawaii International Conference on System Sciences, 2015

Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration).
Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

Agile Synchronization between a Software Product Line and its Products.
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik 2015, Informatik, Energie und Umwelt, 28. September, 2015

Architectural Consistency Checking in Plugin-Based Software Systems.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

2014
User-Driven Adaptation of Model Differencing Results.
Softwaretechnik-Trends, 2014

Editorial for the SoSyM issue 2014/04.
Software and System Modeling, 2014

Modeling big smart data.
Software and System Modeling, 2014

The 2013 "State of the Journal" report.
Software and System Modeling, 2014

A Model-Based Approach to Impact Analysis Using Model Differencing.
ECEASST, 2014

Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412).
Dagstuhl Reports, 2014

On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories.
CoRR, 2014

Assumptions Underlying Agile Software Development Processes.
CoRR, 2014

Limitations of Agile Software Processes.
CoRR, 2014

A New Skill Based Robot Programming Language Using UML/P Statecharts.
CoRR, 2014

Metamodelling: State of the Art and Research Challenges.
CoRR, 2014

A Framework for Realtime Online Auctions.
CoRR, 2014

A Domain Specific Transformation Language.
CoRR, 2014

Refining Business Processes.
CoRR, 2014

Generative Software Development.
CoRR, 2014

A manager's view on large scale XP projects.
CoRR, 2014

Scaling the Management of Extreme Programming Projects.
CoRR, 2014

Quantitative Survey on Extreme Programming Projects.
CoRR, 2014

Automata Describing Object Behavior.
CoRR, 2014

A Note on Semantics (with an Emphasis on UML).
CoRR, 2014

Agile Modeling with the UML.
CoRR, 2014

Agile Test-based Modeling.
CoRR, 2014

Model-Based Testing of Object-Oriented Systems.
CoRR, 2014

Executable Modeling with UML. A Vision or a Nightmare?
CoRR, 2014

E-Business Experiences with Online Auctions.
CoRR, 2014

Softwaretechnische Absicherung intelligenter Systeme im Fahrzeug.
CoRR, 2014

Multi-Platform Generative Development of Component & Connector Systems using Model and Code Libraries.
CoRR, 2014

MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems.
CoRR, 2014

A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems.
CoRR, 2014

A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata.
CoRR, 2014

From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems.
CoRR, 2014

Evolving and Implanting Web-based E-Government Systems in Universities.
CoRR, 2014

Using Lightweight Activity Diagrams for Modeling and Generation of Web Information Systems.
CoRR, 2014

Caroline: An Autonomously Driving Vehicle for Urban Environments.
CoRR, 2014

Product Line Annotations with UML-F.
CoRR, 2014

The Energy Navigator - A Web-Platform for Performance Design and Management.
CoRR, 2014

The Energy Navigator - A Web based Platform for functional Quality Mangement in Buildings.
CoRR, 2014

Model Matching Challenge: Benchmarks for Ecore and BPMN Diagrams.
CoRR, 2014

Refinement of Pipe-and-Filter Architectures.
CoRR, 2014

Stepwise Refinement of Data Flow Architectures.
CoRR, 2014

Refinement of Information Flow Architectures.
CoRR, 2014

Modeling Cloud Architectures as Interactive Systems.
CoRR, 2014

Towards Development of Correct Software using Views.
CoRR, 2014

State Based Service Description.
CoRR, 2014

A Model-Based Approach to Impact Analysis Using Model Differencing.
CoRR, 2014

A Manifesto for Semantic Model Differencing.
CoRR, 2014

An Operational Semantics for Activity Diagrams using SMV.
CoRR, 2014

CDDiff: Semantic Differencing for Class Diagrams.
CoRR, 2014

Modal Object Diagrams.
CoRR, 2014

ADDiff: Semantic Differencing for Activity Diagrams.
CoRR, 2014

CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.
CoRR, 2014

Semantically Configurable Consistency Analysis for Class and Object Diagrams.
CoRR, 2014

Summarizing Semantic Model Differences.
CoRR, 2014

An Interim Summary on Semantic Model Differencing.
CoRR, 2014

Synthesis of Component and Connector Models from Crosscutting Structural Views.
CoRR, 2014

Verifying Component and Connector Models against Crosscutting Structural Views.
CoRR, 2014

Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems.
CoRR, 2014

Supporting acceptance testing in distributed software projects with integrated feedback systems: Experiences and requirements.
CoRR, 2014

Model Evolution and Management.
CoRR, 2014

Modeling Cyber-Physical Systems: Model-Driven Specification of Energy Efficient Buildings.
CoRR, 2014

MontiCore: Modular Development of Textual Domain Specific Languages.
CoRR, 2014

Efficient Editor Generation for Compositional DSLs in Eclipse.
CoRR, 2014

Integrated Definition of Abstract and Concrete Syntax for Textual Languages.
CoRR, 2014

Roles in Software Development using Domain Specific Modeling Languages.
CoRR, 2014

MontiCore: a Framework for Compositional Development of Domain Specific Languages.
CoRR, 2014

Towards Enabling Architectural Refactorings through Source Code Annotations.
CoRR, 2014

Techniques Enabling Generator Refactoring.
CoRR, 2014

Cyber-Physical Systems - eine Herausforderung an die Automatisierungstechnik?
CoRR, 2014

The Influence of the Generator's License on Generated Artifacts.
CoRR, 2014

Objektorientierte Graphendarstellung von Simulink-Modellen zur einfachen Analyse und Transformation.
CoRR, 2014

A stream-based mathematical model for distributed information processing systems - SysLab system model.
CoRR, 2014

Feature Specification and Refinement with State Transition Diagrams.
CoRR, 2014

Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications).
CoRR, 2014

Design Guidelines for Domain Specific Languages.
CoRR, 2014

Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop).
CoRR, 2014

Hierarchical XP.
CoRR, 2014

Modeling Dynamic Component Interfaces.
CoRR, 2014

An Algebraic View on the Semantics of model Composition.
CoRR, 2014

Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional Modeling.
CoRR, 2014

SSELab: A Plug-In-Based Framework for Web-Based Project Portals.
CoRR, 2014

User-driven Privacy Enforcement for Cloud-based Services in the Internet of Things.
CoRR, 2014

Hierarchical Variability Modeling for Software Architectures.
CoRR, 2014

Delta Modeling for Software Architectures.
CoRR, 2014

Evolving Delta-oriented Software Product Line Architectures.
CoRR, 2014

MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems.
CoRR, 2014

Towards Architectural Programming of Embedded Systems.
CoRR, 2014

Delta-oriented Architectural Variability Using MontiCore.
CoRR, 2014

Towards a Family-based Analysis of Applicability Conditions in Architectural Delta Models.
CoRR, 2014

First-Class Variability Modeling in Matlab/Simulink.
CoRR, 2014

Engineering Delta Modeling Languages.
CoRR, 2014

High-Level Requirements Management and Complexity Costs in Automotive Development Projects: A Problem Statement.
CoRR, 2014

Concurrent Timed Port Automata.
CoRR, 2014

Enhancing the SysLab System Model with State.
CoRR, 2014

System Model-Based Definition of Modeling Language Semantics.
CoRR, 2014

Towards a Semantics of Activity Diagrams with Semantic Variation Points.
CoRR, 2014

Modeling Language Variability.
CoRR, 2014

Modeling Language Variability.
CoRR, 2014

MontiCore: A Framework for the Development of Textual Domain Specific Languages.
CoRR, 2014

Textbased Modeling.
CoRR, 2014

Modeling Variants of Automotive Systems using Views.
CoRR, 2014

View-Centric Modeling of Automotive Logical Architectures.
CoRR, 2014

Modelling Automotive Function Nets with Views for Features, Variants, and Modes.
CoRR, 2014

View-Based Modeling of Function Nets.
CoRR, 2014

Integrating Heterogeneous Building and Periphery Data Models at the District Level: The NIM Approach.
CoRR, 2014

Proactive Quality Guidance for Model Evolution in Model Libraries.
CoRR, 2014

ALICE: An Advanced Logic for Interactive Component Engineering.
CoRR, 2014

Model Driven Testing of Time Sensitive Distributed Systems.
CoRR, 2014

BMW-ROOM An Object-Oriented Method for ASCET.
CoRR, 2014

Model-Driven Development of Complex Software: A Research Roadmap.
CoRR, 2014

UML-F: A Modeling Language for Object-Oriented Frameworks.
CoRR, 2014

The WebShop E-Commerce Framework.
CoRR, 2014

State-Based Modeling of Buildings and Facilities.
CoRR, 2014

Assessing usability of model driven development in industrial projects.
CoRR, 2014

Meta-Modeling Semantics of UML.
CoRR, 2014

Developing the UML as a Formal Modelling Notation.
CoRR, 2014

The UML as a Formal Modeling Notation.
CoRR, 2014

MontiWeb - Modular Development of Web Information Systems.
CoRR, 2014

Retrofitting Security into a Web-Based Information System.
CoRR, 2014

Defining UML Family Members Using Prefaces.
CoRR, 2014

The Amsterdam Manifesto on OCL.
CoRR, 2014

Report on the First Workshop On the Globalization of Modeling Languages.
CoRR, 2014

System Model Semantics of Statecharts.
CoRR, 2014

System Model Semantics of Class Diagrams.
CoRR, 2014

Variability within Modeling Language Definitions.
CoRR, 2014

System-Model-Based Simulation of UML Models.
CoRR, 2014

Report on the Aachen OCL Meeting.
CoRR, 2014

Software and System Modeling Based on a Unified Formal Semantics.
CoRR, 2014

Towards a System Model for UML. The Structural Data Model.
CoRR, 2014

Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0).
CoRR, 2014

UML 2 Semantics Symposium: Formal Semantics for UML.
CoRR, 2014

Towards a Formalization of the Unified Modeling Language.
CoRR, 2014

Systems, Views and Models of UML.
CoRR, 2014

Towards a Precise Semantics for Object-Oriented Modeling Techniques.
CoRR, 2014

Exemplary and Complete Object Interaction Descriptions.
CoRR, 2014

Testing Agile Requirements Models.
CoRR, 2014

Simulations on Consumer Tests: A Perspective for Driver Assistance Systems.
CoRR, 2014

Rapid Integration and Calibration of New Sensors Using the Berkeley Aachen Robotics Toolkit (BART).
CoRR, 2014

Model Transformations in Practice Workshop (MTiP).
CoRR, 2014

Manifesto - Model Engineering for Complex Systems.
CoRR, 2014

Event Handling in ET++ - A Case Study in the Algebraic Specification of Object-Oriented Application Frameworks.
CoRR, 2014

Automated Testing of Graphical Models in Heterogeneous Test Environments.
CoRR, 2014

Software & Systems Engineering Process and Tools for the Development of Autonomous Driving Intelligence.
CoRR, 2014

Orchestration of Global Software Engineering Projects.
CoRR, 2014

Staged Evolution with Quality Gates for Model Libraries.
CoRR, 2014

Extensible Validation Framework for DSLs using MontiCore on the Example of Coding Guidelines.
CoRR, 2014

Product Line Metrics for Legacy Software in Practice.
CoRR, 2014

Measuring the Ability to Form a Product Line from Existing Products.
CoRR, 2014

Engineering Autonomous Driving Software.
CoRR, 2014

Autonomous Driving - 5 Years after the Urban Challenge: The Anticipatory Vehicle as a Cyber-Physical System.
CoRR, 2014

ProcDSL + ProcEd - a Web-based Editing Solution for Domain Specific Process-Engineering.
CoRR, 2014

Meta-Metrics for Simulations in Software Engineering on the Example of Integral Safety Systems.
CoRR, 2014

Synthesis of Component and Connector Models from Crosscutting Structural Views.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Multi-Platform Generative Development ofComponent & Connector Systems using Model and Code Libraries.
Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

The Influence of the Generator's License on Generated Artifacts.
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

Simulations on consumer tests: A systematic evaluation approach in an industrial case study.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

Verifying component and connector models against crosscutting structural views.
Proceedings of the 36th International Conference on Software Engineering, 2014

User-Driven Privacy Enforcement for Cloud-Based Services in the Internet of Things.
Proceedings of the 2014 International Conference on Future Internet of Things and Cloud, 2014

Simulations on Consumer Tests: A Perspective for Driver Assistance Systems.
Proceedings of the International Workshop on Engineering Simulations for Cyber-Physical Systems, 2014

Conceptual Model of the Globalization for Domain-Specific Languages.
Proceedings of the Globalizing Domain-Specific Languages, 2014

On the Globalization of Domain-Specific Languages.
Proceedings of the Globalizing Domain-Specific Languages, 2014

A Model-based Software Development Kit for the SensorCloud Platform.
Proceedings of the Trusted Cloud Computing, 2014

SensorCloud: Towards the Interdisciplinary Development of a Trustworthy Platform for Globally Interconnected Sensors and Actuators.
Proceedings of the Trusted Cloud Computing, 2014

MontiArcAutomaton: Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton.
Aachener Informatik-Berichte, Software Engineering 20, Shaker, ISBN: 978-3-8440-3299-4, 2014

2013
Model Matching Challenge: Benchmarks for Ecore and BPMN Diagrams.
Softwaretechnik-Trends, 2013

Why it is so hard to use models in software development: observations.
Software and System Modeling, 2013

Model-based lifecycle management of software-intensive systems, applications, and services.
Software and System Modeling, 2013

The evolution of modeling research challenges.
Software and System Modeling, 2013

The 2012 "State of the Journal" Report.
Software and System Modeling, 2013

A newly introduced Industry Voice Column.
Software and System Modeling, 2013

Report on the 7th international workshop on models@run.time.
ACM SIGSOFT Software Engineering Notes, 2013

SensorCloud: Towards the Interdisciplinary Development of a Trustworthy Platform for Globally Interconnected Sensors and Actuators.
CoRR, 2013

First-class variability modeling in Matlab/Simulink.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

Engineering delta modeling languages.
Proceedings of the 17th International Software Product Line Conference, 2013

Synthesis of component and connector models from crosscutting structural views.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems.
Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Konzepte zur Erweiterung des SPES Meta-Modells um Aspekte der Variabilitäts- und Deltamodellierung.
Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Modeling Cloud Architectures as Interactive Systems.
Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

Towards Compositional Domain Specific Languages.
Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, 2013

Proactive Quality Guidance for Model Evolution in Model Libraries.
Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013).
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

Report on the Aachen OCL Meeting.
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

Summary of the 8th International Workshop on Models @ Run.time.
Proceedings of the 8th Workshop on Models @ Run.time co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, 2013

5th international workshop on modeling in software engineering (MiSE 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

A new skill based robot programming language using UML/P Statecharts.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Towards model and language composition.
Proceedings of the First Workshop on the Globalization of Domain Specific Languages, 2013

Staged Evolution with Quality Gates for Model Libraries.
Proceedings of the International workshop on Document Changes: Modeling, 2013

2012
An Interim Summary on Semantic Model Differencing.
Softwaretechnik-Trends, 2012

On the relationship between modeling and programming languages - Editorial for the SoSyM Issue 2012/01: Part 1.
Software and System Modeling, 2012

The journal on Software and Systems Modeling Matures.
Software and System Modeling, 2012

Modeling to improve quality or efficiency? An automotive domain perspective.
Software and System Modeling, 2012

Data warehouse concepts for model artifacts?
Software and System Modeling, 2012

The 2011 "State of the Journal" Report - Editorial for the SoSyM Issue 2012/01: Part 2.
Software and System Modeling, 2012

FormSERA workshop on formal methods in software engineering rigorous and agile approaches: 2nd of june 2012 at ICSE'2012 in Zürich (CH).
ACM SIGSOFT Software Engineering Notes, 2012

Einführung eines Produktlinienansatzes in die automotive Softwareentwicklung am Beispiel von Steuergerätesoftware.
Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

High-Level Requirements Management and Complexity Costs in Automotive Development Projects: A Problem Statement.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2012

Evolving Delta-Oriented Software Product Line Architectures.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Modeling cyber-physical systems: model-driven specification of energy efficient buildings.
Proceedings of the Modelling of the Physical World Workshop, 2012

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

Using Lightweight Activity Diagrams for Modeling and Generation of Web Information Systems.
Proceedings of the Information Systems: Methods, Models, and Applications, 2012

SSELab: a plug-in-based framework for web-based project portals.
Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

Supporting Acceptance Testing in Distributed Software Projects with Integrated Feedback Systems: Experiences and Requirements.
Proceedings of the 2012 IEEE Seventh International Conference on Global Software Engineering, 2012

Autonomous Driving-5 Years after the Urban Challenge: The Anticipatory Vehicle as a Cyber-Physical System.
Proceedings of the Informatik 2012, 2012

20 Jahre Softwaretechnik an der TU Braunschweig.
Proceedings of the 40 Jahre Informatik an der Technischen Universität Braunschweig, 1972, 2012

Agile Modellierung mit UML - Codegenerierung, Testfälle, Refactoring, 2. Auflage.
Xpert.press, Springer, ISBN: 978-3-642-22429-4, 2012

2011
Variability in UML language and semantics.
Software and System Modeling, 2011

Linking models and their storage artifacts.
Software and System Modeling, 2011

A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing.
Int. J. Software and Informatics, 2011

Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441).
Dagstuhl Reports, 2011

Hierarchical Variability Modeling for Software Architectures.
Proceedings of the Software Product Lines - 15th International Conference, 2011

ADDiff: semantic differencing for activity diagrams.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Semantically Configurable Consistency Analysis for Class and Object Diagrams.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Your Floor Knows Where You Are: Sensing and Acquisition of Movement Data.
Proceedings of the 12th IEEE International Conference on Mobile Data Management, 2011

Delta Modeling for Software Architectures.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

GloSE-Lab: Teaching Global Software Engineering.
Proceedings of the 6th IEEE International Conference on Global Software Engineering, 2011

Delta-oriented architectural variability using MontiCore.
Proceedings of the Software Architecture, 5th European Conference, 2011

Modal Object Diagrams.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

CDDiff: Semantic Differencing for Class Diagrams.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

Agile Development with Domain Specific Languages.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

Using Models at Runtime to Address Assurance for Self-Adaptive Systems.
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

Modellierung mit UML - Sprache, Konzepte und Methodik, 2. Auflage.
Xpert.press, Springer, ISBN: 978-3-642-22413-3, 2011

2010
Supporting Agile Change Management by Scenario-Based Regression Simulation.
IEEE Trans. Intelligent Transportation Systems, 2010

MontiCore: a framework for compositional development of domain specific languages.
STTT, 2010

Modeling for the cloud.
Software and System Modeling, 2010

The 8th Annual State of SoSyM Report.
Software and System Modeling, 2010

Evolving Software Architecture Descriptions of Critical Systems.
IEEE Computer, 2010

Measuring the Ability to Form a Product Line from Existing Products.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Product Line Metrics for Legacy Software in Practice.
Proceedings of the Software Product Lines - 14th International Conference, 2010

Modeling Language Variability.
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

A Manifesto for Semantic Model Differencing.
Proceedings of the Models in Software Engineering, 2010

Towards a Semantics of Activity Diagrams with Semantic Variation Points.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Towards Architectural Programming of Embedded Systems.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

Generative software development.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
SoSyM at 7 years.
Software and System Modeling, 2009

Workshop on modeling in software engineering at ICSE 2009.
ACM SIGSOFT Software Engineering Notes, 2009

Software Engineering serviceorientierter Prozesse.
HMD - Praxis Wirtschaftsinform., 2009

Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional Modeling.
Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

Variability within Modeling Language Definitions.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Feature-basierte Modellierung und Verarbeitung von Produktlinien am Beispiel eingebetteter Software.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

Modeling in Software Engineering (MiSE 09).
Proceedings of the 31st International Conference on Software Engineering, 2009

Orchestration of Global Software Engineering Projects - Position Paper.
Proceedings of the 4th IEEE International Conference on Global Software Engineering, 2009

Hesperia: Framework zur Szenario-gestützten Modellierung und Entwicklung Sensor-basierter Systeme.
Proceedings of the Informatik 2009: Im Focus das Leben, 2009

System Model-Based Definition of Modeling Language Semantics.
Proceedings of the Formal Techniques for Distributed Systems, 2009


2008
Correct development of real time and embedded systems.
Software and System Modeling, 2008

Model-based development.
Software and System Modeling, 2008

Caroline: An autonomously driving vehicle for urban environments.
J. Field Robotics, 2008

Autonomes Fahren - Erkenntnisse aus der DARPA Urban Challenge (Autonomous Driving - Insights from the DARPA Urban Challenge).
it - Information Technology, 2008

Modellqualität als Indikator für Softwarequalität: eine Taxonomie.
Informatik Spektrum, 2008

Manifest: Strategische Bedeutung des Software Engineering für die Medizin.
Inform., Forsch. Entwickl., 2008

MontiCore: Modular Development of Textual Domain Specific Languages.
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

View-Centric Modeling of Automotive Logical Architectures.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

Evolving and Implanting Web-Based E-Government-Systems in Universities.
Proceedings of the Information Systems and e-Business Technologies, 2008

MontiCore: a framework for the development of textual domain specific languages.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Modeling in software engineering.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

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

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

2007
Six years of modeling in SoSyM.
Software and System Modeling, 2007

Feedback on our editorials.
Software and System Modeling, 2007

Does model driven engineering tame complexity?
Software and System Modeling, 2007

Software & Systems Engineering Process and Tools for the Development of Autonomous Driving Intelligence.
JACIC, 2007

Modulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung.
Informatik Spektrum, 2007

Strategische Bedeutung des Software Engineering für die Medizin.
Proceedings of the Software Engineering 2007, 2007

Integrated Definition of Abstract and Concrete Syntax for Textual Languages.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

Model-driven Development of Complex Software: A Research Roadmap.
Proceedings of the International Conference on Software Engineering, 2007

Modeling in Software Engineering.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

An Algebraic View on the Semantics of Model Composition.
Proceedings of the Model Driven Architecture- Foundations and Applications, 2007

Metamodelling - State of the Art and Research Challenges.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

Model Evolution and Management.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 4.11., 2007

07451 Summary - Model-Based Engineering of Embedded Real-Time Systems.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 4.11., 2007

ALICE: An Advanced Logic for Interactive Component Engineering.
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2006
Five years of modeling in SoSyM.
Software and System Modeling, 2006

Editorial for the SoSyM issue 2006/02.
Software and System Modeling, 2006

Modeling the Complex Living World.
Software and System Modeling, 2006

Agile Test-based Modeling.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

2nd UML 2 Semantics Symposium: Formal Semantics for UML.
Proceedings of the Models in Software Engineering, 2006

Enabling Architectural Refactorings through Source Code Annotations.
Proceedings of the Modellierung 2006, 2006

Integration von Modellen in einen codebasierten Softwareentwicklungsprozess.
Proceedings of the Modellierung 2006, 2006

First international workshop on global integrated model management.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
Agile Modellierung mit UML - Codegenerierung, Testfälle, Refactoring.
Xpert.press, Springer, ISBN: 978-3-540-26956-4, 2005

Modeling Paradigms.
Software and System Modeling, 2005

Model aesthetics.
Software and System Modeling, 2005

Domain specific modeling.
Software and System Modeling, 2005

Assumptions Underlying Agile Software-Development Processes.
J. Database Manag., 2005

Editorial zum Themenheft: "Modellierung".
Inform., Forsch. Entwickl., 2005

Model Transformations in Practice Workshop.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Techniques for Lightweight Generator Refactoring.
Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005


2004
Modellierung mit UML - Sprache, Konzepte und Methodik.
Xpert.press, Springer, ISBN: 978-3-642-18733-9, 2004

SoSyM at three.
Software and System Modeling, 2004

Assessing model quality.
Software and System Modeling, 2004

In search of effective design abstractions.
Software and System Modeling, 2004

Meaningful Modeling: What's the Semantics of "Semantics"?.
IEEE Computer, 2004

Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop).
Proceedings of the UML Modeling Languages and Applications, 2004

2003
Editorial.
Software and System Modeling, 2003

Editorial - Model engineering.
Software and System Modeling, 2003

Editorial.
Software and System Modeling, 2003

Retrofitting Security into a Web-Based Information System.
Proceedings of the Web Engineering, International Conference, 2003

2002
First Issue of the International Journal on Software and Systems Modeling.
Software and System Modeling, 2002

Product Line Annotations with UML-F.
Proceedings of the Software Product Lines, Second International Conference, 2002

Agile Modeling with the UML.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Model-Driven Approaches to Software Development.
Proceedings of the Advances in Object-Oriented Information Systems, 2002

<>OCL Based on New Presentation of the OCL-Syntax.
Proceedings of the Object Modeling with the OCL, 2002

The Amsterdam Manifesto on OCL.
Proceedings of the Object Modeling with the OCL, 2002

Model-Based Testing of Object-Oriented Systems.
Proceedings of the Formal Methods for Components and Objects, 2002

The UML profile for framework architectures.
Addison Wesley object technology series, Addison-Wesley, ISBN: 978-0-2016-7518-4, 2002

2001
Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999).
Inform., Forsch. Entwickl., 2001

Extreme Programming - Back to Basics?
Proceedings of the Modellierung 2001, 2001

The WebShop E-Commerce Framework.
Proceedings of the International Conference on Internet Computing, 2001

2000
Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT - an ICSE'98 Workshop).
Autom. Softw. Eng., 2000

Framework Development and Adaptation with UML.
Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

UML-F: A Modeling Language for Object-Oriented Frameworks.
Proceedings of the ECOOP 2000, 2000

Software Engineering: Schlüssel zu Prozeßbeherrschung und Informationsmanagement.
TCW-Report 24, TCW, ISBN: 3-931511-52-9, 2000

1999
Applied Software Engineering Principles for UML.
Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

Defining UML Family Members Using Prefaces.
Proceedings of the TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 1999

UML + ROOM as a Standard ADL?
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

Refinement of Pipe-and-Filter Architectures.
Proceedings of the FM'99 - Formal Methods, 1999

What Does the Term Semantics Mean in the Context of UML.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Is a Precise Semantics Desirable? For What Purpose?
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

UML Semantics FAQ.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Should UML Have a Single Semantics? Should UML Have a Single Core Semantics?
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Meta-Modelling Semantics of UML.
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998
The UML as a formal modeling notation.
Computer Standards & Interfaces, 1998

Exemplary and complete object interaction descriptions.
Computer Standards & Interfaces, 1998

The UML as a Formal Modeling Notation.
Proceedings of the Unified Modeling Language, 1998

Modeling Dynamic Component Interfaces.
Proceedings of the TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications).
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
Formale Methodik des Entwurfs verteilter objektorientierter Systeme.
Datenbank Rundbrief, 1997

Systems, Views and Models of UML.
Proceedings of the Unified Modeling Language, 1997

Software and System Modeling Based on a Unified Formal Semantics.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Refinement of Information Flow Architectures.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Feature Specification and Refinement with State Transition Diagrams.
Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

Precise Semantics for Object-Oriented Modeling Techniques - Summary of the ECOOP'97 Workshop.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Towards a Precise Semantics for Object-Oriented Modeling Techniques.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Towards a Formalization of the Unified Modeling Language.
Proceedings of the ECOOP'97, 1997

Übungen zur Einführung in die Informatik - strukturierte Aufgabensammlung mit Musterlösungen.
Springer, ISBN: 978-3-540-63549-9, 1997

1996
Formale Methodik des Entwurfs verteilter objektorientierter Systeme.
Informatik, Utz, Wiss. Verlag, ISBN: 978-3-89675-149-2, 1996

1994
A new Concept of Refinement used for Behaviour Modelling with Automata.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994


  Loading...