{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:42:27Z","timestamp":1729618947159,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wpc.1994.341267","type":"proceedings-article","created":{"date-parts":[[2002,12,17]],"date-time":"2002-12-17T14:32:51Z","timestamp":1040135571000},"page":"168-175","source":"Crossref","is-referenced-by-count":5,"title":["Theory and practice of middle-out programming to support program understanding"],"prefix":"10.1109","author":[{"given":"K.H.","family":"Bennett","sequence":"first","affiliation":[]},{"given":"M.P.","family":"Ward","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"LATEX A Document Preparation System","year":"1986","author":"lamport","key":"ref10"},{"journal-title":"Programming from Specifications","year":"1990","author":"morgan","key":"ref11"},{"journal-title":"On the Refinement Calculus","year":"1988","author":"morgan","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234169"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1994.1035"},{"journal-title":"Proving Program Refinements and Transformations","year":"1989","author":"ward","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/32.541437"},{"journal-title":"Formal Aspects of Computing","year":"1993","author":"ward","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1002\/smr.4360050204"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.1993.287763"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/50087.50089"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/5.3.194"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0001-6918(91)90009-O"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380090402"},{"journal-title":"The TEXbook","year":"1984","author":"knuth","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/5.2.88"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663532"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0164-1212(91)90092-K","article-title":"Approaches to Program Comprehension","volume":"14","author":"bennett","year":"1991","journal-title":"J Syst Softw"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/27.2.97"}],"event":{"name":"1994 IEEE 3rd Workshop on Program Comprehension- WPC '94","acronym":"WPC-94","location":"Washington, DC, USA"},"container-title":["Proceedings 1994 IEEE 3rd Workshop on Program Comprehension- WPC '94"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/963\/7984\/00341267.pdf?arnumber=341267","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T16:27:19Z","timestamp":1497544039000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/341267\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/wpc.1994.341267","relation":{},"subject":[]}}