M. Elizabeth C. Hull

Publication Activity (10 Years)

Years Active: 1984-2011
Publications (10 Years): 0

Queen's University Belfast, UK (PHD)

Education History

Queen's University Belfast, UK

PHD

Publications

Derrick D. Black, M. Elizabeth C. Hull, Ken Jackson
Systems engineering and safety - a framework. IET Softw. 5 (1) (2011)
Derrick D. Black, M. Elizabeth C. Hull, Ken Jackson
Combining a Safety Management Process with a Safety Framework. Intell. Inf. Manag. 2 (4) (2010)
Derrick D. Black, M. Elizabeth C. Hull, Ken Jackson
Experience in Using a PFW System - A Case Study. J. Softw. Eng. Appl. 3 (5) (2010)
A. J. J. Dick, M. Elizabeth C. Hull, Ken Jackson
Specifying process and measuring progress in terms of information state. J. Syst. Softw. 76 (3) (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 Syst. 26 (2) (2004)
M. Elizabeth C. Hull, P. S. Taylor, J. R. Paul Hanna, Richard J. Millar
Software development processes - an assessment. Inf. Softw. Technol. 44 (1) (2002)
Yaxin Bi, M. Elizabeth C. Hull, Peter N. Nicholl
An XML approach for legacy code reuse. J. Syst. Softw. 61 (2) (2002)
M. Elizabeth C. Hull, Peter N. Nicholl, Philip Houston, Niall Rooney
Towards a visual approach for component-based software development. Softw. Concepts Tools 19 (4) (2000)
Albert Alderson, M. Elizabeth C. Hull, Ken Jackson, L. E. Griffiths
Method engineering for industrial real-time and embedded systems. Inf. Softw. Technol. 40 (8) (1998)
F. F. Cai, M. Elizabeth C. Hull, David A. Bell
The design and evaluation of a buffer algorithm for database machines. Concurr. Pract. Exp. 10 (15) (1998)
Peter G. O'Donoghue, M. Elizabeth C. Hull
Using timed CSP during object oriented design of real-time systems. Inf. Softw. Technol. 38 (2) (1996)
J. Shao, David A. Bell, M. Elizabeth C. Hull
Processing recursive queries on transputers. Concurr. Pract. Exp. 7 (2) (1995)
ShengLi Shi, M. Elizabeth C. Hull, David A. Bell
A New Rule for Updating Evidence. ISMIS (1994)
M. Elizabeth C. Hull, Peter G. O'Donoghue
Timed Petri net approach to performance modelling with the MOON method. Softw. Eng. J. 9 (3) (1994)
ShengLi Shi, M. Elizabeth C. Hull, David A. Bell
Belief: updating vs. combining. SEKE (1994)
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) (1993)
M. Elizabeth C. Hull, Peter G. O'Donoghue, Patrick Curran
Addressing requirements when using the MOON design method. Inf. Softw. Technol. 35 (9) (1993)
M. Elizabeth C. Hull, Peter G. O'Donoghue
Family Relationships between Requirements and Design Specification Methods. Comput. J. 36 (2) (1993)
M. Elizabeth C. Hull, Peter G. O'Donoghue, B. J. Hagan
MOON-modular object-oriented notation. Softw. Eng. J. 6 (1) (1991)
David A. Bell, J. Shao, M. Elizabeth C. Hull
A Pipelined Strategy for Processing Recursive Queries in Parallel. Data Knowl. Eng. 6 (1991)
J. Shao, David A. Bell, M. Elizabeth C. Hull
Combining Rule Decomposition and Data Partitioning in Parallel Datalog Program Processing. PDIS (1991)
M. Elizabeth C. Hull, Peter G. O'Donoghue, B. J. Hagan
Development Methods for Real-Time Systems. Comput. J. 34 (2) (1991)
J. Shao, David A. Bell, M. Elizabeth C. Hull
An Experimental Performance Study of a Pipelined Recursive Query Processing Strategy. DPDS (1990)
David A. Bell, J. Shao, M. Elizabeth C. Hull
Integrated Deductive Database System Implementation: A Systematic Study. Comput. J. 33 (1) (1990)
M. Elizabeth C. Hull, Adib Zarea-Aliabadi, David A. Guthrie
Object-oriented design, Jackson system development (JSD) specifications and concurrency. Softw. Eng. J. 4 (2) (1989)
M. Elizabeth C. Hull, Adib Zarea-Aliabadi
Real-time system implementation - The transputer and occam alternative. Microprocessing and Microprogramming 26 (2) (1989)
J. Shao, David A. Bell, M. Elizabeth C. Hull
LQL: A Unified Language for Deductive Database Systems. DS-3 (1988)
M. Elizabeth C. Hull
Occam - A Programming Language for Multiprocessor Systems. Comput. Lang. 12 (1) (1987)
M. Elizabeth C. Hull, R. G. Roulston, T. R. S. Gregg
Interactive Computing Service Monitoring System. Comput. Syst. Sci. Eng. 2 (4) (1987)
M. Elizabeth C. Hull, G. Donnan
Contextually Communicating Sequential Processes: A Software Engineering Environment. Softw. Pract. Exp. 16 (9) (1986)
M. Elizabeth C. Hull
Implementations of the CSP Notation for Concurrent Systems. Comput. J. 29 (6) (1986)
G. Donnan, M. Elizabeth C. Hull
On Processes, Synchronization and Redundant Code in Communicating Sequential Processes. Comput. Lang. 11 (3/4) (1986)
M. Elizabeth C. Hull, R. M. McKeag
A General Approach to Queuing in C. S. P. Softw. Pract. Exp. 14 (8) (1984)
M. Elizabeth C. Hull, R. M. McKeag
Concurrency in the Design of Data Processing Systems. Comput. J. 27 (4) (1984)
M. Elizabeth C. Hull
A Parallel View of Stable Marriages. Inf. Process. Lett. 18 (2) (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) (1984)

M. Elizabeth C. Hull.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

M. Elizabeth C. Hull