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 × Austria
1 × Germany
1 × United Kingdom
Collaborated with:
J.Derrick E.A.Boiten M.Steen J.Bryans L.Blair
Talks about:
consist (2) specif (2) viewpoint (1) distribut (1) automata (1) partial (1) analysi (1) system (1) design (1) studi (1)

Person: Howard Bowman

DBLP DBLP: Bowman:Howard

Contributed to:

IFM 20002000
FME 19971997
FME 19961996
SAC 19951995

Wrote 4 papers:

IFM-2000-BryansBBD #analysis #design #specification
Specification and Analysis of Automata-Based Designs (JB, LB, HB, JD), pp. 176–193.
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.
SAC-1995-BowmanD #distributed #modelling #using
Modelling distributed systems using Z (HB, JD), pp. 147–151.

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.