External Links

    Journal: ACM SIGSOFT Software Engineering Notes

    Volume 4, Issue 3

    3 -- 5Norman F. Schneidewind. Secretary-Treasurer's report to SIGSOFT members
    7 -- 14William G. Bail. User experiences with specification tools: (panel from specifications of reliable software conference) (April 3-5, 1979)
    15 -- 16John E. Shore, Kathryn L. Heninger. Limits to specifications: why not more progress? Panel at IEEE conference on <u>specifications of reliable software</u>
    17 -- 18Pamela Zave. Panel session: approaches to specification-various models <u>an informal report</u>
    19 -- 21Mark A. Ardis. Specifications of reliable software - what next?
    22 -- 31David A. Marca. A method for specifying structured programs
    32 -- 33Tom Gilb. A comment on "the definition of maintainability"
    runs on