{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:52:39Z","timestamp":1694623959218},"reference-count":24,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1992,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>A case study in the modular specification and refinement of a small database system is presented in Extended ML. Two similar requirements specifications are given and a program development step from each these is presented. The structure resulting from the first program development step is similar to that given in [FiJ90] and is presented as an answer to the challenge problem given in that paper, while the second development step is presented as a possible alternative which is more suited to the Extended ML style of program development. In the context of these two development steps the module facilities of Extended ML, their role in specification and program development and their ability to meet the challenge of [FiJ90] are examined.<\/jats:p>","DOI":"10.1007\/bf01214958","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T16:30:15Z","timestamp":1109349015000},"page":"100-142","source":"Crossref","is-referenced-by-count":2,"title":["Modularising the specification of a small database system in extended ML"],"prefix":"10.1145","volume":"4","author":[{"given":"Edmund","family":"Kazmierczak","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Edinburgh, Edinburgh"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"publisher","DOI":"10.1145\/6041.6042"},{"key":"e_1_2_1_2_2_2","unstructured":"Date C.J.: An Introduction to Database Systems . Addison-Wesley 1986."},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Damas L. and Milner R.: Principle Type Schemes and Functional Programs. In Principles of Programming Languages 207\u2013212 1982.","DOI":"10.1145\/582153.582176"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"crossref","unstructured":"Ehrig H. and Mahr. B.: Fundamentals of Algebraic Specification 1 . EATCS: Monographs on Theoretical Computer Science. Springer-Verlag 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Ehrig H. and Mahr B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints . EATCS: Monographs on Theoretical Computer Science. Springer-Verlag 1990.","DOI":"10.1007\/978-3-642-61284-8_9"},{"key":"e_1_2_1_2_6_2","unstructured":"Fitzgerald J. S. and Jones C. B.: Modularising the Formal Description of a Database System. Technical Report UMCS-90-1-1 University of Manchester January 1990."},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"Goguen J. A. and Burstall R. M.: The Semantics of Clear A Specification Language. In Abstract Software Specifications LNCS 86 . Springer-Verlag 1980.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"e_1_2_1_2_8_2","unstructured":"Harper R.: Introduction to Standard ML. Technical Report ECS-LFCS-86-14 University of Edinburgh November 1986."},{"key":"e_1_2_1_2_9_2","unstructured":"Harper R. Milner R. and Tofte M.: The Definition of Standard ML . The MIT Press 1990."},{"key":"e_1_2_1_2_10_2","unstructured":"Jones C.B.: Systematic Software Development Using VDM . Prentice-Hall International Series in Computer Science. Prentice-Hall International 1986."},{"key":"e_1_2_1_2_11_2","unstructured":"MacQueen D.: Modules for Standard ML. Technical Report ECS-LFCS-86-2 University of Edinburgh March 1986."},{"key":"e_1_2_1_2_12_2","unstructured":"Milner R.: A Theory of Type Polymorphism in Programming. Internal Report CSR-9-77 University of Edinburgh Department of Computer Science September 1977."},{"key":"e_1_2_1_2_13_2","unstructured":"Milner R. and Tofte M.: Commentary on Standard ML . MIT Press 1990."},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"e_1_2_1_2_15_2","unstructured":"Sannella D.: Formal Program Development in Extended ML for the Working Programmer. Technical Monograph ECS-LFCS-89-102 Laboratory for the Foundations of Computer Science December 1989."},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","unstructured":"Sannella D. and Burstall R.: Structured Theories in LCF. In Proceedings of the 8th Colloq. on Trees in Algebra and Programming LNCS 159 377\u2013391. Springer Verlag 1983.","DOI":"10.1007\/3-540-12727-5_24"},{"key":"e_1_2_1_2_17_2","unstructured":"Sannella D. Sokolowski S. and Tarlecki A.: Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. Technical Report Report 6\/90 University of Bremen 1990."},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(87)90023-7"},{"key":"e_1_2_1_2_19_2","first-page":"165","article-title":"Building Specifications in an Arbitrary Institution","volume":"76","author":"Sannella D.","year":"1988","journal-title":"Information and Control"},{"key":"e_1_2_1_2_20_2","doi-asserted-by":"crossref","unstructured":"Sannella D. and Tarlecki A.: Toward Formal Development of ML Programs: Foundations and Methodology: 0-Extended Abstract. In Proceedings of the Colloquium on Current Issues in Programming Languages LNCS 352 375\u2013389. Springer Verlag 1989.","DOI":"10.1007\/3-540-50940-2_48"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"crossref","unstructured":"Sannella D. and Tarlecki A.: A Kernel Specification Formalism with Higher Order Parameterisation. In 7th Workshop on Specification of Abstract Data Types . Lecture Notes in Computer Science to appear. Springer Verlag 1991.","DOI":"10.1007\/3-540-54496-8_15"},{"key":"e_1_2_1_2_22_2","unstructured":"Tofte M.: Four Lectures on ML. Technical Report ECS-LFCS-89-73 University of Edinburgh March 1989."},{"key":"e_1_2_1_2_23_2","unstructured":"Walshe A.: NDB: The formal specification and rigorous design of a single user database. In: C. B. Jones and R. F. C. Shaw (eds) Case Studies in Systematic Software Development 12\u201345. Prentice Hall International 1990."},{"key":"e_1_2_1_2_24_2","volume-title":"Technical Report IBM TR.12.179","author":"Winterbottom N.","year":"1979"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01214958.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01214958\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01214958","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:19:53Z","timestamp":1641482393000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01214958"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,1]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,1]]}},"alternative-id":["10.1007\/BF01214958"],"URL":"https:\/\/doi.org\/10.1007\/bf01214958","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,1]]}}}