DocumentCode

313024

Title

Nitpick: A Tool For Interactive Design Analysis

Author

Damon, Craig A.

Author_Institution

School of Computer Science, Carnegie Mellon University

fYear

1997

fDate

17-23 May 1997

Firstpage

596

Lastpage

597

Keywords

Computer bugs; Computer science; Formal specifications; Permission; Programming; Protocols; Safety; Software design; System analysis and design; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering, 1997., Proceedings of the 1997 (19th) International Conference on

ISSN

0270-5257

Print_ISBN

0-89791-914-9

Type

conf

DOI

10.1109/ICSE.1997.610423

Filename

610423