{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:47:45Z","timestamp":1725670065578},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288715"},{"type":"electronic","value":"9783642288722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28872-2_7","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T16:48:16Z","timestamp":1332434896000},"page":"94-98","source":"Crossref","is-referenced-by-count":51,"title":["Loose Programming with PROPHETS"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Naujokat","sequence":"first","affiliation":[]},{"given":"Anna-Lena","family":"Lamprecht","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-Based Loose Programming. In: Proceedings of the 7th International Conference on the Quality of Information and Communications Technology (QUATIC) (September 2010)","DOI":"10.1109\/QUATIC.2010.53"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B. Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol.\u00a04383, pp. 92\u2013108. Springer, Heidelberg (2007)"},{"key":"7_CR3","unstructured":"Steffen, B., Margaria, T., Freitag, B.: Module Configuration by Minimal Model Construction. Technical report, Universit\u00e4t Passau (1993)"},{"key":"7_CR4","unstructured":"Steffen, B., Margaria, T., von der Beeck, M.: Automatic synthesis of linear process models from temporal constraints: An incremental approach. In: ACM\/SIGPLAN Int. Workshop on Automated Analysis of Software, AAS 1997 (1997)"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s11334-009-0091-6","volume":"5","author":"M. Bakera","year":"2009","unstructured":"Bakera, M., Margaria, T., Renner, C., Steffen, B.: Tool-supported enhancement of diagnosis in model-driven verification. Innovations in Systems and Software Engineering\u00a05, 211\u2013228 (2009)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.-L., Naujokat, S., Steffen, B., Margaria, T.: Constraint-Guided Workflow Composition Based on the EDAM Ontology. In: Proc. of the Workshop on Semantic Web Applications and Tools for Life Sciences, Berlin. CEUR Workshop Proceedings, vol.\u00a0698 (December 2010)","DOI":"10.1038\/npre.2010.5397"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Semantics-based composition of EMBOSS services. Journal of Biomedical Semantics\u00a02(suppl. 1) (2011)","DOI":"10.1186\/2041-1480-2-S1-S5"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Naujokat, S., Lamprecht, A.L., Steffen, B.: Tailoring Process Synthesis to Domain Characteristics. In: Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS (2011)","DOI":"10.1109\/ICECCS.2011.24"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28872-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T20:23:18Z","timestamp":1556482998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28872-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288715","9783642288722"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28872-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}