A model for a causal logic for requirements engineering J Moffett, J Hall, A Coombes, J McDermid Requirements Engineering 1, 27-46, 1996 | 67 | 1996 |
Specifying temporal requirements for distributed real-time systems in Z A Coombes, J McDermid Software Engineering Journal 8 (5), 273-283, 1993 | 33 | 1993 |
Formal specification of an aerospace system: The attitude monitor A Coombes, L Barroca, JS Fitzgerald, JA McDermid, L Spencer, A Saeed Applications of Formal Methods, 1995 | 12 | 1995 |
A tool for defining the architecture of Z specifications A Coombes, J McDermid Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting …, 1991 | 9 | 1991 |
Using diagrams to give a formal specification of timing constraints in Z AC Coombes, JA McDermid Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User …, 1993 | 7 | 1993 |
The analysis of safety arguments in the specification of a motor speed control loop SJ Clarke, A Coombes, JA McDermid | 7 | 1990 |
Requirements analysis and safety: a case study (using GRASP) A Coombes, J McDermid, J Moffett, P Morris Safe Comp 95: The 14th International Conference on Computer Safety …, 1995 | 6 | 1995 |
Causality as a means for the expression of requirements for safety critical systems A Coombes, J McDermid, P Morris Proceedings of COMPASS'94-1994 IEEE 9th Annual Conference on Computer …, 1994 | 6 | 1994 |
Requirements and Traceability P Morris, A Coombes, J McDermid Proceeding 4th of the International Workshop on Requirements Engineering …, 1994 | 4 | 1994 |
A pragmatic approach to the formal development of safety-critical systems. AC Coombes | 1 | 1997 |
Requirements and Traceability AC Coombes, JA McDermid, P Morris | 1 | 1994 |
Evaluating Design Concepts through a Qualitative Physics Model A Coombes, JA McDermid, JD Moffett, A Poucet, M Modarres | 1 | 1993 |
Best Practices for Armv8-R Cortex-R52+ Software Consolidation P Austin, A Coombes, P Hughes, J Scobie, B Rill arm.com, 2022 | | 2022 |
Qualification of automatic code generation using formal techniques A Coombes, J Armstrong IEE Colloquium on Practical Application of Formal Methods, 7/1-7/2, 1995 | | 1995 |
TARDIS/Z: A Technique for Formal Specification of High Integrity and Real Time Systems AC Coombes, A Burns, JA McDermid, BA Wichmann | | 1991 |