M. Elizabeth C. Hull

According to our database, M. Elizabeth C. Hull authored at least 40 papers between 1980 and 2017.

Collaborative distances:

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

2017

Requirements Engineering, 4th Edition

Jeremy Dick, M. Elizabeth C. Hull, Ken Jackson

Springer, ISBN: 978-3-319-61072-6, 2017

2011

Systems engineering and safety - a framework.

Derrick D. Black, M. Elizabeth C. Hull, Ken Jackson

IET Softw., 2011

2010

Experience in Using a PFW System - A Case Study.

Derrick D. Black, M. Elizabeth C. Hull, Ken Jackson

J. Softw. Eng. Appl., 2010

Combining a Safety Management Process with a Safety Framework.

Derrick D. Black, M. Elizabeth C. Hull, Ken Jackson

Intell. Inf. Manag., 2010

2005

Specifying process and measuring progress in terms of information state.

A. J. J. Dick, M. Elizabeth C. Hull, Ken Jackson

J. Syst. Softw., 2005

Requirements Engineering, Second Edition.

M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick

Springer, ISBN: 978-1-85233-879-4, 2005

2004

Modeling Complex Real-Time and Embedded Systems-The UML and DORIS Combination.

M. Elizabeth C. Hull, S. Ewart, J. R. Paul Hanna

Real Time Syst., 2004

2002

An XML approach for legacy code reuse.

Yaxin Bi, M. Elizabeth C. Hull, Peter N. Nicholl

J. Syst. Softw., 2002

Software development processes - an assessment.

M. Elizabeth C. Hull, Philip S. Taylor, J. R. Paul Hanna, Richard J. Millar

Inf. Softw. Technol., 2002

Requirements Engineering.

M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick

Practitioner series, Springer, ISBN: 978-1-85233-577-9, 2002

2000

Towards a visual approach for component-based software development.

M. Elizabeth C. Hull, Peter N. Nicholl, Philip Houston, Niall Rooney

Softw. Concepts Tools, 2000

1998

Method engineering for industrial real-time and embedded systems.

Albert Alderson, M. Elizabeth C. Hull, Ken Jackson, L. E. Griffiths

Inf. Softw. Technol., 1998

The design and evaluation of a buffer algorithm for database machines.

F. F. Cai, M. Elizabeth C. Hull, David A. Bell

Concurr. Pract. Exp., 1998

1996

Using timed CSP during object oriented design of real-time systems.

Peter G. O'Donoghue, M. Elizabeth C. Hull

Inf. Softw. Technol., 1996

1995

Processing recursive queries on transputers.

J. Shao, David A. Bell, M. Elizabeth C. Hull

Concurr. Pract. Exp., 1995

1994

Timed Petri net approach to performance modelling with the MOON method.

M. Elizabeth C. Hull, Peter G. O'Donoghue

Softw. Eng. J., 1994

Belief: updating vs. combining.

ShengLi Shi, M. Elizabeth C. Hull, David A. Bell

Proceedings of the SEKE'94, 1994

A New Rule for Updating Evidence.

ShengLi Shi, M. Elizabeth C. Hull, David A. Bell

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

1993

Addressing requirements when using the MOON design method.

M. Elizabeth C. Hull, Peter G. O'Donoghue, Patrick Curran

Inf. Softw. Technol., 1993

The Millar Polyhedron and its use in the Construction of Octrees.

Richard J. Millar, M. Elizabeth C. Hull, J. H. Frazer

Comput. J., 1993

Family Relationships between Requirements and Design Specification Methods.

M. Elizabeth C. Hull, Peter G. O'Donoghue

Comput. J., 1993

1991

MOON-modular object-oriented notation.

M. Elizabeth C. Hull, Peter G. O'Donoghue, B. J. Hagan

Softw. Eng. J., 1991

A Pipelined Strategy for Processing Recursive Queries in Parallel.

David A. Bell, J. Shao, M. Elizabeth C. Hull

Data Knowl. Eng., 1991

Development Methods for Real-Time Systems.

M. Elizabeth C. Hull, Peter G. O'Donoghue, B. J. Hagan

Comput. J., 1991

Combining Rule Decomposition and Data Partitioning in Parallel Datalog Program Processing.

J. Shao, David A. Bell, M. Elizabeth C. Hull

Proceedings of the First International Conference on Parallel and Distributed Information Systems (PDIS 1991), 1991

1990

Integrated Deductive Database System Implementation: A Systematic Study.

David A. Bell, J. Shao, M. Elizabeth C. Hull

Comput. J., 1990

An Experimental Performance Study of a Pipelined Recursive Query Processing Strategy.

J. Shao, David A. Bell, M. Elizabeth C. Hull

Proceedings of the Second International Symposium on Databases in Parallel and Distributed Systems, 1990

1989

Real-time system implementation - The transputer and occam alternative.

M. Elizabeth C. Hull, Adib Zarea-Aliabadi

Microprocessing and Microprogramming, 1989

Object-oriented design, Jackson system development (JSD) specifications and concurrency.

M. Elizabeth C. Hull, Adib Zarea-Aliabadi, David A. Guthrie

Softw. Eng. J., 1989

1988

LQL: A Unified Language for Deductive Database Systems.

J. Shao, David A. Bell, M. Elizabeth C. Hull

Proceedings of the IFIP TC2/TC8/WG 2.6/WG 8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems, 1988

1987

Interactive Computing Service Monitoring System.

M. Elizabeth C. Hull, R. G. Roulston, T. R. S. Gregg

Comput. Syst. Sci. Eng., 1987

Occam - A Programming Language for Multiprocessor Systems.

M. Elizabeth C. Hull

Comput. Lang., 1987

1986

Contextually Communicating Sequential Processes: A Software Engineering Environment.

M. Elizabeth C. Hull, G. Donnan

Softw. Pract. Exp., 1986

On Processes, Synchronization and Redundant Code in Communicating Sequential Processes.

G. Donnan, M. Elizabeth C. Hull

Comput. Lang., 1986

Implementations of the CSP Notation for Concurrent Systems.

M. Elizabeth C. Hull

Comput. J., 1986

1984

Communicating Sequential Processes for Centralized and Distributed Operating System Design.

M. Elizabeth C. Hull, R. M. McKeag

ACM Trans. Program. Lang. Syst., 1984

A General Approach to Queuing in C. S. P.

M. Elizabeth C. Hull, R. M. McKeag

Softw. Pract. Exp., 1984

A Parallel View of Stable Marriages.

M. Elizabeth C. Hull

Inf. Process. Lett., 1984

Concurrency in the Design of Data Processing Systems.

M. Elizabeth C. Hull, R. M. McKeag

Comput. J., 1984

1980

Parallelism in operating system design.

M. Elizabeth C. Hull

PhD thesis, 1980