{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,26]],"date-time":"2025-09-26T08:24:38Z","timestamp":1758875078694},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,11,22]],"date-time":"2006-11-22T00:00:00Z","timestamp":1164153600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Comput"],"published-print":{"date-parts":[[2006,12,2]]},"DOI":"10.1007\/s11155-006-9020-7","type":"journal-article","created":{"date-parts":[[2006,11,21]],"date-time":"2006-11-21T19:43:38Z","timestamp":1164138218000},"page":"83-107","source":"Crossref","is-referenced-by-count":12,"title":["Requirements Analysis for Engineering Computation: A Systematic Approach for Improving Reliability"],"prefix":"10.1007","volume":"13","author":[{"given":"Spencer","family":"Smith","sequence":"first","affiliation":[]},{"given":"Lei","family":"Lai","sequence":"additional","affiliation":[]},{"given":"Ridha","family":"Khedri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,11,22]]},"reference":[{"key":"9020_CR1","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-0-387-35407-1_9","volume-title":"The Architecture of Scientific Software","author":"K. Ahlander","year":"2001","unstructured":"Ahlander, K., Haveraaen, M., and Kaas, H. Z.: On the Role of Mathematical Abstractions for Scientific Computing, in: The Architecture of Scientific Software, Kluwer Academic Publishers, Boston, 2001, pp. 145\u2013158."},{"key":"9020_CR2","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/S0167-6423(01)00026-0","volume":"42","author":"D. M. Berry","year":"2002","unstructured":"Berry, D. M.: Formal Methods: The Very Idea, Science of Computer Programming 42 (2002), pp. 11\u201327.","journal-title":"Science of Computer Programming"},{"issue":"3","key":"9020_CR3","first-page":"48","volume":"4","author":"C. Blilie","year":"2002","unstructured":"Blilie, C.: Patterns in Scientific Software: An Introduction, ComputinginScience and Engineering 4 (3) (2002), pp. 48\u201353.","journal-title":"ComputinginScience and Engineering"},{"key":"9020_CR4","doi-asserted-by":"crossref","unstructured":"Davis, A. et al.: Identifying and Measuring Quality in a Software Requirements Specification, in: Proceedings of the 1st International Software Metrics Symposium, IEEE, 1993, pp. 141\u2013152.","DOI":"10.1109\/METRIC.1993.263792"},{"key":"9020_CR5","volume-title":"Software Requirements: Objects, Functions, and States","author":"A. Davis","year":"1993","unstructured":"Davis, A.: Software Requirements: Objects, Functions, and States, Prentice Hall, Upper Saddle River, 1993."},{"key":"9020_CR6","unstructured":"Desharnais, J., Khedri, R., and Mili, A.: Representation, Validation, and Integration of Scenarios Using Tabular Expressions, Formal Methods in System Design, accepted for publication."},{"key":"9020_CR7","unstructured":"DOD: Software Development and Documentation, DOD Military StandardMIL-STD-498, Technical Report, US Department of Defence, Washington, 1994."},{"issue":"5","key":"9020_CR8","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1109\/MCISE.2002.1032434","volume":"4","author":"P. F. Dubois","year":"2002","unstructured":"Dubois, P. F.: Designing Scientific Components, Computing in Science and Engineering 4 (5) (2002), pp. 84\u201390.","journal-title":"Computing in Science and Engineering"},{"key":"9020_CR9","unstructured":"ESA: ESASoftware EngineeringStandards, PSS-05-0Issue 2, Technical Report, European Space Agency, 1991."},{"key":"9020_CR10","unstructured":"Galin, D.: Software Quality Assurance: From Theory to Implementation, Pearson Education Limited, 2004."},{"key":"9020_CR11","unstructured":"Gerlach, J.: Domain Engineering and Generic Programming for Parallel Scientific Computing, PhD thesis, Von der Fakult\u00e4t at IV\u2014Elektrotechnik und Informatik der Technischen Universit\u00e4t Berlin, 2002."},{"key":"9020_CR12","volume-title":"Fundamentals of Software Engineering","author":"C. Ghezzi","year":"2003","unstructured":"Ghezzi, C., Jazayeri, M., and Mandrioli, D.: Fundamentals of Software Engineering, 2nd edition, Prentice Hall, Upper Saddle River, 2003.","edition":"2nd edition"},{"key":"9020_CR13","doi-asserted-by":"crossref","unstructured":"Grundy, J.: Aspect-Oriented Requirements Engineering for Component-Based Software Systems, in: Requirements Engineering, 1999. Proceedings. IEEE International Symposium on Limerick, Ireland, June 7\u201311 1999, Institute of Electrical and Electronics Engineers, pp. 84\u201391.","DOI":"10.1109\/ISRE.1999.777988"},{"key":"9020_CR14","unstructured":"Hannemann, R., J.H., Zellerhoff, M., and Klinkenbusch, L.: Scientific Programming in Field Theory, Part 1, IEEE Computing in Science and Engineering 3 (3) (2001)."},{"issue":"1","key":"9020_CR15","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TSE.1980.230208","volume":"6","author":"K. L. Heninger","year":"1980","unstructured":"Heninger, K. L.: Specifying Software Requirement for Complex System: New Techniques and Their Application, IEEE Transactions on Software Engineering 6 (1) (1980), pp. 2\u201313.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9020_CR16","volume-title":"Software Requirements for the A-7EAircraft, NRL memorandum report","author":"K. L. Heninger","year":"1978","unstructured":"Heninger, K. L., Kallander, J., Parnas, D. L., and Shore, J. E.: Software Requirements for the A-7EAircraft, NRL memorandum report, United States Naval Research Laboratory, Washington, 1978."},{"key":"9020_CR17","unstructured":"IEEE: Recommended Practice for Software Requirements Specifications, IEEE Std. 830, IEEE, 1998."},{"issue":"2\u20133","key":"9020_CR18","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/S0167-6423(00)00004-6","volume":"39","author":"R. Janicki","year":"2001","unstructured":"Janicki, R. and Khedri, R.: On a Formal Semantics of Tabular Expression, Science of Computer Programming 39 (2\u20133) (2001), pp. 189\u2013213.","journal-title":"Science of Computer Programming"},{"key":"9020_CR19","unstructured":"Kaindl, H., Brinkkemper, S., Bubenko, J. A., Jr., Farbey, B., and Greenspan, S. J.: Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda, Requirements Engineering Journal 7 (3) (2002)."},{"key":"9020_CR20","unstructured":"Kreyman, K. and Parnas, D. L.: On Documentingthe Requirements for Computer Programs Based on Models of Physical Phenomena, SQRL Report 1, Software Quality Research Laboratory, McMaster University, 2002."},{"key":"9020_CR21","unstructured":"Lai, L.: Requirements Documentation for Engineering Mechanics Software: Guidelines, Template, and a Case Study, Master's thesis, McMaster University, Hamilton, 2004."},{"issue":"1","key":"9020_CR22","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/291469.293165","volume":"42","author":"J. Mylopoulos","year":"1999","unstructured":"Mylopoulos, J., Chung, L., and Yu, E.: From Object-Oriented to Goal-Oriented Requirements Analysis, Communications of the ACM Archive 42 (1) (1999), pp. 31\u201337.","journal-title":"Communications of the ACM Archive"},{"key":"9020_CR23","unstructured":"NASA: External Interface Requirements DID, SMAP-DID-P210, release 4.3, Technical Report, National Aeronautics and Space Agency, 1989."},{"key":"9020_CR24","unstructured":"NASA: Software Requirements DID, SMAP-DID-P200-SW, release 4.3, Technical Report, National Aeronautics and Space Agency, 1989."},{"key":"9020_CR25","unstructured":"Parnas, D. L.: Tabular Representation of Relations, CRL Report 260, Telecommunications Research Institute of Ontario (TRIO), McMaster University, 1992."},{"issue":"2","key":"9020_CR26","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1109\/TSE.1986.6312940","volume":"12","author":"D. L. Parnas","year":"1986","unstructured":"Parnas, D. L. and Clements, P. C.: A Rational Design Process: How and Why to Fake It, IEEE Transactions on Software Engineering 12 (2) (1986), pp. 251\u2013257.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"9020_CR27","first-page":"189","volume":"32","author":"D. L. Parnas","year":"1991","unstructured":"Parnas, D. L., Asmis, G. J. K., and Madey, J.: Assessment of Safety-Critical Software in Nuclear Power Plants, Nuclear Safety 32 (2) (1991), pp. 189\u2013198.","journal-title":"Nuclear Safety"},{"key":"9020_CR28","volume-title":"Verification and Validation in Computational Science and Engineering","author":"P. J. Roache","year":"1998","unstructured":"Roache, P. J.: Verification and Validation in Computational Science and Engineering,Hermosa Publishers, Albuquerque, New Mexico, 1998."},{"key":"9020_CR29","first-page":"353","volume-title":"Mastering the Requirements Process","author":"S. Robertson","year":"1999","unstructured":"Robertson, S. and Robertson, J.: Mastering the Requirements Process, ACM Press\/Addison- Wesley Publishing, New York, 1999, chapter \u201cVolere Requirements Specification Template\u201d, pp. 353\u2013391."},{"key":"9020_CR30","unstructured":"Sanga, B.: Assessingand Improvingthe Quality of Software Requirements Specification Documents (SRSDs), Thesis for M.Sc. program, Computing and Software Department, McMaster University, Hamilton, 2003."},{"key":"9020_CR31","unstructured":"Scientific Discovery through Advanced Computing, Office of Science, U.S. Department of Energy, 2000, http:\/\/www.osti.gov\/scidac\/ ."},{"key":"9020_CR32","unstructured":"Sommerville, I. and Sawyer, P.: Requirement Engineering: A Good Practice Guide, John Wiley & Sons, 1997."},{"key":"9020_CR33","volume-title":"IEEE Recommended Practice for Software Requirements Specifications","year":"2000","unstructured":"Thayer,R.H.and Dorfman,M. (eds): IEEE Recommended Practice for Software Requirements Specifications, 2nd edition, IEEE Computer Society, Washington, 2000.","edition":"2nd edition"},{"key":"9020_CR34","unstructured":"Timoshenko, S. and Young, D. H.: Elements of Strengthof Materials, 5th edition, D. Van Nostrand Company, 1968."},{"key":"9020_CR35","first-page":"249","volume-title":"Proceedings of the 5th IEEE International Symposium on Requirements Engineering","author":"A. Lamsweerde van","year":"2001","unstructured":"van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour, in: Proceedings of the 5th IEEE International Symposium on Requirements Engineering, IEEE Computer Society, Washington, 2001, pp. 249\u2013263."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11155-006-9020-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11155-006-9020-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11155-006-9020-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T08:31:35Z","timestamp":1559377895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11155-006-9020-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,22]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,12,2]]}},"alternative-id":["9020"],"URL":"https:\/\/doi.org\/10.1007\/s11155-006-9020-7","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"value":"1385-3139","type":"print"},{"value":"1573-1340","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,11,22]]}}}