2005 |
28 | EE | A. J. J. Dick,
M. Elizabeth C. Hull,
K. Jackson:
Specifying process and measuring progress in terms of information state.
Journal of Systems and Software 76(3): 311-322 (2005) |
2004 |
27 | EE | 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 |
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 | EE | 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 | EE | 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 | EE | Albert Alderson,
M. Elizabeth C. Hull,
K. Jackson,
L. E. Griffiths:
Method engineering for industrial real-time and embedded systems.
Information & Software Technology 40(8): 443-454 (1998) |
1996 |
21 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |