{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T23:24:08Z","timestamp":1773617048011,"version":"3.50.1"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,10,7]],"date-time":"2005-10-07T00:00:00Z","timestamp":1128643200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1007\/s00766-005-0018-1","type":"journal-article","created":{"date-parts":[[2005,10,6]],"date-time":"2005-10-06T09:03:24Z","timestamp":1128589404000},"page":"42-57","source":"Crossref","is-referenced-by-count":30,"title":["Requirements quality control: a unifying framework"],"prefix":"10.1007","volume":"11","author":[{"given":"Artem","family":"Katasonov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markku","family":"Sakkinen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,10,7]]},"reference":[{"key":"18_CR1","volume-title":"Facts and fallacies of software engineering","author":"RL Glass","year":"2003","unstructured":"Glass RL (2003) Facts and fallacies of software engineering. Addison-Wesley"},{"key":"18_CR2","unstructured":"Boehm BW (1979) Guidelines for verifying and validating software requirements and design specifications, in Euro IFIP 79. London, UK: North-Holland, pp 711\u2013719"},{"key":"18_CR3","volume-title":"Exploring Requirements: Quality before design","author":"DC Gause","year":"2003","unstructured":"Gause DC, Weinberg GM (2003) Exploring requirements: Quality before design. Dorset House"},{"key":"18_CR4","volume-title":"Software Requirements, 2nd ed","author":"KE Wiegers","year":"2003","unstructured":"Wiegers KE (2003) Software Requirements, 2nd ed. Microsoft Press"},{"key":"18_CR5","unstructured":"Wiegers KE (1999) Software Requirements. Microsoft Press"},{"key":"18_CR6","volume-title":"The Complete guide to software testing, 2nd ed","author":"B Hetzel","year":"1988","unstructured":"Hetzel B (1988) The complete guide to software testing, 2nd ed. Wiley"},{"key":"18_CR7","volume-title":"Testing object-oriented software: life cycle solutions","author":"I Bashir","year":"2000","unstructured":"Bashir I, Goel AL (2000) Testing object-oriented software: life cycle Solutions. Springer-Verlag, New York"},{"key":"18_CR8","volume-title":"Requirements engineering : processes and techniques","author":"G Kotonya","year":"1998","unstructured":"Kotonya G, Sommerville I (1998) Requirements engineering : processes and techniques. Wiley"},{"issue":"1","key":"18_CR9","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/MS.1984.233702","volume":"1","author":"BW Boehm","year":"1984","unstructured":"Boehm BW (1984) Verifying and validating software requirements and design specifications. IEEE Software 1(1):75\u201388","journal-title":"IEEE Software"},{"key":"18_CR10","unstructured":"Boehm BW (1974) Some steps towards formal and automated aids to software requirements analysis and design, in Information Processing 74: Proceedings of IFIP Congress 74. Stockholm, Sweden: North-Holland, pp 192\u2013197"},{"issue":"3","key":"18_CR11","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/s007660200011","volume":"7","author":"M Bergman","year":"2002","unstructured":"Bergman M, King JL, Lyytinen K (2002) Largescale requirements analysis revisited: The need for understanding the political ecology of requirements engineering. Requirements Engineering 7(3):152\u2013171","journal-title":"Requirements Engineering"},{"key":"18_CR12","volume-title":"Software Requirements & Specifications : a lexicon of practice, principles and prejudices","author":"M Jackson","year":"1995","unstructured":"Jackson M (1995) Software requirements & specifications : a lexicon of practice, principles and prejudices. ACM Press, Addison-Wesley"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Jackson M (2004) Seeing more of the world, IEEE Software 21(6):83\u201385","DOI":"10.1109\/MS.2004.51"},{"issue":"1","key":"18_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P Zave","year":"1997","unstructured":"Zave P, Jackson M (1997) Four dark corners of requirements engineering. ACM transactions on Software Engineering and Methodology (TOSEM) 6(1):1\u201330","journal-title":"ACM transactions on Software Engineering and Methodology (TOSEM)"},{"issue":"3","key":"18_CR15","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1109\/2.910904","volume":"34","author":"B Nuseibeh","year":"2001","unstructured":"Nuseibeh B (2001) Weaving together requirements and architectures. IEEE Computer 34(3):115\u2013 119","journal-title":"IEEE Computer"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Hall JG, Jackson M, Laney RC, Nuseibeh B, Rapanotti L (2002) Relating software requirements and architectures using problem frame. In Proc IEEE joint international conference on requirements engineering (RE\u201902) 137\u2013144","DOI":"10.1109\/ICRE.2002.1048516"},{"issue":"7","key":"18_CR17","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1145\/358557.358572","volume":"25","author":"W Swartout","year":"1982","unstructured":"Swartout W, Balzer R (1982) On the inevitable intertwining of specification and implementation. Communications of the ACM 25(7):438\u2013440","journal-title":"Communications of the ACM"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Schneider RE, Buede DM (2000) Properties of a high quality informal requirements document. In Proc 10th annual international symposium of the INCOSE","DOI":"10.1002\/j.2334-5837.2000.tb00397.x"},{"key":"18_CR19","unstructured":"Kar P, Bailey M (1996) Characteristics of good requirements, requirements working group of the INCOSE, available as http:\/\/www.incose.org\/rwg\/goodreqs.html ."},{"key":"18_CR20","volume-title":"A practical guide to testing object-oriented software","author":"JD McGregor","year":"2001","unstructured":"McGregor JD, Sykes DA (2001) A practical guide to testing object-oriented software. Addison-Wesley"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Carson RS, Requirements completeness: A deterministic approach, in Proc 8th annual international symposium of the INCOSE, 1998, available as http:\/\/www.incose.org\/rwg\/98_carson\/paper016.pdf","DOI":"10.1002\/j.2334-5837.1998.tb00105.x"},{"key":"18_CR22","volume-title":"Process-centered requirements engineering","author":"K Pohl","year":"1996","unstructured":"Pohl K (1996) Process-centered requirements engineering. Research studies Press \/ Wiley"},{"key":"18_CR23","unstructured":"Preiss O, Wegmann A (2001) Stakeholder discovery and classification based on systems science principles, In Proc 2nd APQSC Asia-Pacific Conference on Quality Software. IEEE 194\u2013198"},{"key":"18_CR24","unstructured":"Berry DM, Kamsties E (2000) The dangerous \"all\" in specifications In Proc 10th international workshop on software specification and design. IEEE 191\u2013193"},{"key":"18_CR25","unstructured":"Fagan ME (1999) Design and code inspections to reduce errors in program development, IBM Systems Journal, vol 15, no. 3, pp. 182\u2013211, 1976, reprinted in IBM Systems Journal 38(2\u20133):258\u2013288"},{"issue":"3","key":"18_CR26","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1002\/stvr.243","volume":"12","author":"A Aurum","year":"2002","unstructured":"Aurum A, Petersson H, Wohlin C (2002) State-of-the-art: software inspections after 25\u00a0years. Software Testing, Verification & Reliability 12(3):133\u2013154","journal-title":"Software Testing, Verification & Reliability"},{"key":"18_CR27","volume-title":"Software Inspection","author":"T Gilb","year":"1993","unstructured":"Gilb T, Graham D (1993) Software Inspection. Addison-Wesley"},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"Votta LGJ (1993) Does every inspection need a meeting? in Proc. 1st ACM symposium on the foundations of software engineering, 1993, pp 107\u2013114 (Software Engineering Notes, vol. 18, no. 5)","DOI":"10.1145\/167049.167070"},{"issue":"6","key":"18_CR29","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1109\/32.391380","volume":"21","author":"AA Porter","year":"1995","unstructured":"Porter AA, Votta LGJ, Basili VR (1995) Comparing detection methods for software requirements inspections: a replicated experiment. IEEE Transactions on Software Engineering 21(6):563\u2013 575","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"18_CR30","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1023\/A:1009742216007","volume":"2","author":"P Fusaro","year":"1997","unstructured":"Fusaro P, Lanubile F, and Visaggio G (1997) A replicated experiment to assess requirements inspection techniques. Empirical Software Engineering 2(1):39\u201357","journal-title":"Empirical Software Engineering"},{"issue":"7","key":"18_CR31","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1109\/2.869376","volume":"33","author":"F Shull","year":"2000","unstructured":"Shull F, Rus I, Basili V (2000) How perspective-based reading can improve requirements inspections. IEEE Computer 33(7):73\u201379","journal-title":"IEEE Computer"},{"issue":"2","key":"18_CR32","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/52.663783","volume":"15","author":"K Weidenhaupt","year":"1998","unstructured":"Weidenhaupt K, Pohl K, Jarke M, Haumer P (1998) Scenarios in system development: current practice. IEEE Software 15(2):34\u201345","journal-title":"IEEE Software"},{"key":"18_CR33","doi-asserted-by":"crossref","unstructured":"Maiden N, Cisse M, Perez H, Manuel D (1998) CREWS validation frames: Patterns for validating systems requirements, in Proc. 4th REFSQ international workshop on requirements engineering: foundation for software quality","DOI":"10.1049\/ic:19980542"},{"issue":"1","key":"18_CR34","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/PL00010354","volume":"6","author":"G K\u00f6sters","year":"2001","unstructured":"K\u00f6sters G, Six H-W, Winter M (2001) Coupling use cases and class models as a means for validation and verification of requirements specifications. Requirements Engineering 6(1):3\u201317","journal-title":"Requirements Engineering"},{"key":"18_CR35","doi-asserted-by":"crossref","unstructured":"Nuseibeh B, Easterbrook S (2000) Requirements engineering: a roadmap. In Proc 22nd international conference on software engineering (ICSE-00). ACM pp 35\u201346","DOI":"10.1145\/336512.336523"},{"issue":"1","key":"18_CR36","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s00766-003-0181-1","volume":"9","author":"DM Berry","year":"2004","unstructured":"Berry DM, Daudjee K, Dong J, Fainchtein I, Nelson MA, Nelson T, Ou L (2004) User\u2019s manual as a requirements specification: case studies. Requirements Engineering 9(1):67\u201382","journal-title":"Requirements Engineering"},{"key":"18_CR37","volume-title":"The Unified Modeling Language User Guide","author":"G Booch","year":"1999","unstructured":"Booch G, Rumbaugh J, Jacobson I (1999) The Unified Modeling Language User Guide. Addison-Wesley"},{"key":"18_CR38","doi-asserted-by":"crossref","unstructured":"Lalioti V (1997) Animation for validation of business system specifications. In Proc 13th Hawaii International Conference on System Sciences vol. 2. IEEE, pp. 220\u2013229.","DOI":"10.1109\/HICSS.1997.665501"},{"issue":"3","key":"18_CR39","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/s00766-003-0182-0","volume":"9","author":"A Gemino","year":"2004","unstructured":"Gemino A (2004) Empirical comparisons of animation and narration in requirements validation. Requirements Engineering 9(3):153\u2013168","journal-title":"Requirements Engineering"},{"key":"18_CR40","doi-asserted-by":"crossref","unstructured":"Dulac N, Viguier T, Leveson N, Storey M-A (2002) On the use of visualization in formal requirements specification. In Proc IEEE joint international conference on requirements engineering RE\u201902, pp 71\u201380","DOI":"10.1109\/ICRE.2002.1048507"},{"key":"18_CR41","doi-asserted-by":"crossref","unstructured":"Heitmeyer C, Kirby J, Labaw B (1997) Tools for formal specification, verification, and validation of requirements, In Proc 12th annual COMPASS conference on computer assurance pp 35\u201347","DOI":"10.1109\/CMPASS.1997.613206"},{"key":"18_CR42","doi-asserted-by":"crossref","unstructured":"Schneider F, Easterbrook SM, Callahan JR, Holzmann GJ (1998) Validating requirements for fault tolerant systems using model checking, in Proc 3rd IEEE international conference on requirements engineering, pp 4\u201313","DOI":"10.1109\/ICRE.1998.667803"},{"issue":"3","key":"18_CR43","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/52.896246","volume":"17","author":"J H\u00f6rl","year":"2000","unstructured":"H\u00f6rl J, Aichernig BK (2000) Validating voice communication requirements using lightweight formal methods. IEEE Software 17(3):21\u201327","journal-title":"IEEE Software"},{"key":"18_CR44","doi-asserted-by":"crossref","unstructured":"Easterbrook S, Callahan J (1997) Formal methods for V&V of partial specifications: an experience report. In Proc 3rd IEEE international symposium on requirements engineering pp 160\u2013168","DOI":"10.1109\/ISRE.1997.566865"},{"issue":"2","key":"18_CR45","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1002\/spe.430","volume":"32","author":"V Gervasi","year":"2002","unstructured":"Gervasi V, Nuseibeh B (2002) Lightweight validation of natural language requirements. Software - Practice and Experience 32(2):113\u2013133","journal-title":"Software - Practice and Experience"},{"issue":"1","key":"18_CR46","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/PL00010355","volume":"6","author":"S Lauesen","year":"2001","unstructured":"Lauesen S, Vinter O (2001) Preventing requirement defects: An experiment in process improvement. Requirements Engineering 6(1):37\u201350","journal-title":"Requirements Engineering"},{"key":"18_CR47","doi-asserted-by":"crossref","unstructured":"Andrews BA, Goeddel WC (1994) Using rapid prototypes for early requirements validation. In Proc 4th annual international symposium of the INCOSE","DOI":"10.1109\/DASC.1994.369501"},{"key":"18_CR48","doi-asserted-by":"crossref","unstructured":"Fenkam P, Gall H, Jazayeri M (2002) Visual requirements validation: Case study in a Corba-supported environment. In Proc IEEE joint international conference on requirements engineering RE\u201902 81\u201388","DOI":"10.1109\/ICRE.2002.1048508"},{"key":"18_CR49","doi-asserted-by":"crossref","unstructured":"Ghajar J-Dowlatshahi, Vernekar A (1994) Rapid prototyping in requirements specification phase of software systems. In Proc 4th annual international symposium of the INCOSE","DOI":"10.1002\/j.2334-5837.1994.tb01693.x"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-005-0018-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-005-0018-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-005-0018-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T17:46:37Z","timestamp":1706636797000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-005-0018-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,10,7]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["18"],"URL":"https:\/\/doi.org\/10.1007\/s00766-005-0018-1","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,10,7]]}}}