{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:22Z","timestamp":1725564862666},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642155789"},{"type":"electronic","value":"9783642155796"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15579-6_1","type":"book-chapter","created":{"date-parts":[[2010,9,7]],"date-time":"2010-09-07T03:09:34Z","timestamp":1283828974000},"page":"1-15","source":"Crossref","is-referenced-by-count":6,"title":["Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems"],"prefix":"10.1007","author":[{"given":"Naoyasu","family":"Ubayashi","sequence":"first","affiliation":[]},{"given":"Shin","family":"Nakajima","sequence":"additional","affiliation":[]},{"given":"Masayuki","family":"Hirayama","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Component-Based Product Line Engineering with the UML","author":"C. Atkinson","year":"2001","unstructured":"Atkinson, C., et al.: Component-Based Product Line Engineering with the UML. Addison-Wesley, Reading (2001)"},{"key":"1_CR2","volume-title":"Software Product Lines","author":"P. Clements","year":"2001","unstructured":"Clements, P., Northrop, L.: Software Product Lines. Addison-Wesley, Reading (2001)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Dehlinger, J., Lutz, R.: Software Fault Tree Analysis for Product Lines. In: Proceedings of the Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE 2004), pp. 12\u201321 (2004)","DOI":"10.1109\/HASE.2004.1281726"},{"key":"1_CR4","unstructured":"CSK: VDMTools \u2013The CSK VDM++ Language, \n                    \n                      http:\/\/www.vdmtools.jp\/files\/langmanpp_a4E.pdf"},{"key":"1_CR5","volume-title":"Modeling Systems, Practical Tools and Techniques in Software Development","author":"J. Fitzgerald","year":"1998","unstructured":"Fitzgerald, J., Larsen, G.P.: Modeling Systems, Practical Tools and Techniques in Software Development. Cambridge University Press, Cambridge (1998)"},{"key":"1_CR6","unstructured":"Greenspan, S., Mylopoulos, J., Borgida, A.: Capturing More World Knowledge in the Requirements Specification. In: Proceedings of International Conference on Software Engineering (ICSE 1982), pp. 225\u2013234 (1982)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-45236-2_10","volume-title":"FME 2003: Formal Methods","author":"I. Hayes","year":"2003","unstructured":"Hayes, I., Jackson, M., Jones, C.: Determining the specification of a control system from that of its environment. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 154\u2013169. Springer, Heidelberg (2003)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/11813040_21","volume-title":"FM 2006: Formal Methods","author":"P. H\u00f6fner","year":"2006","unstructured":"H\u00f6fner, P., Khedri, R., M\u00f6ller, B.: Feature Algebra. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 300\u2013315. Springer, Heidelberg (2006)"},{"issue":"4","key":"1_CR9","first-page":"21","volume":"29","author":"D. Jackson","year":"1996","unstructured":"Jackson, D., Wing, J.: Lightweight Formal Methods. IEEE Computer\u00a029(4), 21\u201322 (1996)","journal-title":"IEEE Computer"},{"key":"1_CR10","volume-title":"Software Abstractions","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions. The MIT Press, Cambridge (2006)"},{"key":"1_CR11","volume-title":"Problem Frame: Analyzing and Structuring Software Development Problems","author":"M. Jackson","year":"2001","unstructured":"Jackson, M.: Problem Frame: Analyzing and Structuring Software Development Problems. Addison-Wesley, Reading (2001)"},{"issue":"4","key":"1_CR12","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/2.488361","volume":"29","author":"C.B. Jones","year":"1996","unstructured":"Jones, C.B.: A Rigorous Approach To Formal Methods. IEEE Computer\u00a029(4), 20\u201321 (1996)","journal-title":"IEEE Computer"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1018980625587","volume":"5","author":"K.C. Kang","year":"1998","unstructured":"Kang, K.C., Kim, S., Lee, J., Shin, E., Huh, M.: FORM: A Feature-oriented Reuse Method with Domain-specific Reference Architecture. Annals of Software Engineering\u00a05, 143\u2013168 (1998)","journal-title":"Annals of Software Engineering"},{"issue":"4","key":"1_CR14","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/MS.2002.1020288","volume":"9","author":"K.C. Kang","year":"2002","unstructured":"Kang, K.C., Lee, J., Donohoe, P.: Feature-Oriented Product Line Engineering. IEEE Software\u00a09(4), 58\u201365 (2002)","journal-title":"IEEE Software"},{"key":"1_CR15","volume-title":"Safeware: System Safety and Computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley, Reading (1995)"},{"key":"1_CR16","unstructured":"Liu, J., Dehlinger, J., Lutz, R.: Safety Analysis of Software Product Lines Using State-Based Modeling. In: Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), pp. 21\u201330 (2005)"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/BFb0027284","volume-title":"ZUM\u201997: The Z Formal Specification Notation","author":"M. Saaltink","year":"1997","unstructured":"Saaltink, M.: The Z\/EVES system. In: Bowen, J.P., Hinchey, M.G., Till, D. (eds.) ZUM 1997. LNCS, vol.\u00a01212, pp. 72\u201385. Springer, Heidelberg (1997)"},{"key":"1_CR18","unstructured":"Sahara, S.: Current status of VDMTools. Talk at the 2nd Overture Workshop, FM 2006, Hamilton (August 2006), \n                    \n                      http:\/\/www.overturetool.org\/downloads\/ows2\/slides6.pdf"},{"key":"1_CR19","unstructured":"Sun, J., Zhang, H., Fang, Y., Wang, L.H.: Formal Semantics and Verification for Feature Modeling. In: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005), pp. 303\u2013312 (2005)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Ubayashi, N., Nakajima, S.: Context-aware Feature-Oriented Modeling with an Aspect Extension of VDM. In: Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 2007), pp. 1269\u20131274 (2007)","DOI":"10.1145\/1244002.1244277"},{"key":"1_CR21","unstructured":"VDMTools, \n                    \n                      http:\/\/www.vdmtools.jp\/"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Zuo, H., Mannion, M., Sellier, D., Foley, R.: An Extension of Problem Frame Notation for Software Product Lines. In: Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), pp. 499\u2013505 (2005)","DOI":"10.1109\/APSEC.2005.35"}],"container-title":["Lecture Notes in Computer Science","Software Product Lines: Going Beyond"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15579-6_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T08:58:03Z","timestamp":1619773083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15579-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642155789","9783642155796"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15579-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}