{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T02:35:36Z","timestamp":1769913336537,"version":"3.49.0"},"reference-count":46,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2008,1]]},"DOI":"10.1016\/j.infsof.2007.10.010","type":"journal-article","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T22:23:59Z","timestamp":1195079039000},"page":"112-129","source":"Crossref","is-referenced-by-count":1,"title":["Rigorous engineering of product-line requirements: A case study in failure management"],"prefix":"10.1016","volume":"50","author":[{"given":"Colin","family":"Snook","sequence":"first","affiliation":[]},{"given":"Michael","family":"Poppleton","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Johnson","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.infsof.2007.10.010_bib1","unstructured":"EUROCAE ED12B \u2013 Software considerations in Airborne Systems and Equipment Certification, <http:\/\/www.eurocae.org>."},{"key":"10.1016\/j.infsof.2007.10.010_bib2","series-title":"The B-Book: Assigning Programs to Meanings","author":"Abrial","year":"1996"},{"key":"10.1016\/j.infsof.2007.10.010_bib3","unstructured":"J.-R. Abrial, Formal Method Course. Part I: Introduction, 2005, <http:\/\/se.inf.ethz.ch\/teaching\/ws2005\/0271\/Lectures\/intro.pdf>."},{"key":"10.1016\/j.infsof.2007.10.010_bib4","unstructured":"J.-R. Abrial, ClearSy, <http:\/\/www.atelierb.societe.com\/index_uk.htm>, 1998. Atelier-B."},{"key":"10.1016\/j.infsof.2007.10.010_bib5","series-title":"Proceedings of Twelvth Safety-Critical Systems Symposium","first-page":"3","article-title":"Dear sir, Yours faithfully: an everyday story of formality","author":"Amey","year":"2004"},{"key":"10.1016\/j.infsof.2007.10.010_bib6","unstructured":"B. Arief et al., Traceable requirements document for case studies. Technical Report Deliverable D4, EU Project IST-511599 \u2013 RODIN, February 2005, <http:\/\/rodin.cs.ncl.ac.uk\/>."},{"key":"10.1016\/j.infsof.2007.10.010_bib7","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0022-0000(81)90005-2","article-title":"On correct refinement of programs","volume":"23","author":"Back","year":"1981","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/j.infsof.2007.10.010_bib8","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1007\/BF00291051","article-title":"A calculus of refinements for program derivations","volume":"25","author":"Back","year":"1988","journal-title":"Acta Informatica"},{"key":"10.1016\/j.infsof.2007.10.010_bib9","series-title":"AMAST 2004","first-page":"3","article-title":"A science of software design","volume":"vol. 3116","author":"Batory","year":"2004"},{"key":"10.1016\/j.infsof.2007.10.010_bib10","first-page":"2623","article-title":"Application of failure detection, identification, and accommodation methods for improved aircraft safety","volume":"vol. 4","author":"Belcastro","year":"2001"},{"key":"10.1016\/j.infsof.2007.10.010_bib11","series-title":"The Unified Modeling Language \u2013 a Reference Manual","author":"Booch","year":"1998"},{"key":"10.1016\/j.infsof.2007.10.010_bib12","unstructured":"D. Cansell, J.-R. Abrial, et al., B4free. A set of tools for B development, <http:\/\/www.b4free.com>, 2004."},{"issue":"1","key":"10.1016\/j.infsof.2007.10.010_bib13","volume":"1","author":"Chen","year":"1976","journal-title":"The entity-relationship model toward a unified view of data"},{"issue":"November\/December","key":"10.1016\/j.infsof.2007.10.010_bib14","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/52.730836","article-title":"Commonality and variability in software engineering","author":"Coplien","year":"1998","journal-title":"IEEE Software"},{"key":"10.1016\/j.infsof.2007.10.010_bib15","series-title":"SPLC 2004","first-page":"165","article-title":"Experiences in software product families: problems and issues during product derivation","volume":"vol. 3154","author":"Deelstra","year":"2004"},{"key":"10.1016\/j.infsof.2007.10.010_bib16","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.jss.2003.11.012","article-title":"Product derivation in software product families: a case study","volume":"74","author":"Deelstra","year":"2005","journal-title":"Journal of Systems and Software"},{"key":"10.1016\/j.infsof.2007.10.010_bib17","series-title":"Applications of Formal Methods","first-page":"227","article-title":"Formal development of safety-critical software systems in railway signalling","author":"Dehbonei","year":"1995"},{"key":"10.1016\/j.infsof.2007.10.010_bib18","series-title":"Objects, Components and Frameworks with UML","author":"D\u2019Souza","year":"1998"},{"key":"10.1016\/j.infsof.2007.10.010_bib19","series-title":"Proceedings of Fifth IEEE International Symposium on Requirements Engineering","article-title":"Product-line requirements specification (PRS): an approach and case study","author":"Faulk","year":"2001"},{"issue":"10","key":"10.1016\/j.infsof.2007.10.010_bib20","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/262793.262798","article-title":"Object-oriented application frameworks","volume":"40","author":"Fayad","year":"1997","journal-title":"Communications of the ACM"},{"key":"10.1016\/j.infsof.2007.10.010_bib21","unstructured":"Radio Technical Commission for Aeronautics. RTCA DO 178B \u2013 Software considerations in Airborne Systems and Equipment Certification, <http:\/\/www.rtca.org>."},{"key":"10.1016\/j.infsof.2007.10.010_bib22","series-title":"Proceedings of Sith International Conference on Unified Modeling Language (UML\u20192003)","article-title":"Validation of UML and OCL models by automatic snapshot generation","volume":"vol. 2863","author":"Gogolla","year":"2003"},{"key":"10.1016\/j.infsof.2007.10.010_bib23","unstructured":"M. Gogolla, M. Richters, A UML-based specification environment, 2006, <http:\/\/www.db.informatik.uni-bremen.de\/projects\/USE\/>."},{"key":"10.1016\/j.infsof.2007.10.010_bib24","series-title":"ESOP86: European Symposium on Programming","article-title":"Data refinement refined","volume":"vol. 213","author":"He","year":"1986"},{"issue":"3","key":"10.1016\/j.infsof.2007.10.010_bib25","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/S0164-1212(96)00151-3","article-title":"Achieving requirements reuse: a domain-specific approach from avionics","volume":"38","author":"Lam","year":"1997","journal-title":"Journal of Systems and Software"},{"issue":"4","key":"10.1016\/j.infsof.2007.10.010_bib26","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/263244.263254","article-title":"Creating reusable architectures: Initial experience report","volume":"22","author":"Lam","year":"1997","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"10.1016\/j.infsof.2007.10.010_bib27","series-title":"Proceedings FME2003: Formal Methods","first-page":"855","article-title":"ProB: a model checker for B","volume":"vol. 2805","author":"Leuschel","year":"2003"},{"key":"10.1016\/j.infsof.2007.10.010_bib28","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/S0164-1212(02)00081-X","article-title":"Analysis of a software product line architecture: an experience report","volume":"66","author":"Lutz","year":"2003","journal-title":"Journal of Systems and Software"},{"issue":"May","key":"10.1016\/j.infsof.2007.10.010_bib29","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/52.493021","article-title":"Managing domain-specific, product-line development","author":"Macala","year":"1996","journal-title":"IEEE Software"},{"key":"10.1016\/j.infsof.2007.10.010_bib30","series-title":"SPLC2","first-page":"176","article-title":"Using first-order logic for product line model validation","volume":"vol. 2379","author":"Mannion","year":"2002"},{"key":"10.1016\/j.infsof.2007.10.010_bib31","unstructured":"C. M\u00e9tayer, J.-R. Abrial, L. Voisin, Event-B Language. Technical Report Deliverable 3.2, EU Project IST-511599 \u2013 RODIN, May 2005, <http:\/\/rodin.cs.ncl.ac.uk>."},{"key":"10.1016\/j.infsof.2007.10.010_bib32","series-title":"Object-Oriented Software Construction","author":"Meyer","year":"1997"},{"key":"10.1016\/j.infsof.2007.10.010_bib33","unstructured":"UK Ministry of Defence, Def Stan 00-55: Requirements for safety related software in defence equipment, issue 2, <http:\/\/www.dstan.mod.uk\/data\/00\/055\/02000200.pdf>, 1997."},{"issue":"4","key":"10.1016\/j.infsof.2007.10.010_bib34","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10515-005-2648-4","article-title":"Tool-supported verification of product line requirements","volume":"12","author":"Padmanabhan","year":"2005","journal-title":"Automated Software Engineering"},{"issue":"1","key":"10.1016\/j.infsof.2007.10.010_bib35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TSE.1976.233797","article-title":"On the design and development of program families","volume":"SE-2","author":"Parnas","year":"1976","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.infsof.2007.10.010_bib36","series-title":"Software Product Line Engineering Foundations, Principles, and Techniques","author":"Pohl","year":"2005"},{"issue":"2","key":"10.1016\/j.infsof.2007.10.010_bib37","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/382296.382703","article-title":"Domain analysis: an introduction","volume":"15","author":"Prieto-Diaz","year":"1990","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"10.1016\/j.infsof.2007.10.010_bib38","unstructured":"ConIPF Project, Configuration of industrial product families, <http:\/\/segroup.cs.rug.nl\/conipf>."},{"key":"10.1016\/j.infsof.2007.10.010_bib39","series-title":"The B-Method","author":"Schneider","year":"2001"},{"key":"10.1016\/j.infsof.2007.10.010_bib40","series-title":"UML-B Specification for Proven Embedded Systems Design","article-title":"U2B \u2013 a tool for translating UML-B models into B","author":"Snook","year":"2004"},{"key":"10.1016\/j.infsof.2007.10.010_bib41","unstructured":"C. Snook, M. Butler, A. Edmunds, I. Johnson, Rigorous development of reusable, domain-specific components, for complex applications, in: J. Jurgens, R. France (Eds.), Proceedings of Third International Workshop on Critical Systems Development with UML, Lisbon, 2004, pp. 115\u2013129."},{"key":"10.1016\/j.infsof.2007.10.010_bib42","series-title":"UML-B Specification for Proven Embedded Systems","article-title":"The UML-B profile for formal systems modelling in UML","author":"Snook","year":"2004"},{"key":"10.1016\/j.infsof.2007.10.010_bib43","series-title":"Component Software \u2013 Beyond Object-Oriented Programming","author":"Szyperski","year":"2002"},{"issue":"July","key":"10.1016\/j.infsof.2007.10.010_bib44","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/219308.219318","article-title":"DSSA (Domain-specific software architecture) pedagogical example","author":"Tracz","year":"1995","journal-title":"ACM Software Engineering Notes"},{"key":"10.1016\/j.infsof.2007.10.010_bib45","series-title":"SPLC 2004","first-page":"73","article-title":"Automatic generation of program families by model restrictions","volume":"vol. 3154","author":"Wasowski","year":"2004"},{"key":"10.1016\/j.infsof.2007.10.010_bib46","series-title":"ICFEM2004","first-page":"115","article-title":"A propositional logic-based method for verification of feature models","volume":"vol. 3308","author":"Zhang","year":"2004"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584907001176?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584907001176?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,3]],"date-time":"2019-01-03T00:25:59Z","timestamp":1546475159000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584907001176"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1]]},"references-count":46,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2008,1]]}},"alternative-id":["S0950584907001176"],"URL":"https:\/\/doi.org\/10.1016\/j.infsof.2007.10.010","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2008,1]]}}}