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.


in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

#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)
3161 Thomas A. Alspaugh's personal bibliography (2013)
3107 Bibliography of the journal "IEEE Software" (2014)
2843 Bibliography for the journal Software—Practice and Experience (2014)
2602 Bibliography on Hardware Verification and Formal Methods (1998)
1913 Bibliography on Logic in Program Construction (2004)
1841 Bibliography on Empirical Software Engineering and Process Modeling (1997)
1661 Bibliography on Business Process Management with focus on Workflow Management and Petri Nets (2010)
1537 Bibliography of publications from the Specification and Verification Lab, ENS de Cachan (2014)
1526 A Bibliography on Reengineering (2006)
1525 A Bibliography of Aspect-Oriented Software Development (2006)
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)
961 The VDM Bibliography (2011)
868 Bibliography of articles published in CrossTalk, The Journal of Defense Software Engineering (2008)
824 Software Product Line Bibliography (2004)
766 A Bibliography on Software Engineering (2006)
764 Bibliography on the Unified Modeling Language (UML) (2005)
741 Bibliography on Software Engineering (1995)
713 Bibliography on ACM Transactions on Design Automation of Electronic Systems (2014)
705 Z Bibliography (1998)
668 Bibliography on software engineering and formal methods (2013)
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)
472 Bibliography of the Logic and Computation Group, IST, Lisbon (2009)
433 Bibliography on the B method for formal specification of software (2007)
428 M. Mousavi's Bibtex Collection Formal Methods (2005)
363 Bibliography on Formal Methods for Distributed Systems and Multi-Agent Systems (2001)
361 Bibliography on the journal ACM Transactions on Software Engineering and Methodology (2014)
360 Bibliography of presentations from the annual IEEE Hot Chips symposia (1989–date) (2013)
349 Bibliography on programming environments (1990)
325 ESPRIT ProCoS Working Group - Bibliography (1995)
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)
292 Annotated Bibliography on Abstract State Machines (ASMs) (2008)
291 Bibliography on literate programming (2012)
281 Bibliography for the International Software Process Workshop (ISPW) (1994)
241 Software Engineering - Department für Informatik - Carl von Ossietzky Universität Oldenburg (2006)
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)
167 Bibliography of presentations from the annual Cool Chips symposia (1998–date), held yearly in Japan (2013)
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)
117 Bibliography of the "European Workshop on Software Process Technology" (1995)
105 The VDM++ Bibliography (2010)
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)
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)
68829Total number of references in this section