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