Jacques Hagelstein

16 papers A* 1A 3Misc 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
1995 J jnl
A Guided Tour through the ICARUS Project.
ACM SIGSOFT Softw. Eng. Notes
Eric Dubois, Jacques Hagelstein, Axel van Lamsweerde, Fernando Orejas, Jeanine Souquières, Pierre L. Wodon
1994 Misc conf
A Front-End to HOOD - The Clyder Requirements Engineering Method.
Ada-Europe
Jacques Hagelstein, Dominique Roelants
1994 A conf
Reactive Variables for System Specification and Design.
STACS
E. Pascal Gribomont, Jacques Hagelstein
1993 — conf
Formal Requirements Made Practical.
ESEC
Jacques Hagelstein, Dominique Roelants, Pierre L. Wodon
1992 — conf
GeSEM: A Model for Software Engineering Activities.
IFIP Congress (1)
Jacques Hagelstein, G. Hulin
1992 A conf
Reconciling Operational and Declarative Specifications.
CAiSE
Jacques Hagelstein, Dominique Roelants
1991 — book
Information systems methodologies - a framework for understanding (2. ed.).
T. William Olle, Jacques Hagelstein, Ian G. MacDonald, Colette Rolland, Henk G. Sol
1989 — conf
From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study.
Algebraic Methods
Anne Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein
1989 — conf
Introducing Formal Requirements into Industry.
Algebraic Methods
Jacques Hagelstein, Frank Ponsaert
1988 A conf
A Semantic Analysis of the Collection Concept.
ER
Jacques Hagelstein, André Rifaut
1988 J jnl
Declarative approach to information systems requirements.
Knowl. Based Syst.
Jacques Hagelstein
1986 A* conf
A Data Model for Requirements Analysis.
ICDE
Eric Dubois, Jacques Hagelstein, Eugene Lahou, André Rifaut, Fiona Williams
1986 J jnl
A knowledge representation language for requirements engineering.
Proc. IEEE
Eric Dubois, Jacques Hagelstein, Eugene Lahou, Frank Ponsaert, André Rifaut
1986 — conf
The ERAE Model: A Case Study.
Information Systems Design Methodologies: Improving the Practice
Eric Dubois, Jacques Hagelstein, Eugene Lahou, Frank Ponsaert, André Rifaut, Fiona Williams
1985 — conf
Algebraic Specification of Synchronisation and Errors: A Telephonic Example.
TAPSOFT, Vol.2
Brigitte Biebow, Jacques Hagelstein
1982 — conf
Proving properties of shared data structures application to functional programming.
ACM Annual Conference
Jacques Hagelstein