María Victoria Cengarle

33 papers A 1C 2Journal 12Unranked 13
YearRankTypeTitle / Venue / Authors
2020 J jnl
2-Term Charters.
J. Object Technol.
Alexander Knapp, María Victoria Cengarle
2018 — conf
Term Charters.
WADT
Alexander Knapp, María Victoria Cengarle
2015 — conf
Institutions for OCL-Like Expression Languages.
Software, Services, and Systems
Alexander Knapp, María Victoria Cengarle
2014 J jnl
Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0).
CoRR
Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
2014 J jnl
System Model Semantics of Class Diagrams.
CoRR
María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
2014 J jnl
System Model Semantics of Statecharts.
CoRR
María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
2014 J jnl
System-Model-Based Simulation of UML Models.
CoRR
María Victoria Cengarle, Jürgen Dingel, Hans Grönniger, Bernhard Rumpe
2014 J jnl
Towards a System Model for UML. The Structural Data Model.
CoRR
Manfred Broy, María Victoria Cengarle, Bernhard Rumpe
2014 J jnl
Variability within Modeling Language Definitions.
CoRR
María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
2013 C conf
Inter-Domain Requirements and their Future Realisability: The ARAMiS Cyber-Physical Systems Scenario.
FedCSIS
Birgit Penzenstadler, Jonas Eckhardt, Wolfgang Schwitzer, María Victoria Cengarle, Sebastian Voss
2012 — conf
Cyber-Physical Systems: Imminent Challenges.
Monterey Workshop
Manfred Broy, María Victoria Cengarle, Eva Geisberger
2011 J jnl
UML formal semantics: lessons learned.
Softw. Syst. Model.
Manfred Broy, María Victoria Cengarle
2009 — ch.
Considerations and Rationale for a UML System Model.
UML 2 Semantics and Applications
Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
2009 — ch.
Definition of the System Model.
UML 2 Semantics and Applications
Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
2009 — ch.
Interactions.
UML 2 Semantics and Applications
María Victoria Cengarle, Alexander Knapp, Heribert Mühlberger
2009 A conf
Variability within Modeling Language Definitions.
MoDELS
María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
2008 — conf
A Heterogeneous Approach to UML Semantics.
Concurrency, Graphs and Models
María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing
2008 — conf
Approaches to an All-encompassing Formal Semantics for the UML.
MSVVEIS
María Victoria Cengarle
2008 C conf
UML 2.0 Interactions with OCL/RT Constraints.
FDL
Daniel Calegari, María Victoria Cengarle, Nora Szasz
2006 — conf
System model for UML -- The interactions case.
MMOSS
María Victoria Cengarle
2005 — conf
Semantics of UML 2.0 Interactions with Variabilities.
FACS
María Victoria Cengarle, Peter Graubmann, Stefan Wagner
2004 J jnl
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness.
Softw. Syst. Model.
María Victoria Cengarle, Alexander Knapp
2002 — conf
Towards OCL/RT.
FME
María Victoria Cengarle, Alexander Knapp
2001 — conf
A Formal Semantics for OCL 1.4.
UML
María Victoria Cengarle, Alexander Knapp
1999 — conf
On the Expressive Power of OCL.
World Congress on Formal Methods
Luis Mandel, María Victoria Cengarle
1999 — ch.
Proof Systems for Structured Specifications and Their Refinements.
Algebraic Foundations of Systems Specification
Michel Bidoit, María Victoria Cengarle, Rolf Hennicker
1996 — conf
The Disjunctive Constrained Lambda Calculus.
Ershov Memorial Conference
Luis Mandel, María Victoria Cengarle
1995 J jnl
A Calculus of Higher-Order Parameterization for Algebraic Specifications.
Log. J. IGPL
María Victoria Cengarle, Martin Wirsing
1995 — book
Formal specifications with higher-order parameterization.
María Victoria Cengarle
1995 — conf
Semantic Typing for Parametric Algebraic Specifications.
AMAST
María Victoria Cengarle
1992 J jnl
An Approach to the DIN Kernel Lisp Definition.
LISP Symb. Comput.
María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider
1992 J jnl
Answer to Baker's Remarks of July 1991 on Version 1.0.
LISP Symb. Comput.
María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider
1991 — conf
Knowledge Representation in Kernel Lisp.
Wissensbasierte Systeme
María Victoria Cengarle, Heiner Brand, Luis Mandel, Klaus Däßler, Martin Wirsing, Thekla Schneider