Jacques Hagelstein

Publication Activity (10 Years)

Years Active: 1982-1995
Publications (10 Years): 0

Publications

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