The Collection of
Computer Science Bibliographies
Up: Bibliographies on Software/Hardware Engineering and Formal Methods Collection Home

Formal Technical Review Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:233Last update:March 18, 2003
Number of online publications:41Supported:yes
Most recent reference:February 1998

Information on the Bibliography

Author:
Philip Johnson <johnson @ hawaii . edu> (email mangled to prevent spamming)
Department of Information and Computer Sciences
University of Hawaii
2565 The Mall
Honolulu, HI 96822
USA
Keywords:
active design review, cleanroom, inspection, phased inspection, walkthrough
Author Comments:
This bibliography is part of the WWW Formal Technical Review Archive.

Browsing the bibliography

Bibliographic Statistics

Types:
article(84), inproceedings(54), book(43), techreport(39), inbook(6), misc(4), phdthesis(2), incollection(1)
Fields:
author(233), title(233), year(233), categories(222), month(141), pages(87), journal(84), number(81), volume(62), abstract(56), booktitle(56), publisher(55), address(54), url(47), institution(39), summary(30), type(28), edition(7), chapter(6), organization(3), annote(2), school(2), series(2), editor(1), howpublished(1)

Distribution of publication dates:

Distribution of publication dates

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>.

This page is part of the Computer Science Bibliography Collection.
Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.