 | 2011 |
| 34 |  | M. Elizabeth C. Hull,
Ken Jackson,
Jeremy Dick:
Requirements Engineering, Third Edition.
Springer 2011: I-XVIII, 1-207 |
| 33 |  | Derrick D. Black,
M. Elizabeth C. Hull,
Ken Jackson:
Systems engineering and safety - a framework.
IET Software 5(1): 43-53 (2011) |
| 2010 |
| 32 |  | 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) |
| 31 |  | Derrick D. Black,
M. Elizabeth C. Hull,
Ken Jackson:
Experience in Using a PFW System - A Case Study.
JSEA 3(5): 510-516 (2010) |
| 2005 |
| 30 |  | M. Elizabeth C. Hull,
Ken Jackson,
Jeremy Dick:
Requirements Engineering, Second Edition.
Springer 2005: I-XV, 1-198 |
| 29 |  | 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) |
| 2004 |
| 28 |  | 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) |
| 2002 |
| 27 |  | M. Elizabeth C. Hull,
Ken Jackson,
Jeremy Dick:
Requirements Engineering.
Springer 2002: I-XXIII, 1-213 |
| 26 |  | 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) |
| 25 |  | 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) |
| 2000 |
| 24 |  | 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) |
| 1998 |
| 23 |  | 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) |
| 22 |  | 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) |
| 1996 |
| 21 |  | 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) |
| 1995 |
| 20 |  | J. Shao,
David A. Bell,
M. Elizabeth C. Hull:
Processing recursive queries on transputers.
Concurrency - Practice and Experience 7(2): 81-120 (1995) |
| 1994 |
| 19 |  | ShengLi Shi,
M. Elizabeth C. Hull,
David A. Bell:
A New Rule for Updating Evidence.
ISMIS 1994: 95-104 |
| 18 |  | ShengLi Shi,
M. Elizabeth C. Hull,
David A. Bell:
Belief: updating vs. combining.
SEKE 1994: 344-351 |
| 1993 |
| 17 |  | M. Elizabeth C. Hull,
Peter G. O'Donoghue:
Family Relationships between Requirements and Design Specification Methods.
Comput. J. 36(2): 153-167 (1993) |
| 16 |  | 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) |
| 1991 |
| 15 |  | J. Shao,
David A. Bell,
M. Elizabeth C. Hull:
Combining Rule Decomposition and Data Partitioning in Parallel Datalog Program Processing.
PDIS 1991: 106-115 |
| 14 |  | M. Elizabeth C. Hull,
Peter G. O'Donoghue,
B. J. Hagan:
Development Methods for Real-Time Systems.
Comput. J. 34(2): 164-172 (1991) |
| 13 |  | 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) |
| 1990 |
| 12 |  | J. Shao,
David A. Bell,
M. Elizabeth C. Hull:
An Experimental Performance Study of a Pipelined Recursive Query Processing Strategy.
DPDS 1990: 30-43 |
| 11 |  | David A. Bell,
J. Shao,
M. Elizabeth C. Hull:
Integrated Deductive Database System Implementation: A Systematic Study.
Comput. J. 33(1): 40-48 (1990) |
| 1988 |
| 10 |  | J. Shao,
David A. Bell,
M. Elizabeth C. Hull:
LQL: A Unified Language for Deductive Database Systems.
DS-3 1988: 329-343 |
| 1987 |
| 9 |  | M. Elizabeth C. Hull:
Occam - A Programming Language for Multiprocessor Systems.
Comput. Lang. 12(1): 27-37 (1987) |
| 8 |  | 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) |
| 1986 |
| 7 |  | M. Elizabeth C. Hull:
Implementations of the CSP Notation for Concurrent Systems.
Comput. J. 29(6): 500-505 (1986) |
| 6 |  | G. Donnan,
M. Elizabeth C. Hull:
On Processes, Synchronization and Redundant Code in Communicating Sequential Processes.
Comput. Lang. 11(3/4): 155-160 (1986) |
| 5 |  | M. Elizabeth C. Hull,
G. Donnan:
Contextually Communicating Sequential Processes: A Software Engineering Environment.
Softw., Pract. Exper. 16(9): 845-864 (1986) |
| 1984 |
| 4 |  | 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) |
| 3 |  | M. Elizabeth C. Hull,
R. M. McKeag:
Concurrency in the Design of Data Processing Systems.
Comput. J. 27(4): 289-293 (1984) |
| 2 |  | M. Elizabeth C. Hull:
A Parallel View of Stable Marriages.
Inf. Process. Lett. 18(2): 63-66 (1984) |
| 1 |  | M. Elizabeth C. Hull,
R. M. McKeag:
A General Approach to Queuing in C. S. P.
Softw., Pract. Exper. 14(8): 769-773 (1984) |