{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T01:51:52Z","timestamp":1761961912255,"version":"build-2065373602"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/quatic.2010.53","type":"proceedings-article","created":{"date-parts":[[2010,12,11]],"date-time":"2010-12-11T04:30:20Z","timestamp":1292041820000},"page":"262-267","source":"Crossref","is-referenced-by-count":48,"title":["Synthesis-Based Loose Programming"],"prefix":"10.1109","author":[{"given":"Anna-Lena","family":"Lamprecht","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Naujokat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"185","article-title":"Model Checking and the Mu-calculus","author":"emerson","year":"1996","journal-title":"Descriptive Complexity and Finite Models"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1658373.1658376"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2007.14"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/11841197_1","article-title":"DecSerFlow: Towards a Truly Declarative Service Flow Language","volume":"4184","author":"van der aalst","year":"2006","journal-title":"Web Services and Formal Methods Third International Workshop ser Lecture Notes in Computer Science"},{"year":"1999","author":"clarke","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"ref17","article-title":"Artificial Intelligence: A Modern Approach","volume":"12","author":"russel","year":"2009"},{"key":"ref18","first-page":"463","article-title":"Some Philosophical Problems from the Standpoint of Artificial Intelligence","author":"mccarthy","year":"1969"},{"key":"ref19","first-page":"1123","article-title":"HTN Planning: Complexity and Expressivity","volume":"2","author":"erol","year":"1994","journal-title":"AAAI-94"},{"key":"ref4","first-page":"71","article-title":"An Approach to Intelligent Software Library Management","author":"freitag","year":"1995","journal-title":"Proceedings of the Sixth International Conference on Database Systems for Advanced Applications (DASFAA)"},{"article-title":"Module Configuration by Minimal Model Construction","year":"1993","author":"steffen","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1028"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0035794"},{"journal-title":"Principles of Program Analysis 2nd ed","year":"2005","author":"nielson","key":"ref8"},{"article-title":"mu-calculus Synthesis","year":"2000","author":"kupfermann","key":"ref7"},{"year":"2006","author":"bj\u00f8rner","key":"ref2"},{"key":"ref9","first-page":"85","article-title":"Verification, Diagnosis and Adaptation: Tool-supported enhancement of the model-driven verification process","author":"bakera","year":"2007","journal-title":"Revue des Nouvelles Technologies de L'Information (RNTI-SM-1)"},{"key":"ref1","first-page":"92","volume":"4383","author":"steffen","year":"2006"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00071-5"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45648-1_12"},{"key":"ref21","first-page":"347","article-title":"A Planner Fully Based on Linear Time Logic","author":"mayer","year":"2000","journal-title":"AIPS"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-10-S10-S8"},{"first-page":"4","year":"2009","author":"solar-lezama","key":"ref23"},{"key":"ref25","article-title":"Semantics-Based Composition of EMBOSS Services with Bio-jETI","volume":"559","author":"lamprecht","year":"2009","journal-title":"Proceedings of Workshop on Semantic Web Applications and Tools for Life Sciences 2009"}],"event":{"name":"2010 Seventh International Conference on the Quality of Information and Communications Technology (QUATIC)","start":{"date-parts":[[2010,9,29]]},"location":"Porto, Portugal","end":{"date-parts":[[2010,10,2]]}},"container-title":["2010 Seventh International Conference on the Quality of Information and Communications Technology"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/5654673\/5654782\/05655574.pdf?arnumber=5655574","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T17:09:01Z","timestamp":1497892141000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/5655574\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":25,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/quatic.2010.53","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}