Source

Software Engineering Journal

Homepage: digital-library.theiet.org

ISSNs: 0268-6961, 2053-910X

Source type: journal

Publisher:

Fully OA: No

DOAJ: No

OpenAlex ID: S168124881

Applying new scheduling theory to static priority pre-emptive scheduling

1993 · N. Audsley, A. Burns, et al. · Software Engineering Journal · 1,108

Applicability of modified condition/decision coverage to software testing

1994 · John Joseph Chilenski, Steven P. Miller · Software Engineering Journal · 506

Automatic structural testing using genetic algorithms

1996 · B.F. Jones, H.-H. Sthamer, et al. · Software Engineering Journal · 336

Software testing based on formal specifications: a theory and a tool

1991 · Gilles Bernot, Marie Claude Gaudel, et al. · Software Engineering Journal · 323

ACRE: selecting methods for requirements acquisition

1996 · N.A.M. Maiden, G. Rugg · Software Engineering Journal · 310

Safety-critical systems, formal methods and standards

1993 · Jonathan Bowen, Victoria Stavridou · Software Engineering Journal · 303

Requirements engineering with viewpoints

1996 · Gerald Kotonya, Ian Sommerville · Software Engineering Journal · 299

Testing Computer Software

1994 · Bruce Elliott · Software Engineering Journal · 286

Scheduling hard real-time systems: a review

1991 · A. Burns · Software Engineering Journal · 247

A critique of cyclomatic complexity as a software metric

1988 · Martin Shepperd · Software Engineering Journal · 240

Support for comprehensive reuse

1991 · V.R. Basili, H.D. Rombach · Software Engineering Journal · 217

Using ViewPoints for inconsistency management

1996 · Steve Easterbrook, Bashar Nuseibeh · Software Engineering Journal · 205

Specifications are not (necessarily) executable

1989 · I.J. Hayes, C.B. Jones · Software Engineering Journal · 198

A software reliability growth model for an error-removal phenomenon

1992 · P.K. Kapur, R.B. Garg · Software Engineering Journal · 181

Specifications are (preferably) executable

1992 · Norbert E. Fuchs · Software Engineering Journal · 171

Structuring parallel and distributed programs

1993 · Jeff Magee, Naranker Dulay, et al. · Software Engineering Journal · 147

An introduction to Z and formal specifications

1989 · J.M. Spivey · Software Engineering Journal · 142

Controlling software projects

1986 · Paul Rook · Software Engineering Journal · 139

X-machines as a basis for dynamic system specification

1988 · M. Holcombe · Software Engineering Journal · 132

The viewpoints FAQ

1996 · Anthony Finkelstein, Ian Sommerville · Software Engineering Journal · 105

Viewpoints for requirements definition

1992 · Gerald Kotonya, Ian Sommerville · Software Engineering Journal · 101

The Mascot method

1986 · Hugo Simpson · Software Engineering Journal · 101

Software Engineering: Principles and Practice

1994 · Ian Sommerville · Software Engineering Journal · 98

The process cycle

1991 · Nazim H. Madhavji · Software Engineering Journal · 98

Durra: a structure description language for developing distributed applications

1993 · Mario R. Barbacci, Charles B. Weinstock, et al. · Software Engineering Journal · 96

Works count: 434

Citation count: 11,730

H-index: 51

I10-index: 183

2yr mean citedness: