{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:08:24Z","timestamp":1694624904710},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[1993,5,1]],"date-time":"1993-05-01T00:00:00Z","timestamp":736214400000},"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":[[1993,5]]},"DOI":"10.1109\/32.232011","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T23:09:11Z","timestamp":1030230551000},"page":"436-452","source":"Crossref","is-referenced-by-count":25,"title":["Using transformations in specification-based prototyping"],"prefix":"10.1109","volume":"19","author":[{"given":"V.","family":"Berzins","sequence":"first","affiliation":[]},{"family":"Luqi","sequence":"additional","affiliation":[]},{"given":"A.","family":"Yehudai","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref21a","article-title":"Three dimensions of design development","author":"goldman","year":"1983","journal-title":"Proc Nat Conf Artif Intell"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/182.358443"},{"key":"ref21b","year":"1983","journal-title":"Tech Rep"},{"key":"ref33","first-page":"79","article-title":"Toward a requirements apprentice","author":"rich","year":"1987","journal-title":"Proceedings of the 9th International Workshop on Software Specification and Design"},{"key":"ref32","author":"reps","year":"1988","journal-title":"The Synthesizer Generator A System for Cconstructing Language-Based Editors"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/65979.65980"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/356914.356917"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/126551.126577"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231879"},{"key":"ref34","year":"1986","journal-title":"Readings in Artificial Intelligence and Software Engineering"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF02426920"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010281"},{"key":"ref12","first-page":"101","article-title":"Semantic relations in programming languages","author":"broy","year":"1980","journal-title":"Information Processing 80"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010282"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(81)90014-X"},{"key":"ref16","author":"dijkstra","year":"1976","journal-title":"A Discipline of Programming"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/357153.357154"},{"key":"ref18","first-page":"165","author":"feather","year":"1987","journal-title":"Program Specification and Transformation"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/32.21745"},{"key":"ref37b","first-page":"41","year":"1986","journal-title":"Software Specification Techniques"},{"key":"ref37a","doi-asserted-by":"publisher","DOI":"10.1145\/358557.358572"},{"key":"ref4","volume":"i","author":"bauer","year":"1985","journal-title":"The Wide Spectrum Language CIP-L"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010280"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(79)90013-4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/32.6186"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.21743"},{"key":"ref5","volume":"ii","author":"bauer","year":"1987","journal-title":"The Program Transformation System CIP-S"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312940"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/52.50776"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264309"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231877"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1986.233411"},{"key":"ref9","author":"berzins","year":"1990","journal-title":"Software Engineering with Abstractions An Integrated Approach to Software Development using Ada"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"1268","DOI":"10.1109\/TSE.1985.231878","article-title":"automating the transformational development of software","volume":"se 11","author":"fickas","year":"1985","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref22","first-page":"380","article-title":"A summary of the PSI program synthesis system","author":"green","year":"1977","journal-title":"Proc 5th Int Joint Conf Artificial Intell"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(83)90009-7"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1990.63630"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/52.2013"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/2.27953"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx1\/32\/5997\/00232011.pdf?arnumber=232011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:08:50Z","timestamp":1638216530000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/232011\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,5]]},"references-count":40,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/32.232011","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[1993,5]]}}}