{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:06:57Z","timestamp":1751983617513},"reference-count":88,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[1989,1,1]],"date-time":"1989-01-01T00:00:00Z","timestamp":599616000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1989]]},"DOI":"10.1109\/32.21743","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T23:09:11Z","timestamp":1030230551000},"page":"165-180","source":"Crossref","is-referenced-by-count":107,"title":["Formal program construction by transformations-computer-aided, intuition-guided programming"],"prefix":"10.1109","volume":"15","author":[{"given":"F.L.","family":"Bauer","sequence":"first","affiliation":[]},{"given":"B.","family":"Moller","sequence":"additional","affiliation":[]},{"given":"H.","family":"Partsch","sequence":"additional","affiliation":[]},{"given":"P.","family":"Pepper","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref5b","year":"1973","journal-title":"Abteilung Mathematik der TU M\ufffdnchen"},{"key":"ref21a","article-title":"Algebraic methods for program construction: The project CIP","author":"broy","year":"1982","journal-title":"Proc SOFSEM 82"},{"key":"ref73","first-page":"331","author":"pepper","year":"1982","journal-title":"The Relationship Between Numerical Computation and Programming Languages"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014674"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/356914.356917"},{"key":"ref70","volume":"74","author":"partseh","year":"1983","journal-title":"Requirements Engineering"},{"key":"ref76","first-page":"429","year":"1987","journal-title":"Program Specification and Transformation"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90008-6"},{"key":"ref74","volume":"8","year":"1984","journal-title":"Program Transformation and Programming Environment"},{"key":"ref39","first-page":"80","volume":"4","author":"goguen","year":"1978","journal-title":"Current Trends in Programming Methodology"},{"key":"ref75","year":"0"},{"key":"ref38","first-page":"165","author":"feather","year":"1987","journal-title":"Program Specification and Transformation"},{"key":"ref78","author":"riethmayer","year":"1985","journal-title":"User manual for the CIP-System-Prototype"},{"key":"ref21b","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-46490-4_18"},{"key":"ref33","article-title":"Software engineering techniques","year":"1969","journal-title":"Proc NATO Science Committee"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/12.1.41"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/9758.10501"},{"key":"ref37","author":"fairley","year":"1985","journal-title":"Software Engineering Concepts"},{"key":"ref36","author":"ehler","year":"1985","journal-title":"Making formal specifications readable"},{"key":"ref35","author":"dijkstra","year":"1976","journal-title":"A Discipline of Programming"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/9.1.45"},{"key":"ref60","year":"0"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(83)90002-3"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357177"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69393-9_3"},{"key":"ref28","first-page":"101","author":"broy","year":"1980","journal-title":"Semantic Relations in Programming Languages (Proc IFIP Congress 80 Melbourne)"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(84)90010-8"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014683"},{"key":"ref66","first-page":"21","article-title":"Algebraic requirements definition: A case study","volume":"5","year":"1986","journal-title":"Technique el Science Informatiques"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(86)90004-3"},{"key":"ref67","article-title":"From informal requirements to a running program. A case study in algebraic specification and transformational programming","year":"0","journal-title":"Sci Comput Program"},{"key":"ref68","volume":"53","author":"partseh","year":"1982","journal-title":"Programmiersprachen und Programmentwicklung"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(76)90015-6"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"ref1","author":"agresti","year":"1986","journal-title":"New Paradigms for Software Development"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-7893-5"},{"key":"ref22","first-page":"1","volume":"10","year":"1983","journal-title":"Computer Program Synthesis Methodologies"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357175"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/TSE.1981.230815","article-title":"program development as a formal activity","volume":"se 7","author":"broy","year":"1981","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/BF00625280"},{"key":"ref5a","author":"bauer","year":"1973","journal-title":"A philosophy of programming"},{"key":"ref25","first-page":"41","article-title":"On the coherence of programming language and programming methodology","author":"broy","year":"1983","journal-title":"Proc IFIP Working Conf Programming Languages and System Design"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(82)90010-7"},{"key":"ref51","author":"manna","year":"1974","journal-title":"Mathematical theory of computation"},{"key":"ref59","first-page":"367","author":"moller","year":"1987","journal-title":"Program Specification and Transformation"},{"key":"ref58","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1007\/BF00267044","article-title":"On the algebraic specification of infinite objects?Ordered and continuous models of algebraic types","volume":"22","author":"moller","year":"1985","journal-title":"Acta Inform"},{"key":"ref57","first-page":"513","author":"moller","year":"0","journal-title":"Automata Languages and Programming"},{"key":"ref56","year":"1987","journal-title":"Program Specification and Transformation"},{"key":"ref79a","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0012793"},{"key":"ref55","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/S0049-237X(08)72018-4","author":"mccarthy","year":"1963","journal-title":"Computer Programming and Formal Systems"},{"key":"ref79b","year":"1982"},{"key":"ref54","author":"manna","year":"1985","journal-title":"The Logical Basis for Computer Programming"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/357084.357090"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234198"},{"key":"ref65a","year":"0"},{"key":"ref10","first-page":"84","article-title":"From specifications to machine code: Program construction through formal reasoning","year":"1982","journal-title":"Proc Int Conf Software Engineering"},{"key":"ref11","volume":"69","year":"1979","journal-title":"Program Construction"},{"key":"ref40","author":"green","year":"1981","journal-title":"Research on knowledge-based programming and algorithm design?1981"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61807-9"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014672"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-15187-7","volume":"183","author":"bauer","year":"1985","journal-title":"The Munich Project CIP Volume I The Wide Spectrum Language CIP-L"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18779-0"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-11571-4"},{"key":"ref16","author":"berghammer","year":"1984","journal-title":"Zur formalen Entwicklung graphcntheoretischer Algorithmen durch Transformation"},{"key":"ref81","author":"steinbr\ufffdggen","year":"1982","journal-title":"Program development using transformational expressions"},{"key":"ref17","author":"berghammer","year":"1986","journal-title":"A transformational development of several algorithms for testing the existence of cycles in a directed graph"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1145\/362575.362577"},{"key":"ref18","author":"brass","year":"1982","journal-title":"CIP-S An instrument for program transformation and rule generation"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264293"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(80)90009-5"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1145\/357162.357166"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1983.1654237"},{"key":"ref3","first-page":"337","article-title":"On the transformational implementation approach to programming","author":"balzer","year":"1976","journal-title":"Proc 2nd Int Conf Software Engineering"},{"key":"ref6","first-page":"223","article-title":"Programming as an evolutionary process","year":"1976","journal-title":"Proc 2nd Int Conf Software Engineering"},{"key":"ref8","first-page":"315","article-title":"New aspects of, and new prospects for a software engineer's programming methodology","year":"1981","journal-title":"Proc Compsac"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/800233.807045"},{"key":"ref7","first-page":"1","year":"1980","journal-title":"Software Engineering"},{"key":"ref9","first-page":"165","year":"1981","journal-title":"Programming as fulfillment of a contract"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/6.4.308"},{"key":"ref45","first-page":"173","volume":"275","author":"krieg-br\ufffdckner","year":"1987","journal-title":"Innovative Software Factories and Ada"},{"key":"ref48","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/978-3-642-68064-9_2","author":"laut","year":"1981","journal-title":"Werkzeuge der Programmiertechnik Informatik-Fachberichte 43"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(80)90039-3"},{"key":"ref65b","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(86)90008-0"},{"key":"ref42","first-page":"61","author":"hoare","year":"1972","journal-title":"Operating Systems Techniques"},{"key":"ref41","author":"guttag","year":"1975","journal-title":"The specification and application to programming of abstract datatypes"},{"key":"ref44","author":"kaphengst","year":"1971","journal-title":"Algebraische Algorithmentheorie"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/BF00976239"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx1\/32\/875\/00021743.pdf?arnumber=21743","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,5]],"date-time":"2024-01-05T19:56:28Z","timestamp":1704484588000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/21743\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"references-count":88,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/32.21743","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[1989]]}}}