{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:00:28Z","timestamp":1729674028086,"version":"3.28.0"},"reference-count":18,"publisher":"SPIE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12,24]]},"DOI":"10.1117\/12.2050039","type":"proceedings-article","created":{"date-parts":[[2013,12,25]],"date-time":"2013-12-25T02:50:21Z","timestamp":1387939821000},"page":"90671Z","source":"Crossref","is-referenced-by-count":1,"title":["Completeness set proof of precondition and post-condition types of activity in any EPM"],"prefix":"10.1117","volume":"9067","author":[{"given":"Qian","family":"Yu","sequence":"additional","affiliation":[]},{"given":"Tong","family":"Li","sequence":"additional","affiliation":[]},{"given":"JinZhuo","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Xuan","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Yong","family":"Yu","sequence":"additional","affiliation":[]}],"member":"189","reference":[{"key":"c1","unstructured":"Tong Li. An Approach to Modelling software Evolution Processes[M]. Tsinghua University Press, Beijing, 2008."},{"key":"c2","doi-asserted-by":"crossref","unstructured":"Bandinelli S, Fuggetta A, Ghezzi C, et al. Process enactment in SPADE[M]\/\/Software Process Technology. Springer Berlin Heidelberg, 1992: 67\u201383.","DOI":"10.1007\/BFb0017505"},{"key":"c3","doi-asserted-by":"crossref","unstructured":"Sutton, Stanley M., Jr. From Process Programming to Process Engineering, Springer Berlin Heidelberg, 2011.","DOI":"10.1007\/978-3-642-19823-6_15"},{"key":"c4","doi-asserted-by":"publisher","DOI":"10.1145\/130994.130998"},{"key":"c5","unstructured":"A. Finkelstein, J. Kramer and B. Nuseibeh (Eds), Software Process Modelling and Technology, John Wiley & Sons Inc., 1994."},{"key":"c6","doi-asserted-by":"publisher","DOI":"10.1109\/SPCON.1994.344427"},{"issue":"5","key":"c7","article-title":"A plan-based intelligent assistant that supports the software development","volume":"13","author":"Huff","year":"1989"},{"key":"c8","doi-asserted-by":"publisher","DOI":"10.1145\/99278"},{"article-title":"Oikos: constructing process-centred SDEs","year":"1994","author":"Montangero","key":"c9"},{"article-title":"An architecture for intelligent assistance in software development","year":"1987","author":"Kaiser","key":"c10"},{"article-title":"Concepts and implementation of a rule-based process engine","year":"1992","author":"Peuschel","key":"c11"},{"article-title":"Architectural support for distributed process centered software development environments","year":"1993","author":"Peuschel","key":"c12"},{"article-title":"MERLIN: Supporting cooperation in software development through a knowledge-based environment[M]","year":"1995","author":"Junkermann","key":"c13"},{"article-title":"Software processes are software too","year":"1987","author":"Osterweil","key":"c14"},{"key":"c15","first-page":"754","article-title":"Little-JIL\/Juliette: a process definition language and interpreter[C]\/\/Software Engineering, 2000","author":"Cass","year":"2000"},{"key":"c16","first-page":"187","article-title":"THE ADELE-TEMPO experience: an environment to support process modeling and enaction[J]","author":"Belkhatir","year":"1994"},{"key":"c17","doi-asserted-by":"publisher","DOI":"10.21236\/ADA266997"},{"key":"c18","doi-asserted-by":"crossref","unstructured":"Huth M, Ryan M. Logic in Computer Science: Modelling and reasoning about systems[M]. Cambridge University Press, 2004.","DOI":"10.1017\/CBO9780511810275"}],"event":{"name":"Sixth International Conference on Machine Vision (ICMV 13)","location":"London, United Kingdom"},"container-title":["SPIE Proceedings","Sixth International Conference on Machine Vision (ICMV 2013)"],"original-title":[],"deposited":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T09:44:04Z","timestamp":1564998244000},"score":1,"resource":{"primary":{"URL":"http:\/\/proceedings.spiedigitallibrary.org\/proceeding.aspx?doi=10.1117\/12.2050039"}},"subtitle":[],"editor":[{"given":"Branislav","family":"Vuksanovic","sequence":"first","affiliation":[]},{"given":"Jianhong","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"Antanas","family":"Verikas","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2013,12,24]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1117\/12.2050039","relation":{},"ISSN":["0277-786X"],"issn-type":[{"type":"print","value":"0277-786X"}],"subject":[],"published":{"date-parts":[[2013,12,24]]}}}