Software Engineering Journal

Title Publication Date Language Citations
Re-use of formatted requirements specifications1988/01/01English20
Structuring parallel and distributed programs1993/01/01English19
A quantitative approach to monitoring software development1989/01/01English18
Reliability estimation from appropriate testing of plant protection software1995/01/01English17
Analogy as a paradigm for specification reuse1991/01/01English17
Errors in algebraic specifications and an experimental mutation testing tool1993/01/01English17
Requirements engineering in 2001: (virtually) managing a changing reality1994/01/01English16
Comparing programming paradigms: an evaluation of functional and object-oriented programs1996/01/01English16
The process cycle1991/01/01English16
Industrial perspective on static analysis1995/01/01English15
Task structure semantics through process algebra1993/01/01English15
The design of real-time systems: from specification to implementation and verification1991/01/01English15
From objects to classes: algorithms for optimal object-oriented design1991/01/01English14
Industrial experience with an integrated code comprehension model1995/01/01English14
Durra: a structure description language for developing distributed applications1993/01/01English14
Software technology transfer1991/01/01English14
Software development: two approaches to animation of Z specifications using prolog1992/01/01English14
Critical review of quantitative assessment1994/01/01English14
A Bayesian modification to the Jelinski-Moranda software reliability growth model1987/01/01English13
Reconfiguration and module replacement in Argus: theory and practice1993/01/01English13
Editorial. The Viewpoints FAQ1996/01/01English13
Building distributed systems with remote procedure call1987/01/01English13
Executing formal specifications need not be harmful1996/01/01English12
Change-oriented version descriptions in EPOS1991/01/01English12
The choice of computer languages for use in safety-critical systems1991/01/01English12
Requirements acquisition1996/01/01English11
Problem decomposition for reuse1996/01/01English11
A decision-based configuration process environment1991/01/01English11
A model for IS quality1991/01/01English11
The verification of low-level code1988/01/01English10