{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:05:48Z","timestamp":1725473148344},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540482659"},{"type":"electronic","value":"9783540482673"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11916246_17","type":"book-chapter","created":{"date-parts":[[2006,11,22]],"date-time":"2006-11-22T08:01:36Z","timestamp":1164182496000},"page":"326-342","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Method for Rigorous Development of Generic Requirements Patterns"],"prefix":"10.1007","author":[{"given":"Colin","family":"Snook","sequence":"first","affiliation":[]},{"given":"Michael","family":"Poppleton","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Johnson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"17_CR2","unstructured":"J.-R. Abrial.: Atelier-B (1998), http:\/\/www.atelierb.societe.com\/index_uk.html"},{"key":"17_CR3","first-page":"3","volume-title":"Proc. 12th Safety-Critical Systems Symposium","author":"P. Amey","year":"2004","unstructured":"Amey, P.: Dear sir, Yours faithfully: an everyday story of formality. In: Redmill, F., Anderson, T. (eds.) Proc. 12th Safety-Critical Systems Symposium, Birmingham, pp. 3\u201318. Springer, Heidelberg (2004)"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"FME 2003: Formal Methods","year":"2003","unstructured":"Araki, K., Gnesi, S., Mandrioli, D. (eds.): FME 2003. LNCS, vol.\u00a02805. Springer, Heidelberg (2003)"},{"issue":"2","key":"17_CR5","first-page":"22","volume":"8","author":"R. Banach","year":"2003","unstructured":"Banach, R., Poppleton, M.: Retrenching partial requirements into system definitions: A simple feature interaction case study. Requirements Engineering Journal\u00a08(2), 22 (2003)","journal-title":"Requirements Engineering Journal"},{"issue":"6","key":"17_CR6","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D. Batory","year":"2004","unstructured":"Batory, D., Sarvela, J., RauschMayer, A.: Scaling step-wise refinement. IEEE Transactions on Software Engineering\u00a030(6), 355\u2013371 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR7","first-page":"2623","volume-title":"Proc. American Control Conference","author":"C.M. Belcastro","year":"2001","unstructured":"Belcastro, C.M.: Application of failure detection, identification, and accomodation methods for improved aircraft safety. In: Proc. American Control Conference, vol.\u00a04, pp. 2623\u20132624. IEEE, Los Alamitos (2001)"},{"key":"17_CR8","volume-title":"The Unified Modeling Language - a Reference Manual","author":"G. Booch","year":"1998","unstructured":"Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language - a Reference Manual. Addison-Wesley, Reading (1998)"},{"key":"17_CR9","unstructured":"Cansell, D., Abrial, J.-R., et al.: B4free. A set of tools for B development (2004), from: http:\/\/www.b4free.com"},{"key":"17_CR10","first-page":"227","volume-title":"Applications of Formal Methods ch.10","author":"B. Dehbonei","year":"1995","unstructured":"Dehbonei, B., Mejia, F.: Formal development of safety-critical software systems in railway signalling. In: Hinchey, M.G., Bowen, J.P. (eds.) Applications of Formal Methods ch.10, pp. 227\u2013252. Prentice-Hall, Englewood Cliffs (1995)"},{"key":"17_CR11","volume-title":"Proc. Fifth IEEE International Symposium on Requirements Engineering","author":"S.R. Faulk","year":"2000","unstructured":"Faulk, S.R.: Product-line requirements specification (PRS): an approach and case study. In: Proc. Fifth IEEE International Symposium on Requirements Engineering, IEEE Comput. Soc., Los Alamitos (2000)"},{"issue":"10","key":"17_CR12","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/262793.262798","volume":"40","author":"M. Fayad","year":"1997","unstructured":"Fayad, M., Schmidt, D.: Object-oriented application frameworks. Communications of the ACM\u00a040(10), 32\u201338 (1997)","journal-title":"Communications of the ACM"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Hayes, I.J., Jackson, M.A., Jones, C.B.: Determining the specification of a control system from that of its environment. In: Araki et al. [4], pp. 154\u2013169","DOI":"10.1007\/978-3-540-45236-2_10"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1109\/SEFM.2004.1347539","volume-title":"Proc. 2nd Int. Conf. on Software Engineering and Formal Methods","author":"L. Laibinis","year":"2004","unstructured":"Laibinis, L., Troubitsyna, E.: Fault tolerance in a layered architecture: a general specification pattern in B. In: Proc. 2nd Int. Conf. on Software Engineering and Formal Methods, pp. 346\u2013355. IEEE Computer Society, Los Alamitos (2004)"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-540-30138-7_22","volume-title":"Computer Safety, Reliability, and Security","author":"L. Laibinis","year":"2004","unstructured":"Laibinis, L., Troubitsyna, E.: Refinement of fault tolerant control systems in B. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol.\u00a03219, pp. 254\u2013268. Springer, Heidelberg (2004)"},{"issue":"3","key":"17_CR16","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0164-1212(96)00151-3","volume":"38","author":"W. Lam","year":"1997","unstructured":"Lam, W.: Achieving requirements reuse: a domain-specific approach from avionics. Journal of Systems and Software\u00a038(3), 197\u2013209 (1997)","journal-title":"Journal of Systems and Software"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Leuschel, M., Butler, M.: ProB: a model checker for B. In: Araki et al. [4], pp. 855\u2013874","DOI":"10.1007\/978-3-540-45236-2_46"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Macala, R., Stuckey Jr., L., Gross, D.: Managing domain-specific, product-line development. IEEE Software, 57\u201367 (May 1996)","DOI":"10.1109\/52.493021"},{"key":"17_CR19","unstructured":"UK Ministry of Defence. Def Stan 00-55: Requirements for safety related software in defence equipment 2 (1997), http:\/\/www.dstan.mod.uk\/data\/00\/055\/02000200.pdf"},{"key":"17_CR20","unstructured":"Muthig, D.: GoPhone - a software product line in the mobile phone domain. Technical Report IESE-Report No. 025.04\/E, Fraunhofer Institut Experimentelles Software Engineering (2004)"},{"key":"17_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/3-540-45652-X_8","volume-title":"Software Product Lines","author":"D. Muthig","year":"2002","unstructured":"Muthig, D., Atkinson, C.: Model-driven product line architectures. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol.\u00a02379, pp. 110\u2013129. Springer, Heidelberg (2002)"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Parnas, D.L.: On the design and development of program families. IEEE Transactions on Software Engineering\u00a0SE-2 (March 1976)","DOI":"10.1109\/TSE.1976.233797"},{"key":"17_CR23","unstructured":"Schneider, S.: The B-Method. Palgrave Press (2001)"},{"key":"17_CR24","volume-title":"UML-B Specification for Proven Embedded Systems Design, ch. 5","author":"C. Snook","year":"2004","unstructured":"Snook, C., Butler, M.: U2B - a tool for translating UML-B models into B, In: Mermet, J. (ed.) UML-B Specification for Proven Embedded Systems Design, ch. 5. Springer, Heidelberg (2004)"},{"key":"17_CR25","unstructured":"Snook, C., Butler, M., Edmunds, A., Johnson, I.: Rigorous development of reusable, domain-specific components, for complex applications. In: Jurgens, J., France, R. (eds.) Proc. 3rd Intl. Workshop on Critical Systems Development with UML, Lisbon, pp. 115\u2013129 (2004)"},{"key":"17_CR26","volume-title":"UML-B Specification for Proven Embedded Systems, ch. 5","author":"C. Snook","year":"2004","unstructured":"Snook, C., Oliver, I., Butler, M.: The UML-B profile for formal systems modelling in UML, In: Mermet, J. (ed.) UML-B Specification for Proven Embedded Systems, ch. 5. Springer, Heidelberg (2004)"},{"key":"17_CR27","unstructured":"Snook, C., Poppleton, M., Johnson, I.: The engineering of generic requirements for failure management. In: Kamsties, E., Gervasi, V., Sawyer, P. (eds.) Proc. 11th Int. Workshop on Requirements Engineering: Foundation for Software Quality, Oporto, Essener Informatik Beitrage, pp. 145\u2013160 (June 2005)"},{"key":"17_CR28","unstructured":"Snook, C., Poppleton, M., Johnson, I.: Rigorous engineering of product-line requirements: a case study in failure management (submitted, 2006)"},{"key":"17_CR29","doi-asserted-by":"crossref","unstructured":"Tracz, W.: DSSA (Domain-Specific Software Architecture) pedagogical example. ACM Software Engineering Notes, 49\u201362 (July 1995)","DOI":"10.1145\/219308.219318"},{"key":"17_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-28630-1_5","volume-title":"Software Product Lines","author":"A. W\u0119sowski","year":"2004","unstructured":"W\u0119sowski, A.: Automatic generation of program families by model restrictions. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol.\u00a03154, pp. 73\u201389. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Rigorous Development of Complex Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11916246_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:42:15Z","timestamp":1619509335000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11916246_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540482659","9783540482673"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/11916246_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}