1. E. Astesiano, M. Cerioli, and G. Reggio. Plugging data constructs into paradigm-specific languages: Towards an application to UML. In T. Rus, editor, Proceedings Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 2000, volume 1816 of LNCS, pages 273–292. Springer, 2000.
2. N. Aoumeur. Specifying Distributed and Dynamically Evolving Information Systems Using an Extended Co-NETs Approach. In G. Saake, K. Schwarz, and C Tärker, editors, Transactions and Database Dynamics, volume 1773 of Lecture Notes in Computer Science, Berlin, pages 91–111. Springer-Verlag, 2000. Selected papers from the 8th International Workshop an Foundations of Models and Languages for Data and Objects, Sep. 1999, Germany.
3. N. Aoumeur and G. Saake. On the Specification and Validation of Cooperative Information Systems Using an Extended MAUDE. In K. Futatsugi, J. Goguen, and J. Meseguer, editors, Proc. of 1 st Int. OBJ/CafeOBJ/Maude Workshop, at FM’99 Conference, Toulouse, France, pages 197–211. The Theta Foundation Bucharest, Romania, 1999.
4. N. Aoumeur and G. Saake. Operational Interpretation of the Requirements Specification Language ALBERT Using Timed Rewriting Logic. In Proc. of 5th Int. Workshop an Requirements Engineering: Foundation for Software Quality (REFSQ’99), Heidelberg, Germany. Presses Universitaires de Namur, 1999.
5. N. Aoumeur and G. Saake. Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems. In M. Jarke and A. Oberweis, editors, Proc. of the llth Int. Conf. an Advanced Information Systems Engineering, CAiSE’99, volume 1626 of Lecture Notes in Computer Science, pages 381–395. Springer-Verlag, 1999.