| 17234 |
Software Engineering and Programming Languages Citation Bibliography |
(2000) |
| 4622 |
Dependability References Database |
(1999) |
| 3883 |
Bibliography of the Center for Secure and Dependable Systems (CSDS) |
(2005) |
| 2602 |
Bibliography on Hardware Verification and Formal Methods |
(1998) |
| 2482 |
Bibliography of the journal "IEEE Software" |
(2008) |
| 2425 |
Bibliography for the journal Software—Practice and Experience |
(2007) |
| 2001 |
Thomas A. Alspaugh's personal bibliography |
(2009) |
| 1913 |
Bibliography on Logic in Program Construction |
(2004) |
| 1841 |
Bibliography on Empirical Software Engineering and Process Modeling |
(1997) |
| 1525 |
A Bibliography of Aspect-Oriented Software Development |
(2006) |
| 1502 |
A Bibliography on Reengineering |
(2006) |
| 1421 |
Bibliography on Business Process Management with focus on Workflow Management and Petri Nets |
(2008) |
| 1340 |
Bibliography on algebraic specification (from the OBSCURE project) |
(1992) |
| 1177 |
Bibliography for the International Conferences on Software Engineering (ICSE) |
(2001) |
| 989 |
Bibliography on Software Process Management and Petri Nets |
(1995) |
| 870 |
The VDM Bibliography |
(2008) |
| 824 |
Software Product Line Bibliography |
(2004) |
| 772 |
Bibliography of publications from the Specification and Verification Lab, ENS de Cachan |
(2008) |
| 766 |
A Bibliography on Software Engineering |
(2006) |
| 765 |
Bibliography of articles published in CrossTalk, The Journal of Defense Software Engineering |
(2009) |
| 764 |
Bibliography on the Unified Modeling Language (UML) |
(2005) |
| 741 |
Bibliography on Software Engineering |
(1995) |
| 705 |
Z Bibliography |
(1998) |
| 656 |
Bibliography of "IEEE Transactions on Software Engineering" |
(1994) |
| 572 |
Bibliography on Modelling Concurrent Systems |
(2005) |
| 537 |
Bibliography relating to algebra, program specification and verification, and logic |
(1992) |
| 488 |
Bibliography on Software Configuration Management |
(1997) |
| 471 |
Bibliography on software engineering and formal methods |
(2008) |
| 468 |
Bibliography of the Logic and Computation Group, IST, Lisbon |
(2008) |
| 431 |
Bibliography on the B method for formal specification of software |
(2007) |
| 429 |
Bibliography on ACM Transactions on Design Automation of Electronic Systems |
(2008) |
| 428 |
M. Mousavi's Bibtex Collection Formal Methods |
(2005) |
| 363 |
Bibliography on Formal Methods for Distributed Systems and Multi-Agent Systems |
(2001) |
| 349 |
Bibliography on programming environments |
(1990) |
| 325 |
ESPRIT ProCoS Working Group - Bibliography |
(1995) |
| 317 |
Bibliography of presentations from the annual IEEE Hot Chips symposia (1989–date) |
(2008) |
| 316 |
The FME and VDM Europe Bibliography |
(1997) |
| 316 |
Bibliography on CAD and Hardware/Software Codesign for Digital Circuits and Systems |
(2003) |
| 298 |
The EPFL Software Engineering Lab Bibliography |
(2005) |
| 283 |
Annotated Bibliography on Abstract State Machines (ASMs) |
(2008) |
| 281 |
Bibliography for the International Software Process Workshop (ISPW) |
(1994) |
| 241 |
Software Engineering - Department für Informatik - Carl von Ossietzky Universität Oldenburg |
(2006) |
| 239 |
Bibliography on the journal ACM Transactions on Software Engineering and Methodology |
(2008) |
| 238 |
Bibliography on literate programming |
(2008) |
| 233 |
Formal Technical Review Bibliography |
(1998) |
| 217 |
Bibliography of publications in the area of program development |
(1995) |
| 214 |
Bibliography for the European Software Engineering Conferences (ESEC) |
(1997) |
| 195 |
Bibliography of "Formal Aspects of Computing" |
(1996) |
| 186 |
Bibliography on Component-Based Software Development |
(1998) |
| 184 |
Software Process: Modeling, Evaluation and Improvement |
(2008) |
| 178 |
Bibliography of "Software — Practice and Experience" |
(1994) |
| 177 |
ProCoS II Bibliography |
(1997) |
| 165 |
Bibliography on Validation and Verification of Knowledge-Based Systems |
(1995) |
| 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) |
| 94 |
Software Test Process and Test Process Improvement |
(2008) |
| 90 |
Papers on Software Process Technology |
(1997) |
| 87 |
Bibliography of the Publications of the Software Engineering Group Freiburg |
(2003) |
| 78 |
The VDM++ Bibliography |
(2008) |
| 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) |
| 48 |
A Bibliography on Reliability Engineering |
(2004) |
| 36 |
Bibliography of International Conference on Software Engineering Theory and Practice |
(2007) |
| 29 |
AFADL |
(2007) |
| 28 |
International Conference on Software Engineering (ISE'06) |
(2006) |
| 25 |
small bibliography on software engineering |
(1991) |
| 19 |
2nd South-East European Workshop on Formal Methods (SEEFM05) Proceedings |
(2006) |
| 5 |
International Journal of Software Engineering |
(2007) |