{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:21:49Z","timestamp":1742944909827,"version":"3.40.3"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319195803"},{"type":"electronic","value":"9783319195810"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19581-0_27","type":"book-chapter","created":{"date-parts":[[2015,6,4]],"date-time":"2015-06-04T02:30:20Z","timestamp":1433385020000},"page":"300-306","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A Controlled Natural Language for Business Intelligence Monitoring"],"prefix":"10.1007","author":[{"given":"Christian","family":"Colombo","sequence":"first","affiliation":[]},{"given":"Jean-Paul","family":"Grech","sequence":"additional","affiliation":[]},{"given":"Gordon J.","family":"Pace","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,4]]},"reference":[{"key":"27_CR1","unstructured":"Facebook real-time updates. March 2014. https:\/\/developers.facebook.com\/docs\/graph-api\/real-time-updates"},{"key":"27_CR2","unstructured":"Geckoboard. December 2013. http:\/\/www.geckoboard.com"},{"key":"27_CR3","unstructured":"Tableau software. December 2013. http:\/\/www.tableausoftware.com"},{"key":"27_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/11498490_24","volume-title":"Model-Based Testing of Reactive Systems","author":"S Colin","year":"2005","unstructured":"Colin, S., Mariani, L.: 18 run-time verification. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 525\u2013555. Springer, Heidelberg (2005)"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: Larva \u2013 safer monitoring of real-time java programs (tool paper). In: Software Engineering and Formal Methods, pp. 33\u201337. IEEE (2009)","DOI":"10.1109\/SEFM.2009.13"},{"key":"27_CR6","unstructured":"Esser, M.W., Struss, P.: Obtaining models for test generation from natural-language-like functional specifications. In: Workshop on Principles of Diagnosis, pp. 75\u201382 (2007)"},{"issue":"1","key":"27_CR7","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1162\/COLI_a_00168","volume":"40","author":"T Kuhn","year":"2014","unstructured":"Kuhn, T.: A survey and classification of controlled natural languages. Comput. Linguist. 40(1), 121\u2013170 (2014)","journal-title":"Comput. Linguist."},{"key":"27_CR8","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebr. Program. 78, 293\u2013303 (2009)","journal-title":"J. Log. Algebr. Program."},{"issue":"2","key":"27_CR9","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1017\/S0956796803004738","volume":"14","author":"A Ranta","year":"2004","unstructured":"Ranta, A.: Grammatical framework. J. Funct. Program. 14(2), 145\u2013189 (2004)","journal-title":"J. Funct. Program."}],"container-title":["Lecture Notes in Computer Science","Natural Language Processing and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19581-0_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T10:10:48Z","timestamp":1676455848000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19581-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319195803","9783319195810"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19581-0_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"4 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}