| 17234 |
Software Engineering and Programming Languages Citation Bibliography |
(2000) |
| 4623 |
Dependability References Database |
(1999) |
| 3006 |
Bibliography of the Center for Secure and Dependable Software (CSDS) |
(1999) |
| 2602 |
Bibliography on Hardware Verification and Formal Methods |
(1998) |
| 2178 |
Bibliography for the journal Software---Practice and Experience |
(2004) |
| 2061 |
Bibliography on Logic in Program Construction |
(2004) |
| 1896 |
Bibliography of the journal "IEEE Software" |
(2003) |
| 1841 |
Bibliography on Empirical Software Engineering and Process Modeling |
(1997) |
| 1340 |
Bibliography on algebraic specification (from the OBSCURE project) |
(1992) |
| 1177 |
Bibliography for the International Conferences on Software Engineering (ICSE) |
(2001) |
| 1125 |
A Bibliography on Reengineering |
(2003) |
| 989 |
Bibliography on Software Process Management and Petri Nets |
(1995) |
| 759 |
Software Product Line Bibliography |
(2004) |
| 741 |
Bibliography on Software Engineering |
(1995) |
| 722 |
Bibliography on the Unified Modeling Language (UML) |
(2004) |
| 719 |
The VDM Bibliography |
(2001) |
| 705 |
Z Bibliography |
(1998) |
| 689 |
Bibliography on Business Process Management with focus on Workflow Management and Petri Nets |
(2003) |
| 656 |
Bibliography of "IEEE Transactions on Software Engineering" |
(1994) |
| 625 |
A Bibliography on Software Engineering |
(2004) |
| 537 |
Bibliography relating to algebra, program specification and verification, and logic |
(1992) |
| 489 |
Bibliography on Modelling Concurrent Systems |
(2004) |
| 488 |
Bibliography on Software Configuration Management |
(1997) |
| 395 |
Bibliography of publications from the Specification and Verification Lab, ENS de Cachan |
(2004) |
| 363 |
Bibliography on Formal Methods for Distributed Systems and Multi-Agent Systems |
(2001) |
| 359 |
Thomas A. Alspaugh's personal bibliography |
(2003) |
| 349 |
Bibliography on programming environments |
(1990) |
| 325 |
ESPRIT ProCoS Working Group - Bibliography |
(1995) |
| 316 |
Bibliography on CAD and Hardware/Software Codesign for Digital Circuits and Systems |
(2003) |
| 316 |
The FME and VDM Europe Bibliography |
(1997) |
| 315 |
Bibliography on the B method for formal specification of software |
(2004) |
| 298 |
Bibliography on software engineering and formal methods |
(2004) |
| 281 |
Bibliography for the International Software Process Workshop (ISPW) |
(1994) |
| 274 |
Bibliography of presentations from the annual IEEE Hot Chips symposia (1989--date) |
(2003) |
| 271 |
Annotated Bibliography on Abstract State Machines (ASMs) |
(2003) |
| 271 |
Bibliography of the Logic and Computation Group, IST, Lisbon |
(2004) |
| 266 |
The EPFL Software Engineering Lab Bibliography |
(2003) |
| 233 |
Formal Technical Review Bibliography |
(1998) |
| 225 |
Bibliography on literate programming |
(2001) |
| 217 |
Bibliography of publications in the area of program development |
(1995) |
| 214 |
Bibliography for the European Software Engineering Conferences (ESEC) |
(1997) |
| 214 |
Bibliography on ACM Transactions on Design Automation of Electronic Systems |
(2004) |
| 195 |
Bibliography of "Formal Aspects of Computing" |
(1996) |
| 186 |
Bibliography on Component-Based Software Development |
(1998) |
| 178 |
Bibliography of "Software --- Practice and Experience" |
(1994) |
| 177 |
ProCoS II Bibliography |
(1997) |
| 165 |
Bibliography on Validation and Verification of Knowledge-Based Systems |
(1995) |
| 157 |
Bibliography on the journal ACM Transactions on Software Engineering and Methodology |
(2003) |
| 153 |
Software Engineering - Department für Informatik - Carl von Ossietzky Universität Oldenburg |
(2004) |
| 138 |
Bibliography of CoFI Publications |
(2004) |
| 137 |
A bibliography of Formal Methods applied to Software Reuse and Software Reuse in general |
(1998) |
| 132 |
Bibliography on software engineering |
(1990) |
| 118 |
Bibliography of presentations from the annual Cool Chips symposia (1998--date), held yearly in Japan |
(2004) |
| 117 |
Bibliography of the "European Workshop on Software Process Technology" |
(1995) |
| 98 |
Larch bibliography |
(1996) |
| 90 |
Papers on Software Process Technology |
(1997) |
| 87 |
Bibliography of the Publications of the Software Engineering Group Freiburg |
(2003) |
| 73 |
Bibliography on software design patterns |
(1994) |
| 73 |
Bibliography on VHDL Verification |
(1994) |
| 64 |
A bibliography of introductory material for formal methods |
(1998) |
| 57 |
Bibliography for publications on software standards |
(1995) |
| 55 |
The RAISE Bibliography |
(1996) |
| 53 |
A bibliography on applications of formal methods within the railways domain |
(1998) |
| 49 |
The VDM++ Bibliography |
(2000) |
| 42 |
A Bibliography on Reliability Engineering |
(2003) |
| 25 |
small bibliography on software engineering |
(1991) |