{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T09:12:11Z","timestamp":1698225131325},"reference-count":39,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2006,10,31]],"date-time":"2006-10-31T00:00:00Z","timestamp":1162252800000},"content-version":"vor","delay-in-days":4686,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Testing Verif &amp; Rel"],"published-print":{"date-parts":[[1994,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Despite dramatic changes in computing in the two decades since the term <jats:italic>software engineering<\/jats:italic> was coined, problems of deficient quality and unmanageable costs continue to afflict the software industry. Improvements in the software engineering process are vital to bringing software quality and costs under control. <jats:italic>Module interface specification<\/jats:italic> is a mature software engineering technology that, like many other proposed methodological improvements, has not significantly penetrated industrial practice. The <jats:italic>inspection<\/jats:italic> technique is well accepted for dealing with program code and pseudo\u2010code, but its potential for application to other work products is largely unrealized. This paper describes a successful pilot project in jointly transferring these two technologies to the software workplace. A central theme of the project was purposeful customization of the technology to a particular industrial setting. Such adaptation is important for success in the notoriously difficult process of diffusing software engineering methodology in industry.<\/jats:p>","DOI":"10.1002\/stvr.4370040205","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T16:00:40Z","timestamp":1163779240000},"page":"101-117","source":"Crossref","is-referenced-by-count":5,"title":["Inspecting module interface specifications"],"prefix":"10.1002","volume":"4","author":[{"given":"Ann","family":"Jackson","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Hoffman","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,31]]},"reference":[{"key":"e_1_2_1_2_1","unstructured":"Abrial J. R.(1978) \u2018Z: a specification language \u2019 in Proceedings of IFIP78 Tokyo."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.28121"},{"key":"e_1_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Bartussek W.andParnas D. L.(1978) \u2018Using traces to write abstract specifications for software modules\u2019 inInformation Systems Methodology Proceedings of the Second Conference on European Cooperation in Informatics 10\u201312 October 1978. Springer\u2010Verlag Berlin Germany pp.211\u2013236.","DOI":"10.1007\/3-540-08934-9_80"},{"key":"e_1_2_1_5_1","unstructured":"Basili V. Green S. Kouchakdjian A.andWeidow D.(1990) \u2018The cleanroom case study in the software engineering laboratory: project description and early analysis\u2019 Technical Report SEL\u201090\u2013002 National Aeronautics and Space Administration Systems Development Branch. Code 552 Goddard Space Flight Center Greenbelt MD 20771 U.S.A."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.84903"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/69605.2085"},{"key":"e_1_2_1_8_1","first-page":"41","volume-title":"Software Validation","author":"Buck R. D.","year":"1984"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1991.0002"},{"key":"e_1_2_1_10_1","unstructured":"Chillarege R. Kao Wei\u2010LunandCondit R. G.(1991) \u2018Defect type and its impact on the growth curve\u2019 inProceedings of the Thirteenth International Conference on Software Engineering.IEEE Computer Society Press Los Alamitos California U.S.A. pp.246\u2013255."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380220205"},{"key":"e_1_2_1_12_1","volume-title":"The Cleanroom Approach to Quality Software Development","author":"Dyer M.","year":"1992"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.153.0182"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312976"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1986.tb00298.x"},{"key":"e_1_2_1_17_1","volume-title":"Principles of Software Engineering Management","author":"Gilb T.","year":"1988"},{"key":"e_1_2_1_18_1","first-page":"80","volume-title":"Current Trends in Programming Methodology IV: Data Structuring","author":"Goguen J. A.","year":"1978"},{"key":"e_1_2_1_19_1","volume-title":"Ada for Specification: Possibilities and Limitations","author":"Goldsack S. J.","year":"1985"},{"key":"e_1_2_1_20_1","unstructured":"The GTE Software Quality Engineering Workshop(1989)Guideline for Effective Software Engineering Inspections and Review Meetings."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1985.231756"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.58775"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.6168"},{"key":"e_1_2_1_24_1","volume-title":"Managing the Software Process","author":"Humphrey W. S.","year":"1989"},{"key":"e_1_2_1_25_1","volume-title":"Systematic Software Development Using VDM","author":"Jones C. B.","year":"1986"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(92)90089-3"},{"key":"e_1_2_1_27_1","volume-title":"Structured Programming: Theory and Practice","author":"Linger R. C.","year":"1979"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/828.829"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.291.0004"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.83917"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312940"},{"key":"e_1_2_1_34_1","unstructured":"Parnas D. L. Clements P. C.andWeiss D. M.(1984) \u2018The modular structure of complex systems\u2019 inProceedings of the Seventh International Conference on Software Engineering IEEE Computer Society Press. Los Alamitos California U.S.A. pp.408\u2013417."},{"key":"e_1_2_1_35_1","volume-title":"Software Reusability","author":"Parnas D. L.","year":"1989"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.31655"},{"key":"e_1_2_1_37_1","unstructured":"Redwine S. T. Jr.andRiddle W. E.(1985) \u2018Software technology maturation\u2019 inProceedings of the Eighth International Conference on Software Engineering IEEE Computer Society Press Los Alamitos California U.S.A. pp.189\u2013200."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.62929"},{"key":"e_1_2_1_39_1","volume-title":"Understanding Z\u2014a Specification Language and Its Formal Semantics","author":"Spivey J. M.","year":"1988"},{"key":"e_1_2_1_40_1","volume-title":"Decline and Fall of the American Programmer","author":"Yourdon E.","year":"1992"}],"container-title":["Software Testing, Verification and Reliability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fstvr.4370040205","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/stvr.4370040205","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T23:11:22Z","timestamp":1698189082000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/stvr.4370040205"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,1]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,1]]}},"alternative-id":["10.1002\/stvr.4370040205"],"URL":"https:\/\/doi.org\/10.1002\/stvr.4370040205","archive":["Portico"],"relation":{},"ISSN":["0960-0833","1099-1689"],"issn-type":[{"value":"0960-0833","type":"print"},{"value":"1099-1689","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,1]]}}}