{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T21:08:00Z","timestamp":1761512880796},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229186"},{"type":"electronic","value":"9783540286301"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-28630-1_16","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T20:55:34Z","timestamp":1285016134000},"page":"255-265","source":"Crossref","is-referenced-by-count":18,"title":["A Methodology for the Derivation and Verification of Use Cases for Product Lines"],"prefix":"10.1007","author":[{"given":"A.","family":"Fantechi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Gnesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Lami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Nesti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Bertolino, A., Fantechi, A., Gnesi, S., Lami, G., Maccari, A.: Use Case Description of Requirements for Product Lines. In: REPL 2002, Essen, Germany (September 2002)"},{"key":"16_CR2","series-title":"SEI Series in Software Engineering","volume-title":"Software Product Lines: Practices and Patterns","author":"P.C. Clements","year":"2001","unstructured":"Clements, P.C., Northrop, L.: Software Product Lines: Practices and Patterns, August 2001. SEI Series in Software Engineering. Addison-Wesley, Reading (2001)"},{"key":"16_CR3","unstructured":"Cockburn, A.: Structuring Use Cases with goals. Journal of Object-Oriented Programming (September-October 1997, part I, November-December 1997, part II)"},{"key":"16_CR4","volume-title":"Writing Effective Use Cases","author":"A. Cockburn","year":"2001","unstructured":"Cockburn, A.: Writing Effective Use Cases. Addison Wesley, Reading (2001)"},{"key":"16_CR5","unstructured":"Fantechi, A., Gnesi, S., Lami, G., Maccari, A.: Linguistic Techniques for Use Cases Analysis. In: Proceedings of the IEEE Joint International Requirements Engineering Conference - RE 2002. Essen, Germany, September 9-13 (2002)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Fifth International Workshop on Product Family Engineering, PFE-5","author":"S. Fantechi","year":"2004","unstructured":"Fantechi, S., Gnesi, I., John, G., Lami, J.: D\u00f6rr Elicitation of Use Cases for Product Lines. In: Fifth International Workshop on Product Family Engineering, PFE-5, Siena, November 4-6. LNCS, Springer, Heidelberg (2004) (to appear)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Halmans, G., Pohl, K.: Communicating the Variability of a Software-Product Family to Customers. Journal of Software and Systems Modeling, Springer (2003)","DOI":"10.1007\/s10270-003-0019-9"},{"key":"16_CR8","volume-title":"Software Architecture for Product Families: Principles and Practice","author":"M. Jazayeri","year":"1998","unstructured":"Jazayeri, M., Ran, A., van der Linden, F.: Software Architecture for Product Families: Principles and Practice. Addison-Wesley, Reading (1998)"},{"key":"16_CR9","unstructured":"John, I., Muthig, D.: Tailoring Use Cases for Product Line Modeling. In: REPL 2002, Essen, Germany (September 2002)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"van der Linden, F.: Software Product Families in Europe: The ESAPS & Caf\u00e9 Projects. IEEE Software (July\/August 2002)","DOI":"10.1109\/MS.2002.1020286"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Fifth International Workshop on Product Family Engineering, PFE-5","author":"M. Mannion","year":"2004","unstructured":"Mannion, M., Camara, J.: Theorem Proving for Product Line Model Verification. In: Fifth International Workshop on Product Family Engineering, PFE-5, Siena, November 4-6. LNCS, Springer, Heidelberg (2004) (to appear)"}],"container-title":["Lecture Notes in Computer Science","Software Product Lines"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-28630-1_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:25:52Z","timestamp":1605759952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-28630-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229186","9783540286301"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-28630-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}