{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T15:07:50Z","timestamp":1725808070521},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319125671"},{"type":"electronic","value":"9783319125688"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29749-6_15","type":"book-chapter","created":{"date-parts":[[2012,4,12]],"date-time":"2012-04-12T05:47:47Z","timestamp":1334209667000},"page":"218-233","source":"Crossref","is-referenced-by-count":0,"title":["Stepwise Context Boundary Exploration Using Guide Words"],"prefix":"10.1007","author":[{"given":"Naoyasu","family":"Ubayashi","sequence":"first","affiliation":[]},{"given":"Yasutaka","family":"Kamei","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Atkinson, C., et al.: Component-Based Product Line Engineering with the UML. Addison-Wesley (2001)","DOI":"10.1007\/3-540-46020-9_34"},{"key":"15_CR2","unstructured":"Coleman, J.W., Jones, C.B.: Examples of how to Determine the Specifications of Control Systems. In: Proceedings of Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), pp. 65\u201373 (2005)"},{"key":"15_CR3","unstructured":"Fitzgerald, J., Larsen, G.P., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for Object-oriented Systems. Springer (2005)"},{"key":"15_CR4","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":"15_CR5","doi-asserted-by":"crossref","unstructured":"Hartmann, H., Trew, T.: Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains. In: Proceedings of the 12th International Software Product Line Conference (SPLC 2008), pp. 12\u201321 (2008)","DOI":"10.1109\/SPLC.2008.15"},{"key":"15_CR6","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":"15_CR7","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C.L., Bull, A., Gasarch, C., Labaw, B.G.: SCR*: A Toolset for Specifying and Analyzing Requirements. In: Proceedings of Computer Assurance (COMPASS), pp. 109\u2013122 (1995)","DOI":"10.21236\/ADA465318"},{"issue":"7","key":"15_CR8","first-page":"650","volume":"6","author":"C. Heitmeyer","year":"2000","unstructured":"Heitmeyer, C., Bharadwaj, R.: Applying the SCR Requirements Method to the Light Control Case Study. Journal of Universal Computer Science\u00a06(7), 650\u2013678 (2000)","journal-title":"Journal of Universal Computer Science"},{"key":"15_CR9","unstructured":"Jackson, M.: Problem Frame: Analyzing and Structuring Software Development Problems. Addison-Wesley (2001)"},{"key":"15_CR10","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":"15_CR11","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":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-15579-6_3","volume-title":"Software Product Lines: Going Beyond","author":"K. Lee","year":"2010","unstructured":"Lee, K., Kang, K.C.: Usage Context as Key Driver for Feature Selection. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 32\u201346. Springer, Heidelberg (2010)"},{"key":"15_CR13","unstructured":"Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley Publishing Company (1995)"},{"key":"15_CR14","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence\u00a04, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"15_CR15","unstructured":"Parnas, D.L., Madey, J.: Functional Documentation for Computer Systems Engineering, McMaster University, Technical Report CRL 237 (1991)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/11554844_4","volume-title":"Software Product Lines","author":"M.-O. Reiser","year":"2005","unstructured":"Reiser, M.-O., Weber, M.: Using Product Sets to Define Complex Product Decisions. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 21\u201332. Springer, Heidelberg (2005)"},{"key":"15_CR17","unstructured":"Tun, T.T., Boucher, Q., Classen, A., Hubaux, A., Heymans, P.: Relating Requirements and Features Configurations: A Systematic Approach. In: Proceedings of the 13th International Software Product Line Conference (SPLC 2009), pp. 201\u2013210 (2009)"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-02144-2_7","volume-title":"Advanced Information Systems Engineering","author":"N. Ubayashi","year":"2009","unstructured":"Ubayashi, N., Otsubo, G., Noda, K., Yoshida, J.: An Extensible Aspect-Oriented Modeling Environment. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol.\u00a05565, pp. 17\u201331. Springer, Heidelberg (2009)"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-15579-6_1","volume-title":"Software Product Lines: Going Beyond","author":"N. Ubayashi","year":"2010","unstructured":"Ubayashi, N., Nakajima, S., Hirayama, M.: Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 1\u201315. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29749-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:26:34Z","timestamp":1556670394000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29749-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783319125671","9783319125688"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29749-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}