BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hagelstein:Jacques

Contributed to:

Ada-Europe 19941994
ESEC 19931993
CAiSE 19921992
TAPSOFT, Vol.2: CSE 19851985

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.