Proceedings, Volume 19, Part 1997IEEE Computer Society, 1997 - Computer programming |
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
FORMAL SPECIFICATIONS | 33 |
RELIABILITY | 67 |
INSPECTIONS AND REVIEWS | 95 |
Copyright | |
40 other sections not shown
Other editions - View all
Common terms and phrases
abstract action activity actual allows analysis application approach attributes behavior changes collection communication complete components Computer considered contains copy corresponding cost defects defined definition depends described determine diagram discussion distribution documents effect environment error estimate evaluation event example execution experiment factors failure faults Figure flow formal function given graph groups identified implementation indicates input inspection interaction interface interval issues language material means measures meeting method module node notation object operational parameters participants performed phase points possible present problem procedure proposed prototyping reference reliability reported represents requirements rules selected server shows Software Engineering specification step structure Table task techniques testing tion tool transition unit variables
Bibliographic information
| Title | Proceedings, Volume 19, Part 1997 Issues 92-93 of National conference publication |
| Contributors | IEEE Computer Society, IEEE Computer Society. Software Engineering Technical Committee, Association for Computing Machinery, United States. National Bureau of Standards, ACM Sigsoft |
| Publisher | IEEE Computer Society, 1997 |
| ISBN | 0897919149, 9780897919142 |
| Export Citation | BiBTeX EndNote RefMan |