| |
| 2000 | ||
|---|---|---|
| 3 | Pascal André, Annya Romanczuk, Jean-Claude Royer, Aline Vasconcelos: An algebraic view of UML class diagrams. LMO 2000: 261-276 | |
| 2 | EE | Pascal André, Annya Romanczuk, Jean-Claude Royer: Checking the Consistency of UML Class Diagrams Using Larch Prover. Rigorous Object-Oriented Methods 2000 |
| 1998 | ||
| 1 | EE | Isabelle Borne, Annya Romanczuk, Frédérique Stéfani: Towards a Systematic Object-Oriented transformation of a Mrise Analysis. CSMR 1998: 213-215 |
| 1 | Pascal André | [2] [3] |
| 2 | Isabelle Borne | [1] |
| 3 | Jean-Claude Royer | [2] [3] |
| 4 | Frédérique Stéfani | [1] |
| 5 | Aline Vasconcelos | [3] |