The Collection of
Computer Science Bibliographies
Other Bibliographies on Software/Hardware Engineering and Formal Methods
This page lists bibliographies which could not be integrated into this collection for one reason or another.
-
The Empirical Software Engineering Group at the Univ. Maryland
- A listing of books, papers, and technical reports written by
members of the Experimental Software Engineering Group (ESEG)
of the University of Maryland.
-
The Software Engineering Laboratory (SEL) at NASA/GSFC
- An annotated bibliography of software engineering literature,
also contains a table of contents that is sorted by software
engineering topic, and an author index. The document has a
short description of each of the documents that the SEL has
produced.
-
The Software Engineering Archives at McMaster Univ.
- This is the hypertext version of the Software Engineering
reading list posted regularly to comp.software-eng.
-
Annotated Bibliography of RESOLVE Research
- Describes the most-accessible references that you might refer
to in order to learn more about the RESOLVE specification and
programming notation
- Software Metrics: A subdivided bibliography
- from the Software Measurement Laboratory at Magdeburg University. A search form is also available.
- Software engineering
reference book list (files: SE.references.*) by Tero Ahtee
([email protected])
- Description of contents
- A hypertext Visual Programming Language Bibliography
-
- Software Engineering Bibliographic (SEB)
Database
- by the Data & Analysis Center for Software (DACS)
- There is a section on Formal
Methods Publications
- in the Formal
Methods section of the virtual library in computing.
- Object-Oriented Metrics
- is a bibliography covering research into measurement of object-oriented design and programming.
- Evolving algebras annotated bibliography by Egon Börger
-
- Formal Methods Publications
- in the Virtual
Library on Formal Methods by Jonathan Bowen.
- Requirements Bibliography
- by Alan M. Davis.
- ASSET's Bibliography of Software Reuse Publications
- International Journal of Software Engineering (ISSN 1815-4875 (Print), 1815-4883 (Online))