Travelled to:1 × Austria
1 × France
1 × Germany
2 × United Kingdom
Collaborated with:J.Derrick H.Bowman M.Steen
Talks about:refin (3) consist (2) specif (2) viewpoint (1) specifi (1) partial (1) context (1) concurr (1) promot (1) diverg (1)
Person: Eerke A. Boiten
DBLP: Boiten:Eerke_A=
Facilitated 1 volumes:
EdContributed to:
2009
1999199919971996Wrote 5 papers:
- IFM-2009-BoitenD #concurrent #modelling #refinement #relational
- Modelling Divergence in Relational Concurrent Refinement (EAB, JD), pp. 183–199.
- FM-v2-1999-DerrickB #refinement
- Non-atomic Refinement in Z (JD, EAB), pp. 1477–1496.
- IFM-1999-DerrickB #component #specification #using
- Specifying Component and Context Specification Using Promotion (JD, EAB), pp. 293–312.
- FME-1997-BoitenBDS #case study #consistency
- Viewpoint Consistency in Z and LOTOS: A Case Study (EAB, HB, JD, MS), pp. 644–664.
- FME-1996-BoitenDBS #consistency #refinement #specification
- Consistency and Refinement for Partial Specification in Z (EAB, JD, HB, MS), pp. 287–306.