M. Elizabeth C. Hull

41 papers C 2Journal 31Unranked 3
YearRankTypeTitle / Venue / Authors
2017 — book
Requirements Engineering, 4th Edition
Jeremy Dick, M. Elizabeth C. Hull, Ken Jackson
2011 — book
Requirements Engineering, Third Edition.
M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick
2011 J jnl
Systems engineering and safety - a framework.
IET Softw.
Derrick D. Black, M. Elizabeth C. Hull, Ken Jackson
2010 J jnl
Combining a Safety Management Process with a Safety Framework.
Intell. Inf. Manag.
Derrick D. Black, M. Elizabeth C. Hull, Ken Jackson
2010 J jnl
Experience in Using a PFW System - A Case Study.
J. Softw. Eng. Appl.
Derrick D. Black, M. Elizabeth C. Hull, Ken Jackson
2005 — book
Requirements Engineering, Second Edition.
M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick
2005 J jnl
Specifying process and measuring progress in terms of information state.
J. Syst. Softw.
A. J. J. Dick, M. Elizabeth C. Hull, Ken Jackson
2004 J jnl
Modeling Complex Real-Time and Embedded Systems-The UML and DORIS Combination.
Real Time Syst.
M. Elizabeth C. Hull, S. Ewart, J. R. Paul Hanna
2002 J jnl
An XML approach for legacy code reuse.
J. Syst. Softw.
Yaxin Bi, M. Elizabeth C. Hull, Peter N. Nicholl
2002 — book
Requirements Engineering.
M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick
2002 J jnl
Software development processes - an assessment.
Inf. Softw. Technol.
M. Elizabeth C. Hull, Philip S. Taylor, J. R. Paul Hanna, Richard J. Millar
2000 J jnl
Towards a visual approach for component-based software development.
Softw. Concepts Tools
M. Elizabeth C. Hull, Peter N. Nicholl, Philip Houston, Niall Rooney
1998 J jnl
Method engineering for industrial real-time and embedded systems.
Inf. Softw. Technol.
Albert Alderson, M. Elizabeth C. Hull, Ken Jackson, L. E. Griffiths
1998 J jnl
The design and evaluation of a buffer algorithm for database machines.
Concurr. Pract. Exp.
F. F. Cai, M. Elizabeth C. Hull, David A. Bell
1996 J jnl
Using timed CSP during object oriented design of real-time systems.
Inf. Softw. Technol.
Peter G. O'Donoghue, M. Elizabeth C. Hull
1995 J jnl
Processing recursive queries on transputers.
Concurr. Pract. Exp.
J. Shao, David A. Bell, M. Elizabeth C. Hull
1994 C conf
A New Rule for Updating Evidence.
ISMIS
ShengLi Shi, M. Elizabeth C. Hull, David A. Bell
1994 C conf
Belief: updating vs. combining.
SEKE
ShengLi Shi, M. Elizabeth C. Hull, David A. Bell
1994 J jnl
Timed Petri net approach to performance modelling with the MOON method.
Softw. Eng. J.
M. Elizabeth C. Hull, Peter G. O'Donoghue
1993 J jnl
Addressing requirements when using the MOON design method.
Inf. Softw. Technol.
M. Elizabeth C. Hull, Peter G. O'Donoghue, Patrick Curran
1993 J jnl
Family Relationships between Requirements and Design Specification Methods.
Comput. J.
M. Elizabeth C. Hull, Peter G. O'Donoghue
1993 J jnl
The Millar Polyhedron and its use in the Construction of Octrees.
Comput. J.
Richard J. Millar, M. Elizabeth C. Hull, J. H. Frazer
1991 J jnl
A Pipelined Strategy for Processing Recursive Queries in Parallel.
Data Knowl. Eng.
David A. Bell, J. Shao, M. Elizabeth C. Hull
1991 — conf
Combining Rule Decomposition and Data Partitioning in Parallel Datalog Program Processing.
PDIS
J. Shao, David A. Bell, M. Elizabeth C. Hull
1991 J jnl
Development Methods for Real-Time Systems.
Comput. J.
M. Elizabeth C. Hull, Peter G. O'Donoghue, B. J. Hagan
1991 J jnl
MOON-modular object-oriented notation.
Softw. Eng. J.
M. Elizabeth C. Hull, Peter G. O'Donoghue, B. J. Hagan
1990 — conf
An Experimental Performance Study of a Pipelined Recursive Query Processing Strategy.
DPDS
J. Shao, David A. Bell, M. Elizabeth C. Hull
1990 J jnl
Integrated Deductive Database System Implementation: A Systematic Study.
Comput. J.
David A. Bell, J. Shao, M. Elizabeth C. Hull
1989 J jnl
Object-oriented design, Jackson system development (JSD) specifications and concurrency.
Softw. Eng. J.
M. Elizabeth C. Hull, Adib Zarea-Aliabadi, David A. Guthrie
1989 J jnl
Real-time system implementation - The transputer and occam alternative.
Microprocessing and Microprogramming
M. Elizabeth C. Hull, Adib Zarea-Aliabadi
1988 — conf
LQL: A Unified Language for Deductive Database Systems.
DS-3
J. Shao, David A. Bell, M. Elizabeth C. Hull
1987 J jnl
Interactive Computing Service Monitoring System.
Comput. Syst. Sci. Eng.
M. Elizabeth C. Hull, R. G. Roulston, T. R. S. Gregg
1987 J jnl
Occam - A Programming Language for Multiprocessor Systems.
Comput. Lang.
M. Elizabeth C. Hull
1986 J jnl
Contextually Communicating Sequential Processes: A Software Engineering Environment.
Softw. Pract. Exp.
M. Elizabeth C. Hull, G. Donnan
1986 J jnl
Implementations of the CSP Notation for Concurrent Systems.
Comput. J.
M. Elizabeth C. Hull
1986 J jnl
On Processes, Synchronization and Redundant Code in Communicating Sequential Processes.
Comput. Lang.
G. Donnan, M. Elizabeth C. Hull
1984 J jnl
A General Approach to Queuing in C. S. P.
Softw. Pract. Exp.
M. Elizabeth C. Hull, R. M. McKeag
1984 J jnl
A Parallel View of Stable Marriages.
Inf. Process. Lett.
M. Elizabeth C. Hull
1984 J jnl
Communicating Sequential Processes for Centralized and Distributed Operating System Design.
ACM Trans. Program. Lang. Syst.
M. Elizabeth C. Hull, R. M. McKeag
1984 J jnl
Concurrency in the Design of Data Processing Systems.
Comput. J.
M. Elizabeth C. Hull, R. M. McKeag
1980 — —
Parallelism in operating system design.
M. Elizabeth C. Hull