| Applying new scheduling theory to static priority pre-emptive scheduling | 1993/01/01 | English | 261 |
| Applicability of modified condition/decision coverage to software testing | 1994/01/01 | English | 113 |
| Automatic structural testing using genetic algorithms | 1996/01/01 | English | 86 |
| ACRE: selecting methods for requirements acquisition | 1996/01/01 | English | 83 |
| A software reliability growth model for an error-removal phenomenon | 1992/01/01 | English | 81 |
| Software testing based on formal specifications: a theory and a tool | 1991/01/01 | English | 74 |
| A critique of cyclomatic complexity as a software metric | 1988/01/01 | English | 74 |
| Safety-critical systems, formal methods and standards | 1993/01/01 | English | 64 |
| Scheduling hard real-time systems: a review | 1991/01/01 | English | 51 |
| Requirements engineering with viewpoints | 1996/01/01 | English | 50 |
| X-machines as a basis for dynamic system specification | 1988/01/01 | English | 41 |
| Specifications are not (necessarily) executable | 1989/01/01 | English | 39 |
| Using ViewPoints for inconsistency management | 1996/01/01 | English | 38 |
| Controlling software projects | 1986/01/01 | English | 35 |
| Support for comprehensive reuse | 1991/01/01 | English | 34 |
| Towards a constructive quality model. Part 1: Software quality modelling, measurement and prediction | 1987/01/01 | English | 32 |
| A mathematical perspective for software measure research | 1990/01/01 | English | 32 |
| An introduction to Z and formal specifications | 1989/01/01 | English | 31 |
| The Mascot method | 1986/01/01 | English | 31 |
| An evaluation of some design metrics | 1990/01/01 | English | 30 |
| Specifications are (preferably) executable | 1992/01/01 | English | 28 |
| Software metrics: theory, tools and validation | 1990/01/01 | English | 26 |
| Design metrics: an empirical analysis | 1990/01/01 | English | 24 |
| Calibrating estimation tools for software development | 1990/01/01 | English | 24 |
| Viewpoints for requirements definition | 1992/01/01 | English | 22 |
| Towards a constructive quality model. Part 2: Statistical techniques for modelling software quality in the ESPRIT REQUEST project | 1987/01/01 | English | 21 |
| Symbolic execution systems—a review | 1988/01/01 | English | 21 |
| Measures of testability as a basis for quality assurance | 1990/01/01 | English | 21 |
| Shotgun correlations in software measures | 1993/01/01 | English | 20 |
| Software engineering, the software process and their support | 1991/01/01 | English | 20 |