Alain Le Guennec

Publication Activity (10 Years)

Years Active: 1998-2002
Publications (10 Years): 0

Publications

Gerson Sunyé, Alain Le Guennec, Jean-Marc Jézéquel
Using UML Action Semantics for model execution and transformation. Inf. Syst. 27 (6) (2002)
Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec
System Test Synthesis from UML Models of Distributed Software. FORTE (2002)
Gerson Sunyé, François Pennaneac'h, Wai-Ming Ho, Alain Le Guennec, Jean-Marc Jézéquel
Using UML Action Semantics for Executable Modeling and Beyond. CAiSE (2001)
Alain Le Guennec, Gerson Sunyé, Jean-Marc Jézéquel
Precise Modeling of Design Patterns. UML (2000)
Gerson Sunyé, Alain Le Guennec, Jean-Marc Jézéquel
Design Patterns Application in UML. ECOOP (2000)
Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h
UMLAUT: An Extendible UML Transformation Framework. ASE (1999)
Roel J. Wieringa, Egidio Astesiano, Gianna Reggio, Alain Le Guennec, Heinrich Hußmann, Klaas van den Berg, Pim van den Broek
Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? ECOOP Workshops (1999)
Claude Jard, Jean-Marc Jézéquel, Alain Le Guennec, Benoît Caillaud
Protocol engineering using UML. Ann. des Télécommunications 54 (11-12) (1999)
Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h
Validating Distributed Software Modeled with the Unified Modeling Language. UML (1998)
Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec
Validation and Test Generation for Object-Oriented Distributed Software. PDSE (1998)