BibSonomy :: author  ::

bookmarks

publications

(14)

• Approaches to an All-encompassing Formal Semantics for the UML.
  María Victoria Cengarle MSVVEIS 3-4 (2008)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• A Heterogeneous Approach to UML Semantics.
  María Victoria Cengarle and Alexander Knapp and Andrzej Tarlecki and Martin Wirsing Concurrency, Graphs and Models 383-402 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• System model for UML -- The interactions case.
  María Victoria Cengarle MMOSS (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• A Calculus of Higher-Order Parameterization for Algebraic Specifications.
  María Victoria Cengarle and Martin Wirsing Logic Journal of the IGPL 3 615-641 (1995)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• Semantics of UML 2.0 Interactions with Variabilities.
  María Victoria Cengarle and Peter Graubmann and Stefan Wagner Electr. Notes Theor. Comput. Sci. 160 141-155 (2006)
  to dblp by dblp on 2007-02-12 00:00:00
  | URL | BibTeX  
• OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness.
  María Victoria Cengarle and Alexander Knapp Software and System Modeling 3 9-30 (2004)
  to dblp by dblp on 2004-03-31 00:00:00
  | URL | BibTeX  
• Answer to Baker's Remarks of July 1991 on Version 1.0.
  María Victoria Cengarle and Luis Mandel and Martin Wirsing and Heiner Brand and Klaus Däßler and Thekla Schneider Lisp and Symbolic Computation 4 399-404 (1992)
  to dblp by dblp on 2003-06-26 00:00:00
  | URL | BibTeX  
• An Approach to the DIN Kernel Lisp Definition.
  María Victoria Cengarle and Luis Mandel and Martin Wirsing and Heiner Brand and Klaus Däßler and Thekla Schneider Lisp and Symbolic Computation 4 319-369 (1992)
  to dblp by dblp on 2003-06-26 00:00:00
  | URL | BibTeX  
• Knowledge Representation in Kernel Lisp.
  María Victoria Cengarle and Heiner Brand and Luis Mandel and Klaus Däßler and Martin Wirsing and Thekla Schneider Wissensbasierte Systeme 278-286 (1991)
  to dblp by dblp on 2002-08-12 00:00:00
  | URL | BibTeX  
• On the Expressive Power of OCL.
  Luis Mandel and María Victoria Cengarle World Congress on Formal Methods 854-874 (1999)
  to dblp by dblp on 2002-08-12 00:00:00
  | URL | BibTeX