María Victoria Cengarle

J. Object Technol., 2020

2018

Term Charters.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2018

2015

Institutions for OCL-Like Expression Languages.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

2014

System Model Semantics of Statecharts.

[BibT_eX]

[DOI]

CoRR, 2014

System Model Semantics of Class Diagrams.

[BibT_eX]

[DOI]

CoRR, 2014

System-Model-Based Simulation of UML Models.

[BibT_eX]

[DOI]

Jürgen Dingel

CoRR, 2014

Towards a System Model for UML. The Structural Data Model.

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

2013

Inter-Domain Requirements and their Future Realisability: The ARAMiS Cyber-Physical Systems Scenario.

[BibT_eX]

[DOI]

Birgit Penzenstadler

Jonas Eckhardt

Wolfgang Schwitzer

Sebastian Voss

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

2012

Cyber-Physical Systems: Imminent Challenges.

[BibT_eX]

[DOI]

Eva Geisberger

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

2011

UML formal semantics: lessons learned.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2011

2009

Variability within Modeling Language Definitions.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Interactions.

[BibT_eX]

[DOI]

Heribert Mühlberger

Proceedings of the UML 2 Semantics and Applications, 2009

Definition of the System Model.

[BibT_eX]

[DOI]

Proceedings of the UML 2 Semantics and Applications, 2009

Considerations and Rationale for a UML System Model.

[BibT_eX]

[DOI]

Proceedings of the UML 2 Semantics and Applications, 2009

2008

Approaches to an All-encompassing Formal Semantics for the UML.

[BibT_eX]

Proceedings of the Modelling, 2008

UML 2.0 Interactions with OCL/RT Constraints.

[BibT_eX]

[DOI]

Daniel Calegari

Nora Szasz

Proceedings of the Forum on specification and Design Languages, 2008

A Heterogeneous Approach to UML Semantics.

[BibT_eX]

[DOI]

Andrzej Tarlecki

Martin Wirsing

Proceedings of the Concurrency, 2008

2006

System model for UML -- The interactions case.

[BibT_eX]

[DOI]

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

2005

Semantics of UML 2.0 Interactions with Variabilities.

[BibT_eX]

[DOI]

Peter Graubmann

Stefan Wagner

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

2004

OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2004

2002

Towards OCL/RT.

[BibT_eX]

[DOI]

Proceedings of the FME 2002: Formal Methods, 2002

2001

A Formal Semantics for OCL 1.4.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2001, 2001

1999

Proof Systems for Structured Specifications and Their Refinements.

[BibT_eX]

[DOI]

Michel Bidoit

Rolf Hennicker

Proceedings of the Algebraic Foundations of Systems Specification, 1999

On the Expressive Power of OCL.

[BibT_eX]

[DOI]

Luis Mandel

Proceedings of the FM'99 - Formal Methods, 1999

1996

The Disjunctive Constrained Lambda Calculus.

[BibT_eX]

[DOI]

Luis Mandel

Proceedings of the Perspectives of System Informatics, 1996

1995

A Calculus of Higher-Order Parameterization for Algebraic Specifications.

[BibT_eX]

[DOI]

Martin Wirsing

Log. J. IGPL, 1995

Semantic Typing for Parametric Algebraic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1995

Formal specifications with higher-order parameterization.

[BibT_eX]

[DOI]

Berichte aus der Informatik, Shaker, ISBN: 978-3-8265-0809-7, 1995

1992

Answer to Baker's Remarks of July 1991 on Version 1.0.

[BibT_eX]

LISP Symb. Comput., 1992

An Approach to the DIN Kernel Lisp Definition.

[BibT_eX]

LISP Symb. Comput., 1992

1991

Knowledge Representation in Kernel Lisp.

[BibT_eX]

[DOI]