BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Boiten:Eerke_A=

Facilitated 1 volumes:

IFM 2004Ed

Contributed to:

IFM 20092009
World Congress on Formal Methods 19991999
IFM 19991999
FME 19971997
FME 19961996

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

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.