{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T18:14:26Z","timestamp":1761675266365},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304920"},{"type":"electronic","value":"9783540322405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589976_12","type":"book-chapter","created":{"date-parts":[[2005,10,26]],"date-time":"2005-10-26T13:38:16Z","timestamp":1130333896000},"page":"187-206","source":"Crossref","is-referenced-by-count":17,"title":["Formal Methods Meet Domain Specific Languages"],"prefix":"10.1007","author":[{"given":"Jean-Paul","family":"Bodeveix","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mamoun","family":"Filali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julia","family":"Lawall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Muller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning programs to meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book: Assigning programs to meanings. Cambridge University Press, Cambridge (1996)"},{"doi-asserted-by":"crossref","unstructured":"Badeau, F., Amelot, A.: Using B as a high level programming language in an industrial project: Roissy VAL. In: Treharne, H. King, S., Henson, M., Schneider, S., (eds.). ZB 2005: Formal Specification and Development in Z and B. LNCS, vol. 2215, Guildford, UK, pp. 298\u2013315. Springer, Heidelberg (2005)","key":"12_CR2","DOI":"10.1007\/11415787_20"},{"unstructured":"Basu, A., Hayden, M., Morrisett, G., von Eicken, T.: A language-based approach to protocol construction. In: Proceedings of the ACM SIGPLAN Workshop on Domain Specific Languages, Paris, France (January 1997)","key":"12_CR3"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/BFb0053352","volume-title":"B\u201998: Recent Advances in the Development and Use of the B Method","author":"P. Behm","year":"1998","unstructured":"Behm, P., Desforges, P., Meynadier, J.-M.: M\u00e9t\u00e9or: An industrial success in formal development. In: Bert, D. (ed.) B 1998. LNCS, vol.\u00a01393, p. 26. Springer, Heidelberg (1998)"},{"key":"12_CR5","doi-asserted-by":"publisher","DOI":"10.1002\/0470856343","volume-title":"Scheduling in Real-Time Systems","author":"F. Cottet","year":"2002","unstructured":"Cottet, F., Delacroix, J., Kaiser, C., Mammeri, Z.: Scheduling in Real-Time Systems. Wiley, West Sussex (2002)"},{"doi-asserted-by":"crossref","unstructured":"Henriksen, J., Jensen, J., Jorgensen, M., Klarlund, N., Paige, R., Rauhe, T., Sandholm, A.: Mona: Monadic second-order logic in practice. In: Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Aarhus, May 1995, pp. 58\u201373 (1995), http:\/\/www.brics.dk\/~mona","key":"12_CR6","DOI":"10.7146\/brics.v2i21.19923"},{"unstructured":"Jaluna. Jaluna Osware, http:\/\/www.jaluna.com","key":"12_CR7"},{"doi-asserted-by":"crossref","unstructured":"Kumar, S., Mandelbaum, Y., Yu, X., Li, K.: ESP: a language for programmable devices. In: Proceedings of the ACM SIGPLAN 2001 conference on Programming Language Design and Implementation, Snowbird, UT, June 2001, pp. 309\u2013320 (2001)","key":"12_CR8","DOI":"10.1145\/378795.378862"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-30175-2_23","volume-title":"Generative Programming and Component Engineering","author":"J. Lawall","year":"2004","unstructured":"Lawall, J., Le Meur, A.-F., Muller, G.: On designing a target-independent DSL for safe OS process-scheduling components. In: Karsai, G., Visser, E. (eds.) GPCE 2004. LNCS, vol.\u00a03286, pp. 436\u2013455. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Leijen, D., Meijer, E.: Domain specific embedded compilers. In: Proceedings of the Second Conference on Domain-Specific Languages (DSL 1999), Austin, TX, October 1999, pp. 109\u2013122 (1999)","key":"12_CR10","DOI":"10.1145\/331960.331977"},{"key":"12_CR11","first-page":"133","volume-title":"Handbook of Theoretical Computer Science","author":"W. Thomas","year":"1990","unstructured":"Thomas, W.: Automata on infinite objects. In: Leeuwen, J.v. (ed.) Handbook of Theoretical Computer Science, pp. 133\u2013192. MIT Press, Cambridge (1990)"},{"issue":"6","key":"12_CR12","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A. Deursen van","year":"2000","unstructured":"van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: An annotated bibliography. ACM SIGPLAN Notices\u00a035(6), 26\u201336 (2000)","journal-title":"ACM SIGPLAN Notices"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589976_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T14:05:35Z","timestamp":1586527535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589976_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304920","9783540322405"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11589976_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}