|
Search the dblp DataBase
María Victoria Cengarle:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- María Victoria Cengarle
Semantic Typing for Parametric Algebraic Specifications. [Citation Graph (0, 0)][DBLP] AMAST, 1995, pp:261-276 [Conf]
- Luis Mandel, María Victoria Cengarle
The Disjunctive Constrained Lambda Calculus. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 1996, pp:297-309 [Conf]
- María Victoria Cengarle, Alexander Knapp
Towards OCL/RT. [Citation Graph (0, 0)][DBLP] FME, 2002, pp:390-409 [Conf]
- Luis Mandel, María Victoria Cengarle
On the Expressive Power of OCL. [Citation Graph (0, 0)][DBLP] World Congress on Formal Methods, 1999, pp:854-874 [Conf]
- María Victoria Cengarle, Alexander Knapp
A Formal Semantics for OCL 1.4. [Citation Graph (0, 0)][DBLP] UML, 2001, pp:118-133 [Conf]
- María Victoria Cengarle, Heiner Brand, Luis Mandel, Klaus Däßler, Martin Wirsing, Thekla Schneider
Knowledge Representation in Kernel Lisp. [Citation Graph (0, 0)][DBLP] Wissensbasierte Systeme, 1991, pp:278-286 [Conf]
- María Victoria Cengarle, Peter Graubmann, Stefan Wagner
Semantics of UML 2.0 Interactions with Variabilities. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:141-155 [Journal]
- María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider
An Approach to the DIN Kernel Lisp Definition. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1992, v:4, n:4, pp:319-369 [Journal]
- María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider
Answer to Baker's Remarks of July 1991 on Version 1.0. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1992, v:4, n:4, pp:399-404 [Journal]
- María Victoria Cengarle, Alexander Knapp
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2004, v:3, n:1, pp:9-30 [Journal]
A Heterogeneous Approach to UML Semantics. [Citation Graph (, )][DBLP]
System model for UML -- The interactions case. [Citation Graph (, )][DBLP]
Variability within Modeling Language Definitions. [Citation Graph (, )][DBLP]
Approaches to an All-encompassing Formal Semantics for the UML. [Citation Graph (, )][DBLP]
UML 2.0 Interactions with OCL/RT Constraints. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|