{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:50:57Z","timestamp":1725511857150},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540712886"},{"type":"electronic","value":"9783540712893"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71289-3_9","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:03:44Z","timestamp":1183478624000},"page":"102-116","source":"Crossref","is-referenced-by-count":8,"title":["Flexible and Extensible Notations for Modeling Languages"],"prefix":"10.1007","author":[{"given":"Jimin","family":"Gao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mats","family":"Heimdahl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Van Wyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"9_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: Design, semantics, implementation. Science of Comp. Prog.\u00a019(2), 87\u2013152 (1992)","journal-title":"Science of Comp. Prog."},{"key":"9_CR2","unstructured":"Esterel-Technologies: Corporate web page (2004), http:\/\/www.esterel-technologies.com"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., Trakhtenbrot, M.: Statemate: A working environment for the development of complex reactive systems. IEEE Trans. on Soft. Engin.\u00a016(4) (1990)","DOI":"10.1109\/32.54292"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C., Bull, A., Gasarch, C., Labaw, B.: SCR*: A toolset for specifying and analyzing requirements. In: Proceedings of the Tenth Annual Conference on Computer Assurance, COMPASS 95 (1995)","DOI":"10.21236\/ADA465318"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/3-540-48166-4_11","volume-title":"Software Engineering - ESEC\/FSE \u201999","author":"J.M. Thompson","year":"1999","unstructured":"Thompson, J.M., Heimdahl, M.P.E., Miller, S.P.: Specification-Based Prototyping for Embedded Systems. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol.\u00a01687, p. 163. Springer, Heidelberg (1999)"},{"key":"9_CR6","unstructured":"Van Wyk, E., Heimdahl, M.: Flexibility in modeling languages and tools: A call to arms. In: Proc. of IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation (2005)"},{"issue":"9","key":"9_CR7","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language Lustre. Proc. of the IEEE\u00a079(9), 1305\u20131320 (1991)","journal-title":"Proc. of the IEEE"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Lagnier, F., Ratel, C.: Programming and verifying real-time systems by means of the synchronous data-flow language lustre. IEEE Transactions on Software Engineering, 785\u2013793 (1992)","DOI":"10.1109\/32.159839"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/3-540-45937-5_11","volume-title":"Compiler Construction","author":"E. Wyk Van","year":"2002","unstructured":"Van Wyk, E., de Moor, O., Backhouse, K., Kwiatkowski, P.: Forwarding in attribute grammars for modular language design. In: Horspool, R.N. (ed.) CC 2002 and ETAPS 2002. LNCS, vol.\u00a02304, pp. 128\u2013142. Springer, Heidelberg (2002)"},{"issue":"1","key":"9_CR10","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/TSE.1980.230208","volume":"6","author":"K. Heninger","year":"1980","unstructured":"Heninger, K.: Specifying software requirements for complex systems: New techniques and their application. IEEE Trans. on Software Engin.\u00a06(1), 2\u201313 (1980)","journal-title":"IEEE Trans. on Software Engin."},{"issue":"9","key":"9_CR11","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1109\/32.317428","volume":"20","author":"N. Leveson","year":"1994","unstructured":"Leveson, N., Heimdahl, M., Hildreth, H., Reese, J.: Requirements Specification for Process-Control Systems. IEEE Trans. on Software Engin.\u00a020(9), 684\u2013706 (1994)","journal-title":"IEEE Trans. on Software Engin."},{"key":"9_CR12","first-page":"33","volume-title":"Proc. 24th Intl. Conf. on Software Engineering","author":"M.K. Zimmerman","year":"2002","unstructured":"Zimmerman, M.K., Lundqvist, K., Leveson, N.: Investigating the readability of state-based formal requirements specification languages. In: Proc. 24th Intl. Conf. on Software Engineering, pp. 33\u201343. ACM Press, New York (2002)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Weise, D., Crew, R.: Programmable syntax macros. ACM SIGPLAN Notices\u00a028(6) (1993)","DOI":"10.1145\/173262.155105"},{"issue":"3","key":"9_CR14","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0167-6423(83)90021-7","volume":"3","author":"H. Ganzinger","year":"1983","unstructured":"Ganzinger, H.: Increasing modularity and language-independency in automatically generated compilers. Science of Computer Programing\u00a03(3), 223\u2013278 (1983)","journal-title":"Science of Computer Programing"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/BF01177548","volume":"31","author":"U. Kastens","year":"1994","unstructured":"Kastens, U., Waite, W.M.: Modularity and reusability in attribute grammars. Acta Informatica\u00a031, 601\u2013627 (1994)","journal-title":"Acta Informatica"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","first-page":"123","volume-title":"Programming Language Implementation and Logic Programming","author":"C. Bellec Le","year":"1993","unstructured":"Le Bellec, C., Jourdan, M., Parigot, D., Roussel, G.: Specification and implementation of grammar coupling using attribute grammars. In: Penjam, J., Bruynooghe, M. (eds.) PLILP 1993. LNCS, vol.\u00a0714, pp. 123\u2013136. Springer, Heidelberg (1993)"},{"key":"9_CR17","volume-title":"Proc. of European Conf. on Object-Oriented Prog., ECOOP\u201989","author":"G. Hedin","year":"1989","unstructured":"Hedin, G.: An object-oriented notation for attribute grammars. In: Proc. of European Conf. on Object-Oriented Prog., ECOOP\u201989, Cambridge Univ. Press, Cambridge (1989)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Vogt, H., Swierstra, S.D., Kuiper, M.F.: Higher-order attribute grammars. In: ACM PLDI Conf., pp. 131\u2013145 (1990)","DOI":"10.1145\/74818.74830"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-3-540-24851-4_7","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"T. Ekman","year":"2004","unstructured":"Ekman, T., Hedin, G.: Rewritable Reference Attributed Grammars. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 147\u2013171. Springer, Heidelberg (2004)"},{"issue":"5","key":"9_CR20","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/MC.1999.762800","volume":"32","author":"C. Simonyi","year":"1999","unstructured":"Simonyi, C.: The future is intentional. IEEE Computer\u00a032(5), 56\u201357 (1999)","journal-title":"IEEE Computer"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Van Wyk, E., Krishnan, L., Bodin, D., Johnson, E.: Adding domain-specific and general purpose language features to Java with the Java language extender. In: Companion to the Proc. OOPSLA (2006)","DOI":"10.1145\/1176617.1176696"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71289-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T22:38:13Z","timestamp":1556577493000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71289-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540712886","9783540712893"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71289-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}