{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:58:54Z","timestamp":1725566334348},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229186"},{"type":"electronic","value":"9783540286301"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-28630-1_5","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T20:55:34Z","timestamp":1285016134000},"page":"73-89","source":"Crossref","is-referenced-by-count":10,"title":["Automatic Generation of Program Families by Model Restrictions"],"prefix":"10.1007","author":[{"given":"Andrzej","family":"W\u0119sowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Essays in Honour of Robin Milner, Foundations of Computing Series","doi-asserted-by":"crossref","first-page":"425","DOI":"10.7551\/mitpress\/5641.003.0021","volume-title":"Proof, Language and Interaction","author":"G. Berry","year":"2000","unstructured":"Berry, G.: The foundations of Esterel. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction. Essays in Honour of Robin Milner, Foundations of Computing Series, pp. 425\u2013454. The MIT Press, Cambridge (2000)"},{"issue":"5","key":"5_CR2","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF00271642","volume":"21","author":"M.A. Bulyonkov","year":"1984","unstructured":"Bulyonkov, M.A.: Polyvariant Mixed Computation for Analyzer Programs. Acta Informatica\u00a021(5), 473\u2013484 (1984)","journal-title":"Acta Informatica"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/3-540-45821-2_10","volume-title":"Generative Programming and Component Engineering (GPCE)","author":"K. Czarnecki","year":"2002","unstructured":"Czarnecki, K., Bednasch, T., Unger, P., Eisenecker, U.: Generative programming for embedded software: An industrial experience report. In: Batory, D., Consel, C., Taha, W. (eds.) Generative Programming and Component Engineering (GPCE), Pittsburgh, PA, USA, October 2002. LNCS, vol.\u00a02487, pp. 156\u2013172. Springer, Heidelberg (2002)"},{"key":"5_CR4","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/3-540-45441-1_21","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"G. Engels","year":"2001","unstructured":"Engels, G., Heckel, R., K\u00fcster, J.M.: Rule-based specification of behavioral consistency based on the UML meta-model. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 272\u2013286. Springer, Heidelberg (2001)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"issue":"9","key":"5_CR7","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1109\/TSE.2002.1033228","volume":"28","author":"D. Harel","year":"2002","unstructured":"Harel, D., Kupferman, O.: On object systems and behavioral inheritance. IEEE Transactions on Software Engineering\u00a028(9), 889\u2013903 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR8","series-title":"NATO ASI","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/978-3-642-82453-1_17","volume-title":"Logic and Model of Concurrent Systems","author":"D. Harel","year":"1985","unstructured":"Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (ed.) Logic and Model of Concurrent Systems, October 1985. NATO ASI, vol.\u00a013, pp. 477\u2013498. Springer, Heidelberg (1985)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Partial Evaluation: Practice and Theory. DIKU 1998 International Summer School","year":"1999","unstructured":"Hatcliff, J., Mogensen, T.\u00c6., Thiemann, P. (eds.): Partial Evaluation: Practice and Theory. DIKU 1998 International Summer School. LNCS, vol.\u00a01706. Springer, Copenhagen (1999)"},{"key":"5_CR10","series-title":"International Series in Computer Science","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. International Series in Computer Science. Prentice Hall, Englewood Cliffs (1985)"},{"key":"5_CR11","unstructured":"IAR Inc. IAR visualSTATE\u00ae . http:\/\/www.iar.com\/Products\/VS\/"},{"key":"5_CR12","series-title":"International Series in Computer Science","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. International Series in Computer Science. Prentice Hall, Englewood Cliffs (1993), http:\/\/www.dina.kvl.dk\/sestoft\/pebook"},{"key":"5_CR13","first-page":"1","volume-title":"Fifth Annual IEEE Symposium on Logic in Computer Science","author":"J.R. Burch","year":"1990","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic Model Checking: 1020 States and Beyond. In: Fifth Annual IEEE Symposium on Logic in Computer Science, Washington, D.C, pp. 1\u201333. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"5_CR14","unstructured":"Nielsen, J.B.L.: Verification of Large\/State Event Systems. PhD thesis, Technical University of Denmark (April 2000)"},{"key":"5_CR15","unstructured":"Object Management Group. OMG Unified Modelling Language specification (1999), http:\/\/www.omg.org"},{"issue":"1","key":"5_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSE.1976.233797","volume":"SE-2","author":"D.L. Parnas","year":"1976","unstructured":"Parnas, D.L.: On the design and development of program families. IEEE Transactions on Software Engineering\u00a0SE-2(1), 1\u20139 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR17","unstructured":"SCOPE: A statechart compiler (2003), http:\/\/www.mini.pw.edu.pl\/wasowski\/scope"},{"issue":"3","key":"5_CR18","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F.: A survey of program slicing techniques. Journal of Programming Languages\u00a03(3), 121\u2013189 (1995)","journal-title":"Journal of Programming Languages"},{"key":"5_CR19","volume-title":"ACM SIGPLAN Languages, Compilers, and Tools for Embedded Systems (LCTES)","author":"A. W\u0105sowski","year":"2003","unstructured":"W\u0105sowski, A.: On Efficient Program Synthesis from Statecharts. In: ACM SIGPLAN Languages, Compilers, and Tools for Embedded Systems (LCTES), San Diego, USA, June 2003, ACM Press, New York (2003)"},{"key":"5_CR20","unstructured":"W\u0105sowski, A., Sestoft, P.: On the formal semantics of visual- STATE statecharts. Technical Report TR-2002-19, IT University of Copenhagen (September 2002)"},{"key":"5_CR21","unstructured":"Ziadi, T., J\u00e9z\u00e9quel, J.-M., Fondement, F.: Product line derivation with UML. In: Software Variability Management Workshop, University of Groningen Departement of Mathematics and Computing Science (February 2003)"}],"container-title":["Lecture Notes in Computer Science","Software Product Lines"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-28630-1_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T16:42:20Z","timestamp":1711816940000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-28630-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229186","9783540286301"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-28630-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}