


default search action
Software 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.




Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID



















