The Collection of
Computer Science Bibliographies

Bibliographies on Software/Hardware Engineering and Formal Methods

You can add bibliographies and references to this collection! See also the bibliographies on Compiler Technology and Programming Languages.


#RefsBibliographyDate
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)
64613Total number of references in this section