default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDM. Elizabeth C. Hull
Person information
- affiliation: Ulster University, Coleraine, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2017
[b4]Jeremy Dick, M. Elizabeth C. Hull, Ken Jackson:
Requirements Engineering, 4th Edition. Springer 2017, ISBN 978-3-319-61072-6, pp. 1-239- 2005
- [b3]M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick:
Requirements Engineering, Second Edition. Springer 2005, ISBN 978-1-85233-879-4, pp. I-XV, 1-198 - 2002
- [b2]M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick:
Requirements Engineering. Practitioner series, Springer 2002, ISBN 978-1-85233-577-9, pp. I-XXIII, 1-213 - 1980
- [b1]M. Elizabeth C. Hull:
Parallelism in operating system design. Queen's University Belfast, UK, 1980
Journal Articles
- 2011
- [j31]Derrick D. Black, M. Elizabeth C. Hull, Ken Jackson:
Systems engineering and safety - a framework. IET Softw. 5(1): 43-53 (2011) - 2010
- [j30]Derrick D. Black, M. Elizabeth C. Hull, Ken Jackson:
Combining a Safety Management Process with a Safety Framework. Intell. Inf. Manag. 2(4): 233-242 (2010) - [j29]Derrick D. Black, M. Elizabeth C. Hull, Ken Jackson:
Experience in Using a PFW System - A Case Study. J. Softw. Eng. Appl. 3(5): 510-516 (2010) - 2005
- [j28]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): 311-322 (2005) - 2004
- [j27]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): 135-159 (2004) - 2002
- [j26]M. Elizabeth C. Hull, Philip S. Taylor, J. R. Paul Hanna, Richard J. Millar:
Software development processes - an assessment. Inf. Softw. Technol. 44(1): 1-12 (2002) - [j25]Yaxin Bi, M. Elizabeth C. Hull, Peter N. Nicholl:
An XML approach for legacy code reuse. J. Syst. Softw. 61(2): 77-89 (2002) - 2000
- [j24]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): 154-160 (2000) - 1998
- [j23]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): 1291-1316 (1998) - [j22]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): 443-454 (1998) - 1996
- [j21]Peter G. O'Donoghue, M. Elizabeth C. Hull:
Using timed CSP during object oriented design of real-time systems. Inf. Softw. Technol. 38(2): 89-102 (1996) - 1995
- [j20]J. Shao, David A. Bell, M. Elizabeth C. Hull:
Processing recursive queries on transputers. Concurr. Pract. Exp. 7(2): 81-120 (1995) - 1994
- [j19]M. Elizabeth C. Hull, Peter G. O'Donoghue:
Timed Petri net approach to performance modelling with the MOON method. Softw. Eng. J. 9(3): 95-106 (1994) - 1993
- [j18]M. Elizabeth C. Hull, Peter G. O'Donoghue:
Family Relationships between Requirements and Design Specification Methods. Comput. J. 36(2): 153-167 (1993) - [j17]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) - [j16]M. Elizabeth C. Hull, Peter G. O'Donoghue, Patrick Curran:
Addressing requirements when using the MOON design method. Inf. Softw. Technol. 35(9): 513-518 (1993) - 1991
- [j15]M. Elizabeth C. Hull, Peter G. O'Donoghue, B. J. Hagan:
Development Methods for Real-Time Systems. Comput. J. 34(2): 164-172 (1991) - [j14]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) - [j13]M. Elizabeth C. Hull, Peter G. O'Donoghue, B. J. Hagan:
MOON-modular object-oriented notation. Softw. Eng. J. 6(1): 25-33 (1991) - 1990
- [j12]David A. Bell, J. Shao, M. Elizabeth C. Hull:
Integrated Deductive Database System Implementation: A Systematic Study. Comput. J. 33(1): 40-48 (1990) - 1989
- [j11]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): 79-86 (1989) - [j10]M. Elizabeth C. Hull, Adib Zarea-Aliabadi:
Real-time system implementation - The transputer and occam alternative. Microprocessing and Microprogramming 26(2): 77-84 (1989) - 1987
- [j9]M. Elizabeth C. Hull:
Occam - A Programming Language for Multiprocessor Systems. Comput. Lang. 12(1): 27-37 (1987) - [j8]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
- [j7]M. Elizabeth C. Hull:
Implementations of the CSP Notation for Concurrent Systems. Comput. J. 29(6): 500-505 (1986) - [j6]G. Donnan, M. Elizabeth C. Hull:
On Processes, Synchronization and Redundant Code in Communicating Sequential Processes. Comput. Lang. 11(3/4): 155-160 (1986) - [j5]M. Elizabeth C. Hull, G. Donnan:
Contextually Communicating Sequential Processes: A Software Engineering Environment. Softw. Pract. Exp. 16(9): 845-864 (1986) - 1984
- [j4]M. Elizabeth C. Hull, R. M. McKeag:
Concurrency in the Design of Data Processing Systems. Comput. J. 27(4): 289-293 (1984) - [j3]M. Elizabeth C. Hull:
A Parallel View of Stable Marriages. Inf. Process. Lett. 18(2): 63-66 (1984) - [j2]M. Elizabeth C. Hull, R. M. McKeag:
A General Approach to Queuing in C. S. P. Softw. Pract. Exp. 14(8): 769-773 (1984) - [j1]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)
Conference and Workshop Papers
- 1994
- [c5]ShengLi Shi, M. Elizabeth C. Hull, David A. Bell:
A New Rule for Updating Evidence. ISMIS 1994: 95-104 - [c4]ShengLi Shi, M. Elizabeth C. Hull, David A. Bell:
Belief: updating vs. combining. SEKE 1994: 344-351 - 1991
- [c3]J. Shao, David A. Bell, M. Elizabeth C. Hull:
Combining Rule Decomposition and Data Partitioning in Parallel Datalog Program Processing. PDIS 1991: 106-115 - 1990
- [c2]J. Shao, David A. Bell, M. Elizabeth C. Hull:
An Experimental Performance Study of a Pipelined Recursive Query Processing Strategy. DPDS 1990: 30-43 - 1988
- [c1]J. Shao, David A. Bell, M. Elizabeth C. Hull:
LQL: A Unified Language for Deductive Database Systems. DS-3 1988: 329-343
Editorship
- 2011
- [e1]M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick:
Requirements Engineering, Third Edition. Springer 2011, ISBN 978-1-8499-6404-3, pp. I-XVIII, 1-207
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
