Travelled to:1 × Denmark
1 × Germany
1 × United Kingdom
Collaborated with:D.Roelants B.Biebow P.Wodon
Talks about:specif (2) requir (2) synchronis (1) telephon (1) reconcil (1) practic (1) algebra (1) method (1) formal (1) exampl (1)
Person: Jacques Hagelstein
DBLP: Hagelstein:Jacques
Contributed to:
1994
1993
1992
1985Wrote 4 papers:
- AdaEurope-1994-HagelsteinB #requirements
- A Front-End to HOOD — The Clyder Requirements Engineering Method (JH, DR), pp. 60–62.
- ESEC-1993-HagelsteinRW #requirements
- Formal Requirements Made Practical (JH, DR, PW), pp. 127–144.
- CAiSE-1992-HagelsteinR #declarative #specification
- Reconciling Operational and Declarative Specifications (JH, DR), pp. 221–238.
- CSE-1985-BiebowH #algebra #fault #specification
- Algebraic Specification of Synchronisation and Errors: A Telephonic Example (BB, JH), pp. 294–308.