María Victoria Cengarle - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2020

2-Term ChartersAlexander Knapp, María Victoria Cengarle. jot, 19(3), 2020. [doi]

2018

Term ChartersAlexander Knapp, María Victoria Cengarle. WADT 2019: 119-138 [doi]

2015

Institutions for OCL-Like Expression LanguagesAlexander Knapp, María Victoria Cengarle. BIRTHDAY 2015: 193-214 [doi]

2013

Inter-Domain Requirements and their Future Realisability: The ARAMiS Cyber-Physical Systems ScenarioBirgit Penzenstadler, Jonas Eckhardt, Wolfgang Schwitzer, María Victoria Cengarle, Sebastian Voss. FedCSIS 2013: 1401-1406

2012

Cyber-Physical Systems: Imminent ChallengesManfred Broy, María Victoria Cengarle, Eva Geisberger. monterey 2012: 1-28 [doi]

2011

UML formal semantics: lessons learnedManfred Broy, María Victoria Cengarle. SoSyM, 10(4):441-446, 2011. [doi]

2009

Definition of the System ModelManfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe. In Kevin Lano, editor, UML 2 Semantics and Applications. pages 61-93, Wiley, 2009. [doi]

Considerations and Rationale for a UML System ModelManfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe. In Kevin Lano, editor, UML 2 Semantics and Applications. pages 43-60, Wiley, 2009. [doi]

InteractionsMaría Victoria Cengarle, Alexander Knapp, Heribert Mühlberger. In Kevin Lano, editor, UML 2 Semantics and Applications. pages 205-248, Wiley, 2009. [doi]

2008

UML 2.0 Interactions with OCL/RT ConstraintsDaniel Calegari, María Victoria Cengarle, Nora Szasz. fdl 2008: 167-172 [doi]

Approaches to an All-encompassing Formal Semantics for the UMLMaría Victoria Cengarle. vveis 2008: 3-4

A Heterogeneous Approach to UML SemanticsMaría Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing. birthday 2008: 383-402 [doi]

2006

Semantics of UML 2.0 Interactions with VariabilitiesMaría Victoria Cengarle, Peter Graubmann, Stefan Wagner. ENTCS, 160:141-155, 2006. [doi]

System model for UML -- The interactions caseMaría Victoria Cengarle. Dagstuhl 2007: [doi]

2004

OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressivenessMaría Victoria Cengarle, Alexander Knapp. SoSyM, 3(1):9-30, 2004. [doi]

2002

Towards OCL/RTMaría Victoria Cengarle, Alexander Knapp. FM 2002: 390-409 [doi]

2001

A Formal Semantics for OCL 1.4María Victoria Cengarle, Alexander Knapp. uml 2001: 118-133 [doi]

1999

Proof Systems for Structured Specifications and Their RefinementsMichel Bidoit, María Victoria Cengarle, Rolf Hennicker. In Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner, editors, Algebraic Foundations of Systems Specification. IFIP State-of-the-Art Reports, pages 385-433, Springer, 1999. [doi]

On the Expressive Power of OCLLuis Mandel, María Victoria Cengarle. FM 1999: 854-874 [doi]

1996

The Disjunctive Constrained Lambda CalculusLuis Mandel, María Victoria Cengarle. ershov 1996: 297-309

1995

Semantic Typing for Parametric Algebraic SpecificationsMaría Victoria Cengarle. amast 1995: 261-276

Formal specifications with higher-order parameterizationMaría Victoria Cengarle. Berichte aus der Informatik, Shaker, 1995.

A Calculus of Higher-Order Parameterization for Algebraic SpecificationsMaría Victoria Cengarle, Martin Wirsing. igpl, 3(4):615-641, 1995. [doi]

1992

An Approach to the DIN Kernel Lisp DefinitionMaría Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider. lisp, 4(4):319-369, 1992.

Answer to Baker s Remarks of July 1991 on Version 1.0María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider. lisp, 4(4):399-404, 1992.

1991

Knowledge Representation in Kernel LispMaría Victoria Cengarle, Heiner Brand, Luis Mandel, Klaus Däßler, Martin Wirsing, Thekla Schneider. wi 1991: 278-286

Sign in or sign up to see more results.

runs on WebDSL