Travelled to:
1 × France
3 × Australia
Collaborated with:
∅ S.Clerici L.Martinez C.Pereira
Talks about:
algebra (2) specif (2) orient (2) object (2) uml (2) transform (1) metamodel (1) techniqu (1) foundat (1) static (1)
Person: Liliana Favre
DBLP: Favre:Liliana
Contributed to:
Wrote 4 papers:
- AdaEurope-2009-Favre #formal method #metamodelling
- A Formal Foundation for Metamodeling (LF), pp. 177–191.
- TOOLS-PACIFIC-2000-FavreMP #modelling #object-oriented #uml
- Transforming UML Static Models into Object-Oriented Code (LF, LM, CP), pp. 170–181.
- TOOLS-PACIFIC-1999-FavreC #algebra #specification #uml
- Integrating UML and Algebraic Specification Techniques (LF, SC), pp. 151–162.
- TOOLS-PACIFIC-1998-Favre #algebra #object-oriented #reuse #specification
- Object Oriented Reuse through Algebraic Specifications (LF), pp. 101–112.