{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T23:06:41Z","timestamp":1781651201691,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642118104","type":"print"},{"value":"9783642118111","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11811-1_5","type":"book-chapter","created":{"date-parts":[[2010,2,19]],"date-time":"2010-02-19T11:57:22Z","timestamp":1266580642000},"page":"47-60","source":"Crossref","is-referenced-by-count":4,"title":["B\u00e2run: A Scripting Language for CoreASM"],"prefix":"10.1007","author":[{"given":"Michael","family":"Altenhofen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roozbeh","family":"Farahbod","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Farahbod, R.: CoreASM: An Extensible Modeling Framework & Tool Environment for High-level Design and Analysis of Distributed Systems. PhD thesis, Simon Fraser University, Burnaby, Canada (May 2009)"},{"key":"5_CR2","unstructured":"Farahbod, R., et al.: The CoreASM Project (2009), http:\/\/www.coreasm.org"},{"issue":"1-3","key":"5_CR3","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.apal.2004.10.007","volume":"133","author":"E. B\u00f6rger","year":"2005","unstructured":"B\u00f6rger, E.: Abstract state machines: a unifying view of models of computation and of system design frameworks. Ann. Pure Appl. Logic\u00a0133(1-3), 149\u2013171 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"5_CR4","first-page":"3051","volume-title":"HICSS \u201999: Proceedings of the Thirty-Second Annual Hawaii International Conference on System Sciences","author":"J.M. Carroll","year":"1999","unstructured":"Carroll, J.M.: Five reasons for scenario-based design. In: HICSS \u201999: Proceedings of the Thirty-Second Annual Hawaii International Conference on System Sciences, Washington, DC, USA, vol.\u00a03, p. 3051. IEEE Computer Society, Los Alamitos (1999)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Altenhofen, M., Brucker, A.: Practical issues with formal software specifications: Lessons learned from an industrial case study (submitted for publication, 2009)","DOI":"10.1007\/978-3-642-15898-8_2"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Weidenhaupt, K., Pohl, K., Jarke, M., Haumer, P.: Scenarios in system development: Current practice. IEEE Software\u00a015(2) (1998)","DOI":"10.1109\/52.663783"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Babar, M.A., Gorton, I.: Comparison of scenario-based software architecture evaluation methods. In: 11th Asia-Pacific Software Engineering Conference, pp. 600\u2013607 (2004)","DOI":"10.1109\/APSEC.2004.38"},{"issue":"6","key":"5_CR8","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/52.542294","volume":"13","author":"R. Kazman","year":"1996","unstructured":"Kazman, R., Abowd, G., Bass, L., Clements, P.: Scenario-based analysis of software architecture. IEEE Software\u00a013(6), 47\u201355 (1996)","journal-title":"IEEE Software"},{"key":"5_CR9","unstructured":"Ryser, J., Glinz, M.: A practical approach to validating and testing software systems using scenarios. In: QWE 1999, 3rd International Software Quality Week Europe (1999)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-87603-8_7","volume-title":"Abstract State Machines, B and Z","author":"A. Carioni","year":"2008","unstructured":"Carioni, A., Gargantini, A., Riccobene, E., Scandurra, P.: A scenario-based validation language for ASMs. In: B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol.\u00a05238, pp. 71\u201384. Springer, Heidelberg (2008)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-78917-8_2","volume-title":"Formal Methods and Testing","author":"M. Veanes","year":"2008","unstructured":"Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson, L.: Model-based testing of object-oriented reactive systems with Spec Explorer. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST 2008. LNCS, vol.\u00a04949, pp. 39\u201376. Springer, Heidelberg (2008)"},{"key":"5_CR12","unstructured":"Microsoft FSE Group: Spec Explorer (2008), http:\/\/research.microsoft.com\/specexplorer (Last visited, July 2008)"},{"issue":"15","key":"5_CR13","doi-asserted-by":"publisher","first-page":"1027","DOI":"10.1016\/j.infsof.2004.07.007","volume":"46","author":"W. Grieskamp","year":"2004","unstructured":"Grieskamp, W., Tillmann, N., Veanes, M.: Instrumenting scenarios in a model-driven development environment. Information and Software Technology\u00a046(15), 1027\u20131036 (2004)","journal-title":"Information and Software Technology"},{"key":"5_CR14","volume-title":"Proceedings of Third International Conference On Quality Software (QSIC 2003)","author":"M. Barnett","year":"2003","unstructured":"Barnett, M., Grieskamp, W., Schulte, W., Tillmann, N., Veanes, M.: Validating use-cases with the AsmL test tool. In: Proceedings of Third International Conference On Quality Software (QSIC 2003). IEEE, Los Alamitos (2003)"},{"key":"5_CR15","unstructured":"Formal Methods laboratory of University of Milan: Asmeta (2006), http:\/\/asmeta.sourceforge.net\/ (Last visited, June 2008)"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11811-1_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:44:21Z","timestamp":1606185861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11811-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642118104","9783642118111"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11811-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}