Jacques Hagelstein

According to our database, Jacques Hagelstein authored at least 16 papers between 1982 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

A Guided Tour through the ICARUS Project.

Eric Dubois, Jacques Hagelstein, Axel van Lamsweerde, Fernando Orejas, Jeanine Souquières, Pierre L. Wodon

ACM SIGSOFT Softw. Eng. Notes, 1995

1994

Reactive Variables for System Specification and Design.

E. Pascal Gribomont, Jacques Hagelstein

Proceedings of the STACS 94, 1994

A Front-End to HOOD - The Clyder Requirements Engineering Method.

Jacques Hagelstein, Dominique Roelants

Proceedings of the Ada in Europe, First International Eurospace, 1994

1993

Formal Requirements Made Practical.

Jacques Hagelstein, Dominique Roelants, Pierre L. Wodon

Proceedings of the Software Engineering, 1993

1992

GeSEM: A Model for Software Engineering Activities.

Jacques Hagelstein, G. Hulin

Proceedings of the Algorithms, Software, Architecture, 1992

Reconciling Operational and Declarative Specifications.

Jacques Hagelstein, Dominique Roelants

Proceedings of the Advanced Information Systems Engineering, 1992

1991

Information systems methodologies - a framework for understanding (2. ed.).

T. William Olle, Jacques Hagelstein, Ian G. MacDonald, Colette Rolland, Henk G. Sol

Addison-Wesley, ISBN: 978-0-201-54443-5, 1991

1989

From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study.

Anne Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein

Proceedings of the Algebraic Methods II: Theory, 1989

Introducing Formal Requirements into Industry.

Jacques Hagelstein, Frank Ponsaert

Proceedings of the Algebraic Methods II: Theory, 1989

1988

Declarative approach to information systems requirements.

Jacques Hagelstein

Knowl. Based Syst., 1988

A Semantic Analysis of the Collection Concept.

Jacques Hagelstein, André Rifaut

Proceedings of the Entity-Relationship Approach: A Bridge to the User, 1988

1986

A knowledge representation language for requirements engineering.

Eric Dubois, Jacques Hagelstein, Eugene Lahou, Frank Ponsaert, André Rifaut

Proc. IEEE, 1986

A Data Model for Requirements Analysis.

Eric Dubois, Jacques Hagelstein, Eugene Lahou, André Rifaut, Fiona Williams

Proceedings of the Second International Conference on Data Engineering, 1986

The ERAE Model: A Case Study.

Eric Dubois, Jacques Hagelstein, Eugene Lahou, Frank Ponsaert, André Rifaut, Fiona Williams

Proceedings of the Information Systems Design Methodologies: Improving the Practice, 1986

1985

Algebraic Specification of Synchronisation and Errors: A Telephonic Example.

Brigitte Biebow, Jacques Hagelstein

Proceedings of the Mathematical Foundations of Software Development, 1985

1982

Proving properties of shared data structures application to functional programming.

Jacques Hagelstein

Proceedings of the ACM 1982 Annual Conference, Dallas, TX, USA, October 25-27, 1982, 1982