M. Elizabeth C. Hull

M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick (Eds.): Requirements Engineering, Third Edition. Springer 2011, isbn 978-1-8499-6404-3, pp. I-XVIII, 1-207

Derrick D. Black, M. Elizabeth C. Hull, Ken Jackson: Systems engineering and safety - a framework. IET Software 5(1): 43-53 (2011)

Derrick D. Black, M. Elizabeth C. Hull, Ken Jackson: Combining a Safety Management Process with a Safety Framework. Intelligent Information Management 2(4): 233-242 (2010)

Derrick D. Black, M. Elizabeth C. Hull, Ken Jackson: Experience in Using a PFW System - A Case Study. JSEA 3(5): 510-516 (2010)

M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick: Requirements Engineering, Second Edition. Springer 2005, isbn 978-1-85233-879-4, pp. I-XV, 1-198

A. J. J. Dick, M. Elizabeth C. Hull, Ken Jackson: Specifying process and measuring progress in terms of information state. Journal of Systems and Software 76(3): 311-322 (2005)

M. Elizabeth C. Hull, S. Ewart, J. R. Paul Hanna: Modeling Complex Real-Time and Embedded Systems-The UML and DORIS Combination. Real-Time Systems 26(2): 135-159 (2004)

M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick: Requirements Engineering. Practitioner series, Springer 2002, isbn 978-1-85233-577-9, pp. I-XXIII, 1-213

M. Elizabeth C. Hull, P. S. Taylor, J. R. Paul Hanna, Richard J. Millar: Software development processes - an assessment. Information & Software Technology 44(1): 1-12 (2002)

Yaxin Bi, M. Elizabeth C. Hull, Peter N. Nicholl: An XML approach for legacy code reuse. Journal of Systems and Software 61(2): 77-89 (2002)

M. Elizabeth C. Hull, Peter N. Nicholl, Philip Houston, Niall Rooney: Towards a visual approach for component-based software development. Software - Concepts and Tools 19(4): 154-160 (2000)

F. F. Cai, M. Elizabeth C. Hull, David A. Bell: The design and evaluation of a buffer algorithm for database machines. Concurrency - Practice and Experience 10(15): 1291-1316 (1998)

Albert Alderson, M. Elizabeth C. Hull, Ken Jackson, L. E. Griffiths: Method engineering for industrial real-time and embedded systems. Information & Software Technology 40(8): 443-454 (1998)

Peter G. O'Donoghue, M. Elizabeth C. Hull: Using timed CSP during object oriented design of real-time systems. Information & Software Technology 38(2): 89-102 (1996)

J. Shao, David A. Bell, M. Elizabeth C. Hull: Processing recursive queries on transputers. Concurrency - Practice and Experience 7(2): 81-120 (1995)

ShengLi Shi, M. Elizabeth C. Hull, David A. Bell: A New Rule for Updating Evidence. ISMIS 1994: 95-104

ShengLi Shi, M. Elizabeth C. Hull, David A. Bell: Belief: updating vs. combining. SEKE 1994: 344-351

M. Elizabeth C. Hull, Peter G. O'Donoghue: Family Relationships between Requirements and Design Specification Methods. Comput. J. 36(2): 153-167 (1993)

Richard J. Millar, M. Elizabeth C. Hull, J. H. Frazer: The Millar Polyhedron and its use in the Construction of Octrees. Comput. J. 36(2): 186-194 (1993)

M. Elizabeth C. Hull, Peter G. O'Donoghue, B. J. Hagan: Development Methods for Real-Time Systems. Comput. J. 34(2): 164-172 (1991)

David A. Bell, J. Shao, M. Elizabeth C. Hull: A Pipelined Strategy for Processing Recursive Queries in Parallel. Data Knowl. Eng. 6: 367-391 (1991)

J. Shao, David A. Bell, M. Elizabeth C. Hull: Combining Rule Decomposition and Data Partitioning in Parallel Datalog Program Processing. PDIS 1991: 106-115

David A. Bell, J. Shao, M. Elizabeth C. Hull: Integrated Deductive Database System Implementation: A Systematic Study. Comput. J. 33(1): 40-48 (1990)

J. Shao, David A. Bell, M. Elizabeth C. Hull: An Experimental Performance Study of a Pipelined Recursive Query Processing Strategy. DPDS 1990: 30-43

J. Shao, David A. Bell, M. Elizabeth C. Hull: LQL: A Unified Language for Deductive Database Systems. DS-3 1988: 329-343

M. Elizabeth C. Hull: Occam - A Programming Language for Multiprocessor Systems. Comput. Lang. 12(1): 27-37 (1987)

M. Elizabeth C. Hull, R. G. Roulston, T. R. S. Gregg: Interactive Computing Service Monitoring System. Comput. Syst. Sci. Eng. 2(4): 179-185 (1987)

M. Elizabeth C. Hull: Implementations of the CSP Notation for Concurrent Systems. Comput. J. 29(6): 500-505 (1986)

G. Donnan, M. Elizabeth C. Hull: On Processes, Synchronization and Redundant Code in Communicating Sequential Processes. Comput. Lang. 11(3/4): 155-160 (1986)

M. Elizabeth C. Hull, G. Donnan: Contextually Communicating Sequential Processes: A Software Engineering Environment. Softw., Pract. Exper. 16(9): 845-864 (1986)

M. Elizabeth C. Hull, R. M. McKeag: Concurrency in the Design of Data Processing Systems. Comput. J. 27(4): 289-293 (1984)

M. Elizabeth C. Hull: A Parallel View of Stable Marriages. Inf. Process. Lett. 18(2): 63-66 (1984)

M. Elizabeth C. Hull, R. M. McKeag: A General Approach to Queuing in C. S. P. Softw., Pract. Exper. 14(8): 769-773 (1984)

M. Elizabeth C. Hull, R. M. McKeag: Communicating Sequential Processes for Centralized and Distributed Operating System Design. ACM Trans. Program. Lang. Syst. 6(2): 175-191 (1984)