{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:32:33Z","timestamp":1725525153106},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642002540"},{"type":"electronic","value":"9783642002557"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00255-7_23","type":"book-chapter","created":{"date-parts":[[2009,2,7]],"date-time":"2009-02-07T07:12:32Z","timestamp":1233990752000},"page":"337-351","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions"],"prefix":"10.1007","author":[{"given":"J\u00e9r\u00e9my","family":"Milhau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beno\u00eet","family":"Fraikin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Frappier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Fraikin, B., Gervais, F., Frappier, M., Laleau, R., Richard, M.: Synthesizing information systems: the APIS project. In: Rolland, C., Pastor, O., Cavarero, J.L. (eds.) First International Conference on Research Challenges in Information Science (RCIS), Ouarzazate, Morocco, April 2007, vol.\u00a012 (2007)"},{"issue":"2","key":"23_CR2","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s10270-003-0024-z","volume":"2","author":"M. Frappier","year":"2003","unstructured":"Frappier, M., St-Denis, R.: EB3: an entity-based black-box specification method for information systems. Software and Systems Modeling\u00a02(2), 134\u2013149 (2003)","journal-title":"Software and Systems Modeling"},{"issue":"3","key":"23_CR3","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/s10270-005-0083-4","volume":"4","author":"B. Fraikin","year":"2005","unstructured":"Fraikin, B., Frappier, M., Laleau, R.: State-based versus event-based specifications for information system specification: a comparison of b and eb3. Software and System Modeling\u00a04(3), 236\u2013257 (2005)","journal-title":"Software and System Modeling"},{"key":"23_CR4","unstructured":"Fraikin, B.: Interpr\u00e9tation efficace d\u2019expression de processus EB3: . PhD thesis, D\u00e9partement d\u2019informatique, Universit\u00e9 de Sherbrooke, Sherbrooke, Qu\u00e9bec, Canada (April 2006)"},{"issue":"4","key":"23_CR5","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1145\/2163.358083","volume":"26","author":"P.J. Brown","year":"1983","unstructured":"Brown, P.J.: Error messages: the neglected area of the man\/machine interface. Communications of the ACM\u00a026(4), 246\u2013249 (1983)","journal-title":"Communications of the ACM"},{"key":"23_CR6","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Reading, Mass (1986)"},{"key":"23_CR7","volume-title":"CSP\u2013Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: CSP\u2013Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"23_CR8","unstructured":"Milhau, J., Fraikin, B.: Technical report 25, an algorithm for automatic generation of error messages for EB3: . Technical report, Universit\u00e9 de Sherbrooke, D\u00e9partement d\u2019informatique (September 2008)"},{"key":"23_CR9","unstructured":"Leroy, X., Weis, P.: Manuel de r\u00e9f\u00e9rence du langage Caml. InterEditions (1993)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00255-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,5]],"date-time":"2019-03-05T06:31:58Z","timestamp":1551767518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00255-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642002540","9783642002557"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00255-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}