{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:56:06Z","timestamp":1725501366728},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540776833"},{"type":"electronic","value":"9783540776840"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77684-0_1","type":"book-chapter","created":{"date-parts":[[2008,1,29]],"date-time":"2008-01-29T02:33:44Z","timestamp":1201574024000},"page":"1-4","source":"Crossref","is-referenced-by-count":2,"title":["Coupling Design and Verification in Software Product Lines"],"prefix":"10.1007","author":[{"given":"Egon","family":"B\u00f6rger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Don","family":"Batory","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Batory, D., B\u00f6rger, E.: Modularizing theorems for software product lines (2008)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Batory, D., Lofaso, B., Smaragdakis, Y.: Jts: Tools for implementing domain-specific languages. In: Proc. ICSR (1998)","DOI":"10.1109\/ICSR.1998.685739"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Batory, D., O\u2019Malley, S.: The design and implementation of hierarchical software systems with reusable components. ACM TOSEM (October 1992)","DOI":"10.1145\/136586.136587"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Batory, D., Sarvela, J., Rauschmayer, A.: Scaling step-wise refinement. IEEE TSE (June 2004)","DOI":"10.1109\/ICSE.2003.1201199"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s00165-006-0019-y","volume":"19","author":"E. B\u00f6rger","year":"2007","unstructured":"B\u00f6rger, E.: Construction and analysis of ground models and their refinements as a foundation for validating computer based systems. Formal Aspects of Computing\u00a019, 225\u2013241 (2007)","journal-title":"Formal Aspects of Computing"},{"issue":"2\u20133","key":"1_CR6","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.tcs.2004.11.008","volume":"336","author":"E. B\u00f6rger","year":"2005","unstructured":"B\u00f6rger, E., Fruja, G., Gervasi, V., St\u00e4rk, R.: A high-level modular definition of the semantics of C#. Theoretical Computer Science\u00a0336(2\u20133), 235\u2013284 (2005)","journal-title":"Theoretical Computer Science"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/978-3-540-30101-1_3","volume-title":"Formal Methods for Components and Objects","author":"E. B\u00f6rger","year":"2004","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Exploiting Abstraction for Specification Reuse. The Java\/C# Case Study. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, pp. 42\u201376. Springer, Heidelberg (2004)"},{"issue":"9","key":"1_CR8","doi-asserted-by":"crossref","first-page":"29","DOI":"10.5381\/jot.2004.3.9.a2","volume":"3","author":"N.G. Fruja","year":"2004","unstructured":"Fruja, N.G.: The correctness of the definite assignment analysis in C#. Journal of Object Technology\u00a03(9), 29\u201352 (2004)","journal-title":"Journal of Object Technology"},{"key":"1_CR9","unstructured":"Fruja, N.G.: A modular design for the Common Language Runtime (CLR) architecture. In: Beauquier, D., B\u00f6rger, E., Slissenko, A. (eds.) Proc. ASM 2005, vol.\u00a012, pp. 175\u2013200. Universit\u00e9 de Paris (2005)"},{"key":"1_CR10","unstructured":"Fruja, N.G.: Type Safety of C# and .NET CLR. PhD thesis, ETH Z\u00fcrich (2006)"},{"issue":"3","key":"1_CR11","doi-asserted-by":"crossref","first-page":"5","DOI":"10.5381\/jot.2006.5.3.a1","volume":"5","author":"N.G. Fruja","year":"2006","unstructured":"Fruja, N.G., B\u00f6rger, E.: Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis. Journal of Object Technology\u00a05(3), 5\u201334 (2006)","journal-title":"Journal of Object Technology"},{"key":"1_CR12","unstructured":"Grammes, R.: Syntactic and Semantic Modularization of Modelling Languages. PhD thesis, University of Kaiserslautern, Germany (2007)"},{"issue":"1","key":"1_CR13","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/602382.602403","volume":"50","author":"C.A.R. Hoare","year":"2003","unstructured":"Hoare, C.A.R.: The verifying compiler: A grand challenge for computing research. J. ACM\u00a050(1), 63\u201369 (2003)","journal-title":"J. ACM"},{"key":"1_CR14","unstructured":"Hoare, T., Misra, J.: Verified software: theories, tools, experiments. Vision of a Grand Challenge project. In: Meyer, B. (ed.) Proc. IFIP WG Conference on Verified Software: Tools, Techniques, and Experiments. ETH, Z\u00fcrich (October 2005), http:\/\/vstte.ethz.ch\/papers.html"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Jones, C., O\u2019Hearn, P., Woodcock, J.: Verified software: A grand challenge. IEEE Computer (April 2006)","DOI":"10.1109\/MC.2006.145"},{"key":"1_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., Bockle, G., Linden, F.v.d.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Heidelberg (2005)"},{"key":"1_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59495-3","volume-title":"Java and the Java Virtual Machine: Definition, Verification, Validation","author":"R.F. St\u00e4rk","year":"2001","unstructured":"St\u00e4rk, R.F., Schmid, J., B\u00f6rger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77684-0_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:48:29Z","timestamp":1619506109000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77684-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540776833","9783540776840"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77684-0_1","relation":{},"subject":[]}}