default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Engineering Journal, Volume 10
Volume 10, Number 1, January 1995
- David J. Duke, Michael D. Harrison:
Event model of human-system interaction. 3-12 - David J. Duke, Michael D. Harrison:
Mapping user requirements to implementations. 13-20 - Walter Hussak:
Temporal analysis of a microkernel. 21-26
Volume 10, Number 2, March 1995
- Mike Moulding, Lindsey C. Smith:
Combining formal specification and CORE: an experimental investigation. 31-42 - J. J. Rowland, D. Rowland:
Professional competence in safety-related software engineering. 43-48 - C. W. Johnson:
Using Z to support the design of interactive safety-critical systems. 49-60 - Pim van den Broek, K. G. van den Berg:
Generalised approach to software structure metrics. 61-67 - Brian A. Wichmann, A. A. Canning, D. L. Clutterbuck, L. A. Winsborrow, N. J. Ward, D. William R. Marsh:
Industrial perspective on static analysis. 69-75
Volume 10, Number 3, May 1995
- C. W. Dawson, Ray J. Dawson:
Towards more flexible management of software systems development using meta-models. 79-88 - Taghi M. Khoshgoftaar, Robert M. Szabo, Peter J. Guasti:
Exploring the behaviour of neural network software quality models. 89-96 - Richard Lai:
Formal specification and verification of a procedural protocol: case study. 97-104 - Stephen Paynter:
Structuring the semantic definitions of graphical design notations. 105-115
Volume 10, Number 4, July 1995
- Sunil Vadera:
Review of heuristics for generalisation. 118-124 - Patrick van Bommel:
Database design by computer-aided schema transformations. 125-132 - Paul Mukherjee:
Computer-aided validation of formal specifications. 133-140 - Andrew Reeves, Mustafa Marashi, David Budgen
:
A software design framework or how to support real designers. 141-155
Volume 10, Number 5, September 1995
- Anthony Pengelly:
Performance of effort estimating techniques in current development environments. 162-170 - Anneliese von Mayrhauser, A. Marie Vans:
Industrial experience with an integrated code comprehension model. 171-182 - Douglas R. Skuce:
Knowledge management in software design: a tool and a trial. 183-193 - Hong Zhu:
Axiomatic assessment of control flow-based software test adequacy criteria. 194-204
Volume 10, Number 6, November 1995
- John H. R. May, Gordon Hughes, A. D. Lunn:
Reliability estimation from appropriate testing of plant protection software. 206-218 - Alexander B. Romanovsky, Lorenzo Strigini:
Backward error recovery via conversations in Ada. 219-232 - Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai, Duen-Tay Huang:
Integrated FDT-based protocol verification system. 233-244 - Gang Luo, Robert L. Probert, Hasan Ural:
Approach to constructing software unit testing tools. 245-252 - Derrik Morris, Peter Green, Richard Barker:
'Engineering' the software in systems. 253-265 - John Alexander McDermid:
Software Engineering: A Practitioner's Approach [Book Review]. 266
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.
last updated on 2025-11-13 00:07 CET 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:
