| 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 |
John McDermidUniversity of YorkVerified email at york.ac.uk
