![[sigle]](http://www.fundp.ac.be/dessins/sigle.gif) |
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.
This page has been consulted
times