Travelled to:2 × USA
Collaborated with:S.Szulman J.Hagelstein M.Bidoit M.Gaudel C.Gresse G.D.Guiho
Talks about:specif (2) synchronis (1) construct (1) telephon (1) systemat (1) acquisit (1) program (1) analysi (1) algebra (1) requir (1)
Person: Brigitte Biebow
DBLP: Biebow:Brigitte
Contributed to:
1993
1984
1985Wrote 3 papers:
- SEKE-1993-BiebowS #analysis #requirements #validation
- Acquisition, Analysis and Validation of Informal Requirements (BB, SS), pp. 109–116.
- ICSE-1984-BidoitBGGG #exception #specification
- Exception Handling: Formal Specification and Systematic Program Construction (MB, BB, MCG, CG, GDG), pp. 18–29.
- CSE-1985-BiebowH #algebra #fault #specification
- Algebraic Specification of Synchronisation and Errors: A Telephonic Example (BB, JH), pp. 294–308.