{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T05:46:02Z","timestamp":1740894362565,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540223351"},{"type":"electronic","value":"9783540277996"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-27799-6_1","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T13:50:26Z","timestamp":1294408226000},"page":"1-10","source":"Crossref","is-referenced-by-count":0,"title":["Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage"],"prefix":"10.1007","author":[{"given":"Rebeca P. D\u00edaz","family":"Redondo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mart\u00edn L\u00f3pez","family":"Nores","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 J. Pazos","family":"Arias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana Fern\u00e1ndez","family":"Vilas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge Garc\u00eda","family":"Duque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto Gil","family":"Solla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bel\u00e9n Barrag\u00e1ns","family":"Mart\u00ednez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel Ramos","family":"Cabrer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-45064-1_15","volume-title":"Component-Based Software Quality","author":"R.P. D\u00edaz Redondo","year":"2003","unstructured":"D\u00edaz Redondo, R.P., Pazos Arias, J.J., Fern\u00e1ndez Vilas, A.: Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage. In: Cechich, A., Piattini, M., Vallecillo, A. (eds.) Component-Based Software Quality. LNCS, vol.\u00a02693, pp. 326\u2013351. Springer, Heidelberg (2003)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"D\u00edaz Redondo, R.P., Pazos Arias, J.J., Fern\u00e1ndez Vilas, A., Barrag\u00e1ns Mart\u00ednez, B.: ARIFS: an Environment for Incomplete and Formal Specifications Reuse. Electronic Notes in Theorethical Computer Science\u00a066(4) (2002)","DOI":"10.1016\/S1571-0661(04)80447-X"},{"key":"1_CR3","volume-title":"Extreme Programming Examined","author":"P. Predonzani","year":"2001","unstructured":"Predonzani, P., Succi, G., Vernazza, T.: Tracing Development Progress: A Variability Perspective. In: Extreme Programming Examined, Addison Wesley Professional, Reading (2001)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Girardi, M.R., Ibrahim, B.: Automatic Indexing of Software Artifacts. In: 3rd International Conference on Software Reusability, November 1994, pp. 24\u201332 (1994)","DOI":"10.1109\/ICSR.1994.365814"},{"key":"1_CR5","unstructured":"ISO. LOTOS \u2013 A Formal Description Technique Based on an Extended State Transition Model. ISO\/IEC\/8807, International Standards Organization (1989)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C.: Aspect-oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013243. Springer, Heidelberg (1997)"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/PL00003939","volume":"13","author":"J.J. Pazos Arias","year":"2001","unstructured":"Pazos Arias, J.J., Garc\u00eda Duque, J.: SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. Formal Aspects of Computing\u00a013, 50\u201391 (2001)","journal-title":"Formal Aspects of Computing"},{"issue":"5","key":"1_CR8","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/103167.103176","volume":"34","author":"R. Prieto-D\u00edaz","year":"1991","unstructured":"Prieto-D\u00edaz, R.: Implementing Faceted Classification for Software Reuse. Communications of the ACM\u00a034(5), 88\u201397 (1991)","journal-title":"Communications of the ACM"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Schumann, J., Fischer: NORA\/HAMMR: Making Deduction-Based Software Component Retrieval Practical. In: Proc. of 12th Conference on Automated Software Engineering (1997)","DOI":"10.1007\/978-94-017-0437-3_11"},{"key":"1_CR10","unstructured":"Svahnberg, M., van Gurp, J., Bosch, J.: A Taxonomy of Variability Realization Techniques. In: Blekinge Institute of Technology, Sweden (2002) ISSN: 1103-1581"},{"key":"1_CR11","volume-title":"Handbook of Process Algebra","author":"R.J. Glabeek van","year":"2001","unstructured":"van Glabeek, R.J.: The Linear Time - Branching Time Spectrum I: The Semantics of Concrete, Sequential Processes. In: Handbook of Process Algebra, Elsevier Science, Amsterdam (2001)"},{"key":"1_CR12","unstructured":"van Gurp, J., Bosch, J., Svahnberg, M.: On the Notion of Variability in Software Product Lines. In: 2nd Working IEEE\/IFIP Conference on Software Architecture (WICSA) (2001)"},{"key":"1_CR13","unstructured":"Ye, Y.: An Active and Adaptive Reuse Repository System. In: 34th Hawaii International Conference on System Sciences (HICSS-34) (2001)"},{"issue":"4","key":"1_CR14","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/261640.261641","volume":"6","author":"M. Zaremski","year":"1997","unstructured":"Zaremski, M., Wing, J.M.: Specification Matching of Software Components. ACM Transactions on Software Engineering and Methodology\u00a06(4), 333\u2013369 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","Software Reuse: Methods, Techniques, and Tools"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27799-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T14:16:38Z","timestamp":1740838598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27799-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223351","9783540277996"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27799-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}