
Independent verification and validation of large software requirement specification databases
Author(s) -
K.E. Twitchell
Publication year - 1992
Language(s) - English
Resource type - Reports
DOI - 10.2172/7233636
Subject(s) - computer science , consistency (knowledge bases) , completeness (order theory) , software , software engineering , database , software requirements specification , verification and validation , software development process , software quality , process (computing) , programming language , data mining , software development , software construction , engineering , artificial intelligence , mathematical analysis , operations management , mathematics