{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T21:38:23Z","timestamp":1766180303157},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642144172"},{"type":"electronic","value":"9783642144189"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14418-9_14","type":"book-chapter","created":{"date-parts":[[2010,7,6]],"date-time":"2010-07-06T11:38:36Z","timestamp":1278416316000},"page":"226-245","source":"Crossref","is-referenced-by-count":12,"title":["A Controlled Language for the Specification of Contracts"],"prefix":"10.1007","author":[{"given":"Gordon J.","family":"Pace","sequence":"first","affiliation":[]},{"given":"Michael","family":"Rosner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Pulman, S.: Controlled language for knowledge representation. In: Proceedings of the First International Workshop on Controlled Language Applications, Leuven, Belgium (1996)"},{"key":"14_CR2","unstructured":"Vauquois, B.: A survey of formal grammars and algorithms for recognition and transformation in mechanical translation. In: IFIP Congress, vol.\u00a0(2), pp. 1114\u20131122 (1968)"},{"key":"14_CR3","unstructured":"Meyer, J.J.C., Dignum, F., Wieringa, R.: The paradoxes of deontic logic revisited: A computer science perspective (or: Should computer scientists be bothered by the concerns of philosophers?). Technical Report UU-CS-1994-38, Department of Information and Computing Sciences, Utrecht University (1994)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00255-7_20","volume-title":"Integrated Formal Methods","author":"G.J. Pace","year":"2009","unstructured":"Pace, G.J., Schneider, G.: Challenges in the specification of full contracts. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.\u00a05423, Springer, Heidelberg (2009)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-72952-5_11","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"C. Prisacariu","year":"2007","unstructured":"Prisacariu, C., Schneider, G.: A formal language for electronic contracts. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 174\u2013189. Springer, Heidelberg (2007)"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75596-8_8","volume-title":"Automated Technology for Verification and Analysis","author":"G. Pace","year":"2007","unstructured":"Pace, G., Prisacariu, C., Schneider, G.: Model checking contracts \u2013a case study. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol.\u00a04762, Springer, Heidelberg (2007)"},{"issue":"2","key":"14_CR7","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1145\/506147.506151","volume":"49","author":"E. Asarin","year":"2002","unstructured":"Asarin, E., Caspi, P., Maler, O.: Timed regular expressions. Journal of the ACM\u00a049(2), 172\u2013206 (2002)","journal-title":"Journal of the ACM"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/242224.242477","volume":"28","author":"P. Hudak","year":"1996","unstructured":"Hudak, P.: Building domain-specific embedded languages. ACM Computing Surveys\u00a028, 196 (1996)","journal-title":"ACM Computing Surveys"},{"key":"14_CR9","first-page":"134","volume-title":"Proceedings of the 5th International Conference on Software Reuse","author":"P. Hudak","year":"1998","unstructured":"Hudak, P.: Modular domain specific languages and tools. In: Devanbu, P., Poulin, J. (eds.) Proceedings of the 5th International Conference on Software Reuse, pp. 134\u2013142. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1145\/351240.351267","volume-title":"ICFP 2000: Proceedings of the 5th ACM SIGPLAN international conference on Functional programming","author":"S.P. Jones","year":"2000","unstructured":"Jones, S.P., Eber, J.M., Seward, J.: Composing contracts: an adventure in financial engineering (functional pearl). In: ICFP 2000: Proceedings of the 5th ACM SIGPLAN international conference on Functional programming, pp. 280\u2013292. ACM Press, New York (2000)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Claessen, K., Sheeran, M., Singh, S.: Functional hardware description in Lava. In: The Fun of Programming. Cornerstones of Computing, Palgrave, pp. 151\u2013176 (2003)","DOI":"10.1007\/978-1-349-91518-7_8"},{"key":"14_CR12","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"S.P. Jones","year":"2003","unstructured":"Jones, S.P.: Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-85658-0_3","volume-title":"Reasoning Web","author":"N.E. Fuchs","year":"2008","unstructured":"Fuchs, N.E., Kaljurand, K., Kuhn, T.: Attempto Controlled English for Knowledge Representation. In: Baroglio, C., Bonatti, P.A., Ma\u0142uszy\u0144ski, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol.\u00a05224, pp. 104\u2013124. Springer, Heidelberg (2008)"},{"key":"14_CR14","series-title":"Studies in Linguistics and Philosophy","volume-title":"From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory","author":"H. Kamp","year":"1993","unstructured":"Kamp, H., Reyle, U.: From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Studies in Linguistics and Philosophy. Springer, Heidelberg (1993)"},{"key":"14_CR15","unstructured":"Shieber, S.: An Introduction to Unification-Based Approaches to Grammar. CSLI Publications, Stanford University (1986)"},{"key":"14_CR16","series-title":"Studies in natural language processing.","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511519857","volume-title":"Building natural language generation systems","author":"E. Reiter","year":"2000","unstructured":"Reiter, E., Dale, R.: Building natural language generation systems. Studies in natural language processing. Cambridge University Press, Cambridge (2000)"}],"container-title":["Lecture Notes in Computer Science","Controlled Natural Language"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14418-9_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:26:43Z","timestamp":1619785603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14418-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642144172","9783642144189"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14418-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}