{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:41:05Z","timestamp":1725514865364},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682356"},{"type":"electronic","value":"9783540682370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68237-0_27","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T05:36:00Z","timestamp":1212557760000},"page":"390-405","source":"Crossref","is-referenced-by-count":12,"title":["Towards Consistent Specifications of Product Families"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Harhurin","sequence":"first","affiliation":[]},{"given":"Judith","family":"Hartmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical report, SEI, CMU, Pittsburgh (1990)","DOI":"10.21236\/ADA235785"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Gruler, A., Harhurin, A., Hartmann, J.: Modeling the functionality of multi-functional software systems. In: Proceedings of ECBS 2007 (2007)","DOI":"10.1109\/ECBS.2007.54"},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Gruler, A., Harhurin, A., Hartmann, J.: Development and configuration of service-based product lines. In: Proceedings of SPLC 2007 (2007)","DOI":"10.1109\/SPLINE.2007.13"},{"key":"27_CR4","unstructured":"Harhurin, A., Hartmann, J.: A Formal Approach to Specifying the Functionality of Software System Families. Technical report, Technische Universit\u00e4t M\u00fcnchen (2007), http:\/\/www.in.tum.de\/forschung\/pub\/reports\/2007\/TUM-I0720.pdf.gz"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Broy, M.: Service-oriented systems engineering: Modeling services and layered architectures. In: FORTE, pp. 48\u201361 (2003)","DOI":"10.1007\/978-3-540-39979-7_4"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL \u2014 A Proof Assistant for Higher-Order Logic","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"key":"27_CR7","unstructured":"Spichkova, M.: Specification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle. PhD thesis, Technische Universit\u00e4t M\u00fcnchen (2007)"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Batory, D., O\u2019Malley, S.: The design and implementation of hierarchical software systems with reusable components. ACM Trans. Softw. Eng. Methodol.\u00a01 (1992)","DOI":"10.1145\/136586.136587"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Mannion, M.: Using first-order logic for product line model validation. In: SPLC, pp. 176\u2013187 (2002)","DOI":"10.1007\/3-540-45652-X_11"},{"key":"27_CR10","first-page":"36","volume":"0","author":"J.-C. Trigaux","year":"2006","unstructured":"Trigaux, J.-C., Heymans, P., Schobbens, P.-Y., Classen, A.: Comparative semantics of feature diagrams: Ffd vs. vdfd. CERE\u00a00, 36\u201347 (2006)","journal-title":"CERE"},{"key":"27_CR11","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1109\/32.730542","volume":"24","author":"A. Lamsweerde van","year":"1998","unstructured":"van Lamsweerde, A., Letier, E., Darimont, R.: Managing conflicts in goal-driven requirements engineering. IEEE Trans. Softw. Eng.\u00a024, 908\u2013926 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"27_CR12","unstructured":"Sch\u00e4tz, B.: Combining product lines and model-based development. In: Proceedings of Formal Aspects of Component Systems (FACS 2006) (2006)"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping features to models: A template approach based on superimposed variants. In: GPCE, pp. 422\u2013437 (2005)","DOI":"10.1007\/11561347_28"},{"key":"27_CR14","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S1389-1286(02)00352-3","volume":"41","author":"M. Calder","year":"2003","unstructured":"Calder, M., Kolberg, M., Magill, E.H., Reiff-Marganiec, S.: Feature interaction: a critical review and considered forecast. Comput. Networks\u00a041, 115\u2013141 (2003)","journal-title":"Comput. Networks"},{"key":"27_CR15","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1109\/32.729683","volume":"24","author":"M. Jackson","year":"1998","unstructured":"Jackson, M., Zave, P.: Distributed feature composition: A virtual architecture for telecommunications services. IEEE Trans. Softw. Eng.\u00a024, 831\u2013847 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"27_CR16","unstructured":"Braithwaite, K.H., Atlee, J.M.: Towards automated detection of feature interactions. In: FIW, pp. 36\u201359 (1994)"},{"key":"27_CR17","unstructured":"Stepien, B., Logrippo, L.: Representing and verifying intentions in telephony features using abstract data types. In: FIW, pp. 141\u2013155 (1995)"},{"key":"27_CR18","unstructured":"Klein, C., Prehofer, C., Rumpe, B.: Feature Specification and Refinement with State Transition Diagrams. In: Fourth IEEE Workshop on Feature Interactions in Telecommunications Networks and Distributed Systems (1997)"}],"container-title":["Lecture Notes in Computer Science","FM 2008: Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68237-0_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:43:41Z","timestamp":1620017021000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68237-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540682356","9783540682370"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68237-0_27","relation":{},"subject":[]}}