Institut d'Informatique

Personalia

Patrick HEYMANS (Chercheur)

Conférences

• Communication : "Some thoughts about the animation of formal specifications written in the Albert language", présentation au Doctoral Consortium de RE'97 (IEEE International Symposium on Requirements Engineering), Annapolis, Maryland, USA, 6 janvier 1997.

• Communication : "Animation de spécifications Albert", présentation lors de la Journée des Doctorands, Institut d'Informatique, Namur, 3 mars 1997.

• Communication : "Introduction à Telos et ConceptBase", staff-séminaire donné à l'Institut d'Informatique, 24 mars 1997.

• Communication : "Cooperative animation of Albert II specifications", présentation lors d'une réunion générale du projet CREWS, Toulon, 24 juin 1997.

• Communication : "Cooperative animation of Albert II specifications", présentation lors de la review du projet CREWS, RWTH-Aachen, 2 septembre 1997.

• Communication : "Method chunks for writing and animating Albert specifications", présentation lors d'une réunion du Method Engineering Working Group du projet CREWS, Namur, 25 novembre 1997.

• Communication : "Cooperative animation of Albert II specifications", présentation lors d'une réunion générale du projet CREWS, Namur, 26 Novembre 1997.

Michaël PETIT (Chercheur)

Conférences

• Communication : "Introduction à Telos et ConceptBase", staff-séminaire donné à l'Institut d'Informatique, 24 mars 1997.
• Communication: "Defining an Ontology for the Formal Requirements Engineering of Manufacturing System", ICEIMT97 workshop 4, Brussels, preliminary version of the paper in Enterprise Engineering and Integration, Proc. of ICEIMT'97, International Conference on Enterprise Integration an Modeling Technology, Torino, K. Kosanke and J.G. Nell (Eds.), Springer, 1997.
• Communication: "Formal semantics of Enterprise models", report on the work of WG2 of ICEIMT97 workshop 4, ICEIMT97 conference, Torino, October 1997, in Enterprise Engineering and Integration, Proc. of ICEIMT'97, International Conference on Enterprise Integration an Modeling Technology, Torino, K. Kosanke and J.G. Nell (Eds.), Springer, 1997.

Jean-Marc ZEIPPEN (Chercheur)

Conférences

• Communication : On the Practical Analysis of Requirements Specifications, séminaire Aspire, Lisbonne (Portugal), 19-20 septembre 1997.

Publications

• Ph. Du Bois, The Albert II Reference Manual - Language Constructs and Informal Semantics', Technical Report RR-97-002, CTTC - Computer Science Department, University of Namur, Namur (Belgium), July 1997.

• E. Yu, Ph. Du Bois, E. Dubois and J. Mylopoulos, From Organization Models to System Requirements - A Cooperating Agents Approach, M. Papazoplou and G. Schlagater (eds.), Cooperative Information Systems: Trends and Directions, Academic Press, 1997. Une version préliminaire de cet article a été publiée en 1995 dans Proc. of the Third International Conference on Cooperative Information Systems (CoopIS'95), Vienna (Austria).

• Ph. Du Bois, E. Dubois and J.-M. Zeippen, On the Use of a Formal R.E. Language - The Generalized Railroad Crossing Problem', Requirements Engineering 2, 4:171-186, 1997. Une version préliminaire de cet article a également été publiée en 1997 dans Proc. of the Third International Symposium on Requirements Engineering (RE'97), Annapolis, Maryland (USA).

• Patrick Heymans, Some thoughts about the animation of formal specifications written in the Albert language, in Proc. of RE'97 Doctoral Consortium, IEEE International Symposium on Requirements Engineering, Annapolis, Maryland, USA, January 1997

• Patrick Heymans, The Albert II Specifications Animator. CREWS Report Series 97-13, August 1997.

• C. Rolland, C. Ben Achour, C. Cauvet, J. Ralyté, A. Sutcliffe, N.A.M. Maiden, M.Jarke, P. Haumer, K. Pohl, E. Dubois and P. Heymans. A proposal for a scenario classification framework. Requirements Engineering Journal, 1997. (CREWS report Series 96-01)

• Klaus Weidenhaupt, Klaus Pohl, Matthias Jarke, Peter Haumer and CREWS Team, Scenario Usage in System Development : A Report on Current Practice (CREWS 97-16) In Proc. of International Requirements Engineering Conference (ICRE’98), Colorado Springs, Colorado, USA, April 6-10, 1998.

• M. Petit and E. Dubois, Defining an Ontology for the Formal Requirements Engineering of Manufacturing System, ICEIMT97 workshop 4, Brussels, preliminary version of the paper in Enterprise Engineering and Integration, Proc. of ICEIMT'97, International Conference on Enterprise Integration an Modeling Technology, Torino, K. Kosanke and J.G. Nell (Eds.), Springer, 1997.

• M. Petit, J. Goossenaerts, M. Gruninger, J. G. Nell, F.B. Vernadat, Formal semantics of Enterprise models, report on the work of WG2 of ICEIMT97 workshop 4, ICEIMT97 conference, Torino, October 1997, in Enterprise Engineering and Integration, Proc. of ICEIMT'97, International Conference on Enterprise Integration an Modeling Technology, Torino, K. Kosanke and J.G. Nell (Eds.), Springer, 1997.