{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T00:06:46Z","timestamp":1699834006168},"reference-count":15,"publisher":"Wiley","issue":"5","license":[{"start":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T00:00:00Z","timestamp":1161907200000},"content-version":"vor","delay-in-days":8945,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1982,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Formal specifications (algebraic) are given for an informally specified small subsystem of the Change Management Automatic Build System. A comparison of the two specifications shows that although informal specifications are easier to read, the formal specifications are clearer, specify operation domains precisely, define the interaction between the operations, show the incompleteness of the informal specifications and are devoid of implementation details. The formal specifications pointed to the need of a function not in the subsystem whose inclusion would improve the system design. This inclusion is now being considered. However, the use of algebraic specifications requires practice and experience. Although the formal specification of large systems is somewhat impractical at the moment, experience in using formal specifications can lead to better informal specifications.<\/jats:p>","DOI":"10.1002\/spe.4380120505","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T05:28:26Z","timestamp":1163827706000},"page":"433-444","source":"Crossref","is-referenced-by-count":18,"title":["Specifications: Formal and informal\u2014a case study"],"prefix":"10.1002","volume":"12","author":[{"given":"Narain","family":"Gehani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,27]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808426"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00260922"},{"key":"e_1_2_1_4_2","volume-title":"Change Management Automated Build System EVENT LOG Sub\u2010System Design Specification","author":"Lyons T. G.","year":"1977"},{"key":"e_1_2_1_5_2","volume-title":"Proposal for the Field Trial of the Change Management Automated Build System (CM ABS) by the Division of Revenues Processing (DRP) Project","author":"Lyons T. G.","year":"1977"},{"key":"e_1_2_1_6_2","volume-title":"Change Management Automated Build System","author":"Muenzer T. B.","year":"1977"},{"key":"e_1_2_1_7_2","doi-asserted-by":"crossref","unstructured":"J. V.Guttag E.HorovitzandD. R.Musser \u2018Some extensions to algebraic specifications\u2019 Proc. Language Design for Reliable Software March1977 pp.63\u201367.","DOI":"10.1145\/390019.808312"},{"key":"e_1_2_1_8_2","volume-title":"An Introduction to Data Base Systems","author":"Date C. J.","year":"1975"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359666"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/954627.954630"},{"key":"e_1_2_1_11_2","unstructured":"M. E.Majster \u2018Treatment of partial operations in the algebraic specification technique\u2019 Proc. of Specifications of Reliable Software April1979."},{"key":"e_1_2_1_12_2","unstructured":"T. B.Muenzer Private communication June1979."},{"key":"e_1_2_1_13_2","unstructured":"T. G.Lyons Private communication 30 August 1979."},{"key":"e_1_2_1_14_2","volume-title":"Research Direction in Software Technology","author":"Liskov B.","year":"1979"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/359131.359133"},{"key":"e_1_2_1_16_2","volume-title":"Program Specifications: A Mini\u2010Tutorial","author":"Musa J.","year":"1979"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380120505","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380120505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,12]],"date-time":"2023-11-12T14:47:54Z","timestamp":1699800474000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380120505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,5]]},"references-count":15,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1982,5]]}},"alternative-id":["10.1002\/spe.4380120505"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380120505","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,5]]}}}