Andrew Charles Coombes

According to our database, Andrew Charles Coombes authored at least 6 papers between 1990 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1996

A Model for a Causal Logic for Requirements Engineering.

Jonathan D. Moffett, Jon G. Hall, Andrew Charles Coombes, John A. McDermid

Requir. Eng., 1996

1995

Requirements Analysis and Safety: A Case Study (using GRASP).

Andrew Charles Coombes, John A. McDermid, Jonathan D. Moffett, Philip Morris

Proceedings of the 14th International Conference on Computer Safety, 1995

1994

A pragmatic approach to the formal development of safety-critical systems.

Andrew Charles Coombes

PhD thesis, 1994

1993

Specifying temporal requirements for distributed real-time systems in Z.

Andrew Charles Coombes, John A. McDermid

Softw. Eng. J., 1993

1992

Using Diagrams to Give a Formal Specification of Timing Constraints in Z.

Andrew Charles Coombes, John A. McDermid

Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

1990

A Tool for Defining the Architecture of Z Specifications.

Andrew Charles Coombes, John A. McDermid

Proceedings of the Z User Workshop, 1990