| 4623 |
Dependability References Database |
(1999) |
| 2452 |
Bibliography on Hardware Verification and Formal Methods |
(1997) |
| 1883 |
Bibliography for the journal Software---Practice and Experience |
(1999) |
| 1841 |
Bibliography on Empirical Software Engineering and Process Modeling |
(1997) |
| 1341 |
COMPASS bibliography on algebraic specifications |
(1992) |
| 1340 |
Bibliography on algebraic specification (from the OBSCURE project) |
(1992) |
| 1318 |
Bibliography of the journal "IEEE Software" |
(1999) |
| 1047 |
Bibliography for the International Conferences on Software Engineering (ICSE) |
(1999) |
| 993 |
Bibliography on Logic in Program Construction |
(1999) |
| 989 |
Bibliography on Software Process Management and Petri Nets |
(1995) |
| 741 |
Bibliography on Software Engineering |
(1995) |
| 705 |
Z Bibliography |
(1998) |
| 702 |
The VDM Bibliography |
(1998) |
| 656 |
Bibliography of "IEEE Transactions on Software Engineering" |
(1994) |
| 537 |
Bibliography relating to algebra, program specification and verification, and logic |
(1992) |
| 516 |
A Bibliography on Reengineering |
(1999) |
| 488 |
Bibliography on Software Configuration Management |
(1997) |
| 410 |
A Bibliography on Software Engineering |
(1999) |
| 352 |
Domain Engineering Bibliography |
(1998) |
| 349 |
Bibliography on programming environments |
(1990) |
| 325 |
ESPRIT ProCoS Working Group - Bibliography |
(1995) |
| 316 |
The FME and VDM Europe Bibliography |
(1997) |
| 281 |
Bibliography for the International Software Process Workshop (ISPW) |
(1994) |
| 233 |
Formal Technical Review Bibliography |
(1998) |
| 218 |
Bibliography on the Unified Modeling Language (UML) |
(1999) |
| 217 |
Bibliography of publications in the area of program development |
(1995) |
| 216 |
Bibliography on literate programming |
(1999) |
| 214 |
Bibliography for the European Software Engineering Conferences (ESEC) |
(1997) |
| 195 |
Bibliography of "Formal Aspects of Computing" |
(1996) |
| 194 |
Bibliography of the Logic and Computation Group, IST, Lisbon |
(1999) |
| 184 |
The EPFL Software Engineering Lab Bibliography |
(1999) |
| 178 |
Bibliography of "Software --- Practice and Experience" |
(1994) |
| 177 |
ProCoS II Bibliography |
(1997) |
| 165 |
Bibliography on Validation and Verification of Knowledge-Based Systems |
(1995) |
| 164 |
Bibliography on the B method for formal specification of software |
(1999) |
| 160 |
Annotated Bibliography on Abstract State Machines (ASMs) |
(1999) |
| 137 |
A bibliography of Formal Methods applied to Software Reuse and Software Reuse in general |
(1998) |
| 132 |
Bibliography on software engineering |
(1990) |
| 117 |
Bibliography of the "European Workshop on Software Process Technology" |
(1995) |
| 98 |
Larch bibliography |
(1996) |
| 90 |
Papers on Software Process Technology |
(1997) |
| 73 |
Bibliography on VHDL Verification |
(1994) |
| 73 |
Bibliography on software design patterns |
(1994) |
| 66 |
Bibliography on software engineering and formal methods |
(1999) |
| 59 |
Bibliography on Software Metrics |
(1996) |
| 58 |
A bibliography of introductory material for formal methods |
(1998) |
| 57 |
Bibliography for publications on software standards |
(1995) |
| 55 |
The RAISE Bibliography |
(1996) |
| 52 |
A bibliography on applications of formal methods within the railways domain |
(1998) |
| 46 |
The VDM++ Bibliography |
(1998) |
| 30 |
Bibliography of publications from the Specification and Verification Lab, ENS de Cachan |
(1999) |
| 25 |
small bibliography on software engineering |
(1991) |