Andrew Charles Coombes

Publication Activity (10 Years)

Years Active: 1990-1996
Publications (10 Years): 0

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Jonathan D. Moffett, Jon G. Hall, Andrew Charles Coombes, John Alexander McDermid
A Model for a Causal Logic for Requirements Engineering. Requir. Eng. 1 (1) (1996)
Andrew Charles Coombes, John Alexander McDermid, Jonathan D. Moffett, Philip Morris
Requirements Analysis and Safety: A Case Study (using GRASP). SAFECOMP (1995)
Andrew Charles Coombes, John Alexander McDermid
Specifying temporal requirements for distributed real-time systems in Z. Softw. Eng. J. 8 (5) (1993)
Andrew Charles Coombes, John Alexander McDermid
Using Diagrams to Give a Formal Specification of Timing Constraints in Z. Z User Workshop (1992)
Andrew Charles Coombes, John Alexander McDermid
A Tool for Defining the Architecture of Z Specifications. Z User Workshop (1990)