{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:45:59Z","timestamp":1760586359769},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2005,10,1]],"date-time":"2005-10-01T00:00:00Z","timestamp":1128124800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Software Eng"],"published-print":{"date-parts":[[2005,10]]},"DOI":"10.1007\/s10515-005-2648-4","type":"journal-article","created":{"date-parts":[[2005,7,14]],"date-time":"2005-07-14T17:08:44Z","timestamp":1121360924000},"page":"447-465","source":"Crossref","is-referenced-by-count":27,"title":["Tool-Supported Verification of Product Line Requirements"],"prefix":"10.1007","volume":"12","author":[{"given":"Prasanna","family":"Padmanabhan","sequence":"first","affiliation":[]},{"given":"Robyn R.","family":"Lutz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2648_CR1","doi-asserted-by":"crossref","unstructured":"Ardis, M., Daley, N., Hoffman, D., Siy, H., and Weiss, D. 2000. Software product lines: A case study. Software Practice and Experience, 825\u2013847.","DOI":"10.1002\/(SICI)1097-024X(200006)30:7<825::AID-SPE322>3.0.CO;2-1"},{"key":"2648_CR2","unstructured":"Ascension Technology Corporation. http:\/\/www.ascension-tech.com\/"},{"key":"2648_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46020-9_34","volume-title":"Component-Based Product Line Engineering with UML","author":"C. Atkinson","year":"2002","unstructured":"Atkinson, C., Bayer, J., Bunse, C., Kamsties, E., Laitenberger, O., Laqua, R., Muthig, D. Paech, B., Wust, J., and Zettel, J. 2002. Component-Based Product Line Engineering with UML. London: Addison-Wesley."},{"key":"2648_CR4","doi-asserted-by":"crossref","unstructured":"Bass, L., Clements, P., Donohoe, P., McGregor, J., and Northrop, L. 1999. 4th Product Line Practice Workshop Report, CMU\/SEI-2000-TR-002, Software Engineering Institute, CMU.","DOI":"10.21236\/ADA375843"},{"key":"2648_CR5","unstructured":"Bierbaum, A. 2000. VR Juggler: A virtual platform for virtual reality application development. MS Thesis, Iowa State University, Ames, IA."},{"key":"2648_CR6","volume-title":"Software Product Lines","author":"P. Clements","year":"2002","unstructured":"Clements, P. and Northrop, L. 2002. Software Product Lines.Boston: Addison-Wesley."},{"key":"2648_CR7","unstructured":"Doerr, J. 2002. Requirements engineering for product lines: Guidelines for inspecting domain model relationships. Diploma thesis, University of Kaiserslautern."},{"key":"2648_CR8","doi-asserted-by":"crossref","first-page":"949","DOI":"10.1109\/32.730544","volume":"24","author":"M. S. Feather","year":"1998","unstructured":"Feather, M. S. 1998. Rapid application of lightweight formal methods for consistency analyses. IEEE Trans. Software Eng. 24: 949\u2013959.","journal-title":"IEEE Trans. Software Eng"},{"key":"2648_CR9","volume-title":"Fundamentals of Software Engineering","author":"C. Ghezzi","year":"2003","unstructured":"Ghezzi, C., Jazayeri, M., and Mandrioli, D. 2003. Fundamentals of Software Engineering, 2nd ed. Upper Saddle River, NJ: Prentice-Hall.","edition":"2"},{"key":"2648_CR10","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0164-1212(94)00056-S","volume":"28","author":"H. Gomaa","year":"1995","unstructured":"Gomaa, H. 1995. Reusable software requirements and architectures for families of systems, Journal of Systems and Software, 28: 189\u2013202.","journal-title":"Journal of Systems and Software"},{"key":"2648_CR11","first-page":"217","volume-title":"Feature Interactions in Telecommunications Systems","author":"N. D. Griffeth","year":"1994","unstructured":"Griffeth, N.D. and Velthuijsen, H. 1994. The negotiating agents approach to runtime feature interaction resolution. In L.G. Bouma, and H. Velthuijsen, editors, Feature Interactions in Telecommunications Systems, IOS Press: Amsterdam, pp. 217\u2013235."},{"issue":"12","key":"2648_CR12","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/35.9139","volume":"26","author":"S. Homayoon","year":"1988","unstructured":"Homayoon, S., and Singh, H. 1988. Methods of addressing interaction of intelligent network services with embedded switch services. IEEE Communications Magazine, 26(12): 42\u201370.","journal-title":"IEEE Communications Magazine"},{"key":"2648_CR13","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/3-540-45652-X_2","volume-title":"Software Product Line Conf (SPLC2)","author":"M. Jaring","year":"2002","unstructured":"Jaring, M. and Bosch, J. 2002. Representing variability in software product lines: A case study. In G. Chastek, editors, Software Product Line Conf (SPLC2), LNC2379, Berlin Heidelberg: Springer Verlag, pp. 15\u201336."},{"key":"2648_CR14","unstructured":"Just, C., Bierbaum, A., Baker, A., and Cruz-Neira, C. 1998. VR Juggler: A framework for virtual reality development. 2nd Immersive Projection Technology Workshop, Ames, IA."},{"key":"2648_CR15","doi-asserted-by":"crossref","unstructured":"Lam, W. 1998. A case study of requirements through product families. Annals of Software Engineering, 253\u2013277.","DOI":"10.1023\/A:1018912105115"},{"key":"2648_CR16","doi-asserted-by":"crossref","unstructured":"Lee, K., Kang, K.C., Chae, W., and Choi, B.W. Feature-based approach to object-oriented engineering of applications for reuse. Software\u2014Practice and Experience, 30: 1025\u20131046.","DOI":"10.1002\/1097-024X(20000725)30:9<1025::AID-SPE323>3.0.CO;2-W"},{"key":"2648_CR17","doi-asserted-by":"crossref","unstructured":"Li, H., Krishnamurthi, S., and Fisler, K. 2002. Verifying cross-cutting features as open systems. 10th ACM SIGSOFT Symp. Foundations of Software Eng. Charleston, SC, pp. 89\u201398.","DOI":"10.1145\/587051.587066"},{"key":"2648_CR18","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0164-1212(00)00012-1","volume":"53","author":"R. Lutz","year":"2000","unstructured":"Lutz, R. 2000. Extending the product family approach to support safe reuse Journal of Systems and Software, 53: 207\u2013217.","journal-title":"Journal of Systems and Software"},{"key":"2648_CR19","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/S0164-1212(02)00081-X","volume":"66","author":"R. Lutz","year":"2003","unstructured":"Lutz, R. and Gannod, G. 2003. Analysis of a software product line architecture: an experience report. Journal of Systems and Software, 66: 253\u2013267.","journal-title":"Journal of Systems and Software"},{"key":"2648_CR20","doi-asserted-by":"crossref","unstructured":"Parnas, D. 1976. On the design and development of program families. IEEE Trans Software Eng, 2.","DOI":"10.1109\/TSE.1976.233797"},{"key":"2648_CR21","unstructured":"Padmanabhan, P. 2002. DECIMAL: A requirements engineering tool for product families. M.S. Thesis, Iowa State University, Ames, IA."},{"key":"2648_CR22","unstructured":"Padmanabhan, P. and Lutz, R. 2002. DECIMAL: A requirements engineering tool for product families. Int\u2019l. Workshop Requirements Eng. For Product Lines (REPL\u201902), Essen, Germany, pp. 39\u201344."},{"key":"2648_CR23","unstructured":"VRCO TrackD http:\/\/www.vrco.com\/products\/trackd\/trackd.html"},{"key":"2648_CR24","volume-title":"Software Product Line Engineering: A Family-Based Software Development Process","author":"D. Weiss","year":"1999","unstructured":"Weiss, D. and Lai, C. 1999. Software Product Line Engineering: A Family-Based Software Development Process. Reading, MS: Addison Wesley."},{"key":"2648_CR25","unstructured":"Zave, P. 2001. Requirements for evolving systems: A telecommunications perspective. In 5th Int\u2019l Symp. Requirements Eng., pp. 2\u20139."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-005-2648-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-005-2648-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-005-2648-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T07:28:54Z","timestamp":1586330934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-005-2648-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,10]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,10]]}},"alternative-id":["2648"],"URL":"https:\/\/doi.org\/10.1007\/s10515-005-2648-4","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,10]]}}}