Annya Romanczuk

Publication Activity (10 Years)

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

Publications

Pascal André, Annya Romanczuk, Jean-Claude Royer
Checking the Consistency of UML Class Diagrams Using Larch Prover. Rigorous Object-Oriented Methods (2000)
Pascal André, Annya Romanczuk, Jean-Claude Royer, Aline Vasconcelos
An algebraic view of UML class diagrams. LMO (2000)
Isabelle Borne, Annya Romanczuk, Frédérique Stéfani
Towards a Systematic Object-Oriented transformation of a Mrise Analysis. CSMR (1998)