{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T12:01:58Z","timestamp":1767960118711,"version":"3.49.0"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Software Engineering"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1018929719710","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"459-475","source":"Crossref","is-referenced-by-count":44,"title":["Requirements analysis using forward and backward search"],"prefix":"10.1007","volume":"3","author":[{"given":"Robyn R.","family":"Lutz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert M.","family":"Woodhouse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"326132_CR1","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/CMPASS.1991.161042","volume-title":"Proceedings of the 6th Annual Conference on Computer Assurance","author":"E.A. Addy","year":"1991","unstructured":"Addy, E.A. (1991), \u201cA Case Study on Isolation of Safety-Critical Software,\u201d In Proceedings of the 6th Annual Conference on Computer Assurance, NIST\/IEEE, Gaithersburg, MD, pp. 75\u201383."},{"issue":"3","key":"326132_CR2","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"Alur, R., T.A. Henzinger, and Pei-Hsin Ho (1996), \u201cAutomatic Symbolic Verification of Embedded Systems,\u201d In IEEE Transactions on Software Engineering 22,3, 181\u2013201.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"326132_CR3","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/32.210305","volume":"19","author":"J.M. Atlee","year":"1993","unstructured":"Atlee, J.M. and J. Gannon (1993), \u201cState-Based Model Checking of Event-Driven System Requirements,\u201d IEEE Transactions on Software Engineering 19,1, 24\u201340.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326132_CR4","doi-asserted-by":"crossref","first-page":"592","DOI":"10.1109\/ROBOT.1990.126046","volume-title":"Proceedings of the 1990 IEEE International Conference on Robotics and Automation","author":"A.A. Bestavros","year":"1990","unstructured":"Bestavros, A.A., J.J. Clark, and N.J. Ferrier (1990), \u201cManagement of Sensori-Motor Activity in Mobile Robots,\u201d In Proceedings of the 1990 IEEE International Conference on Robotics and Automation, IEEE Computer Society Press, Cincinnati, OH, pp. 592\u2013597."},{"issue":"4","key":"326132_CR5","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/52.300036","volume":"8","author":"S.S. Cha","year":"1991","unstructured":"Cha, S.S., N.G. Leveson, and T.J. Shimeall (1991), \u201cSafety Verification of Ada Programs Using Fault Tree Analysis,\u201d In IEEE Software 8,4, 48\u201359.","journal-title":"IEEE Software"},{"issue":"11","key":"326132_CR6","doi-asserted-by":"publisher","first-page":"943","DOI":"10.1109\/32.177364","volume":"18","author":"R. Chillarege","year":"1992","unstructured":"Chillarege, R., I. Bhandari, J. Chaar, M. Halliday, D. Moebus, B. Ray, and M.-Y. Wong (1992), \u201cOrthogonal Defect Classification \u2014 A Concept for In-Process Measurements,\u201d IEEE Transactions on Software Engineering 18,11, 943\u2013956.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326132_CR7","unstructured":"Crow, J. and B.L. Di Vito (1996), \u201cFormalizing Space Shuttle Software Requirements,\u201d In Proceedings of the ACM SIGSOFT Workshop on Formal Methods in Software Practice, San Diego, CA."},{"issue":"3","key":"326132_CR8","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/52.382183","volume":"12","author":"R. De Lemos","year":"1995","unstructured":"De Lemos, R., A. Saeed, and T. Anderson (1995), \u201cAnalyzing Safety Requirements for Process-Control Systems,\u201d IEEE Software 12,3, 42\u201353.","journal-title":"IEEE Software"},{"key":"326132_CR9","unstructured":"FEAT (Failure Environment Analysis Tool), NASA Software Technology Transfer Center, Cosmic #MSC-21873 and #MSC-22446."},{"key":"326132_CR10","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0019-0578(95)00020-Z","volume":"34","author":"C. Fencott","year":"1995","unstructured":"Fencott, C. and B. Hebbron (1995), \u201cThe Application of HAZOP Studies to Integrated Requirements Models for Control Systems,\u201d ISA Transactions 34, 297\u2013308.","journal-title":"ISA Transactions"},{"key":"326132_CR11","unstructured":"FIRM (Failure Identification and Risk Management Tool), NASA Software Technology Transfer Center, Cosmic #MSC-21860."},{"key":"326132_CR12","first-page":"90","volume-title":"Proceedings of the 1973 IEEE Symposium on Computer Software Reliability","author":"J.R. Fragola","year":"1973","unstructured":"Fragola, J.R. and J.F. Spahn (1973), \u201cThe Software Error Effects Analysis; A Qualitative Design Tool,\u201d In Proceedings of the 1973 IEEE Symposium on Computer Software Reliability, IEEE, New York, pp. 90\u201393."},{"issue":"6","key":"326132_CR13","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/32.508311","volume":"22","author":"M.P.E. Heimdahl","year":"1996","unstructured":"Heimdahl, M.P.E. and N.G. Leveson (1996), \u201cCompleteness and Consistency in Hierarchical State-Based Requirements,\u201d IEEE Transactions on Software Engineering 22,6, 363\u2013377.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326132_CR14","first-page":"109","volume-title":"Proceedings of the 10th Annual Conference on Computer Assurance","author":"C. Heitmeyer","year":"1995","unstructured":"Heitmeyer, C., A. Bull, C. Gasarch, and B. Labaw (1995), \u201cSCR: A Toolset for Specifying and Analyzing Requirements,\u201d In Proceedings of the 10th Annual Conference on Computer Assurance, IEEE, Gaithersburg, MD, pp. 109\u2013122."},{"key":"326132_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of Computer Aided Verification: Fourth International Workshop","author":"A.J. Hu","year":"1993","unstructured":"Hu, A.J., D.L. Dill, A.J. Drexler, and C. Han Yang (1993), \u201cHigher-Level Specification and Verification with BDDs,\u201d In Proceedings of Computer Aided Verification: Fourth International Workshop, G.V. Bochmann and D.K. Probst, Eds., Lecture Notes in Computer Science, Vol. 663, Springer-Verlag, Berlin."},{"key":"326132_CR16","unstructured":"IEEE Standard Glossary of Software Engineering Terminology (1990), IEEE Std 610.12-1990, IEEE, New York."},{"key":"326132_CR17","first-page":"1157","volume-title":"Handbook of Theoretical Computer Science","author":"L. Lamport","year":"1990","unstructured":"Lamport, L. and N. Lynch (1990), \u201cDistributed Computing Models and Methods,\u201d In Handbook of Theoretical Computer Science, Vol. B, Formal Models and Semantics, J. van Leeuwen, Ed., MIT Press\/Elsevier, Cambridge\/Amsterdam, 1990, pp. 1157\u20131199."},{"key":"326132_CR18","volume-title":"Safeware, System Safety and Computers","author":"N. Leveson","year":"1995","unstructured":"Leveson, N. (1995), Safeware, System Safety and Computers, Addison-Wesley, Reading, MA."},{"key":"326132_CR19","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0164-1212(95)00077-1","volume":"34","author":"R. Lutz","year":"1996","unstructured":"Lutz, R. (1996), \u201cAnalyzing Software Requirements Errors in Safety-Critical, Embedded Systems,\u201d The Journal of Systems and Software 34, 223\u2013230.","journal-title":"The Journal of Systems and Software"},{"key":"326132_CR20","first-page":"231","volume-title":"Proceedings for the 19th Annual Software Engineering Workshop","author":"R. Lutz","year":"1994","unstructured":"Lutz, R. and Y. Ampo (1994), \u201cExperience Report: Using Formal Methods for Requirements Analysis of Critical Spacecraft Software,\u201d In Proceedings for the 19th Annual Software Engineering Workshop, NASA Goddard Space Flight Center, Greenbelt, MD, pp. 231\u2013236."},{"key":"326132_CR21","unstructured":"Maier, T. (1995), \u201cFMEA and FTA To Support Safe Design of Embedded Software in Safety-Critical Systems,\u201d In CSR 12th Annual Workshop on Safety and Reliability of Software Based Systems, Bruges, Belgium."},{"key":"326132_CR22","first-page":"37","volume-title":"Proceedings of the 10th Annual Conference on Computer Assurance","author":"J.A. McDermid","year":"1995","unstructured":"McDermid, J.A., M. Nicholson, D.J. Pumfrey, and P. Fenelon (1995), \u201cExperience with the Application of HAZOP to Computer-Based Systems,\u201d In Proceedings of the 10th Annual Conference on Computer Assurance, IEEE, Gaithersburg, MD, pp. 37\u201348."},{"key":"326132_CR23","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/CMPASS.1994.318470","volume-title":"Proceedings of the 9th Annual Conference on Computer Assurance","author":"J.A. McDermid","year":"1994","unstructured":"McDermid, J.A. and D.J. Pumfrey (1994), \u201cA Development of Hazard Analysis To Aid Software Design,\u201d In Proceedings of the 9th Annual Conference on Computer Assurance, IEEE, Gaithersburg, MD, pp. 17\u201325."},{"key":"326132_CR24","unstructured":"Military Standard (1980), Procedures for Performing a Failure Mode, Effects and Criticality Analysis MIL-STD-1629A."},{"issue":"8","key":"326132_CR25","doi-asserted-by":"publisher","first-page":"830","DOI":"10.1109\/32.83917","volume":"17","author":"T. Nakajo","year":"1991","unstructured":"Nakajo, T. and H. Kume (1991), \u201cA Case History Analysis of Software Error Cause-Effect Relationship,\u201d IEEE Transactions on Software Engineering 17,8, 830\u2013838.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326132_CR26","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0164-1212(84)90028-1","volume":"4","author":"T.J. Ostrand","year":"1984","unstructured":"Ostrand, T.J. and E.J. Weyuker (1984), \u201cCollecting and Categorizing Software Error Data in an Industrial Environment,\u201d The Journal of Systems and Software 4, 289\u2013300.","journal-title":"The Journal of Systems and Software"},{"key":"326132_CR27","volume-title":"Reliability Analyses Handbook","author":"Project Reliability Group","year":"1990","unstructured":"Project Reliability Group (1990), Reliability Analyses Handbook, D-5703, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA."},{"issue":"3","key":"326132_CR28","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1109\/TR.1979.5220578","volume":"R-28","author":"D.J. Reifer","year":"1979","unstructured":"Reifer, D.J. (1979), \u201cSoftware Failure Modes and Effects Analysis,\u201d IEEE Transactions on Reliability R-28,3, 247\u2013249.","journal-title":"IEEE Transactions on Reliability"},{"issue":"2","key":"326132_CR29","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1109\/32.67595","volume":"17","author":"R.W. Selby","year":"1991","unstructured":"Selby, R.W. and V.R. Basili (1991), \u201cAnalyzing Error-Prone System Structure,\u201d IEEE Transactions on Software Engineering 17,2, 141\u2013152.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326132_CR30","volume-title":"Software Engineering","author":"I. Sommerville","year":"1996","unstructured":"Sommerville, I. (1996), Software Engineering, Fifth Edition, Addison-Wesley, Reading, MA.","edition":"Fifth Edition"},{"key":"326132_CR31","volume-title":"System Safety Analysis Handbook","author":"System Safety Society","year":"1993","unstructured":"System Safety Society (1993), System Safety Analysis Handbook, System Safety Society, Sterling, VA."},{"key":"326132_CR32","volume-title":"Modern Operating Systems","author":"A.S. Tanenbaum","year":"1992","unstructured":"Tanenbaum, A.S. (1992), Modern Operating Systems, Prentice-Hall, Englewood Cliffs, NJ."},{"key":"326132_CR33","unstructured":"Wunram, J. (1990), \u201cA Strategy for Identification and Development of Safety Critical Software Embedded in Complex Space Systems,\u201d IAA 90-557, 35\u201351."}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018929719710.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018929719710\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018929719710.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:14:01Z","timestamp":1747577641000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018929719710"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["326132"],"URL":"https:\/\/doi.org\/10.1023\/a:1018929719710","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"value":"1022-7091","type":"print"},{"value":"1573-7489","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}