{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:55:22Z","timestamp":1742392522799,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1109\/icpc.2006.10","type":"proceedings-article","created":{"date-parts":[[2006,7,10]],"date-time":"2006-07-10T15:59:56Z","timestamp":1152547196000},"page":"202-211","source":"Crossref","is-referenced-by-count":6,"title":["An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification"],"prefix":"10.1109","author":[{"given":"Coen","family":"De Roover","sequence":"first","affiliation":[{"name":"Vrije Universiteit, Brussel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isabel","family":"Michiels","sequence":"additional","affiliation":[{"name":"Programming Technol. Lab., Vrije Univ. Brussel, Brussels"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Gybels","sequence":"additional","affiliation":[{"name":"Programming Technol. Lab., Vrije Univ. Brussel, Brussels"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kris","family":"Gybels","sequence":"additional","affiliation":[{"name":"Programming Technol. Lab., Vrije Univ. Brussel, Brussels"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Theo","family":"D'Hondt","sequence":"additional","affiliation":[{"name":"Programming Technol. Lab., Vrije Univ. Brussel, Brussels"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1998.732663"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1994.528030"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014004"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.007"},{"journal-title":"Test Driven Development By Example","year":"2003","author":"beck","key":"3"},{"key":"2","first-page":"19","article-title":"Building program behavior models","author":"auguston","year":"1998","journal-title":"Proc Eur Conf Artificial Intelligence Workshop Spatial and Temporal Reasoning"},{"key":"1","article-title":"Aspect-orientation in C: Express yourself","author":"adams","year":"2005","journal-title":"Proc of the AOSD Worksh on Software-engineering Properties of Languages for Aspect Technologies (SPLAT05)"},{"key":"10","article-title":"Pico: Scheme for mere mortals","author":"meuter","year":"2004","journal-title":"Online Proc of the 1st European Lisp and Scheme Worksh"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"6","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/3-540-45657-0_3","article-title":"On abstraction in software verification","volume":"2404","author":"cousot","year":"2002","journal-title":"Lecture Notes in Computer Science"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58976-7_2"},{"journal-title":"Simply Logical","year":"1994","author":"flach","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/201024.201034"}],"event":{"name":"2006 14th IEEE International Conference on Program Comprehension","start":{"date-parts":[[2006,6,14]]},"location":"Athens, Greece","end":{"date-parts":[[2006,6,16]]}},"container-title":["14th IEEE International Conference on Program Comprehension (ICPC'06)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10866\/34208\/01631122.pdf?arnumber=1631122","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,9]],"date-time":"2023-03-09T14:15:05Z","timestamp":1678371305000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1631122\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/icpc.2006.10","relation":{},"subject":[],"published":{"date-parts":[[2006]]}}}