Estimating software fault content before coding

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Eick, Stephen G., Loader, Clive R., Long, M. David, Votta, Lawrence G., Vander Wiel, Scott
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	General and reference > Cross-computing tools and techniques > Verification Social and professional topics > Professional topics > Management of computing and information systems > Project and people management Software and its engineering > Software creation and management > Designing software Software and its engineering > Software creation and management > Software development process management Software and its engineering > Software creation and management > Software verification and validation > Formal software verification Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging Software and its engineering > Software notations and tools Software and its engineering > Software notations and tools > Software configuration management and version control systems Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Software verification Theory of computation > Semantics and reasoning > Program reasoning > Program verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:
DOI:	10.1145/143062.143090