Annya Romanczuk

According to our database, Annya Romanczuk authored at least 3 papers between 1998 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2000

Checking the Consistency of UML Class Diagrams Using Larch Prover.

Pascal André, Annya Romanczuk, Jean-Claude Royer

Proceedings of the Rigorous Object-Oriented Methods, 2000

An algebraic view of UML class diagrams.

Pascal André, Annya Romanczuk, Jean-Claude Royer, Aline Vasconcelos

Proceedings of the Actes des journées Langages et Modèles à Objets, 2000

1998

Towards a Systematic Object-Oriented transformation of a Mrise Analysis.

Isabelle Borne, Annya Romanczuk, Frédérique Stéfani

Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998