Author:
Motta Enrico,Rajan Tim,Domingue John,Eisenstadt Marc
Subject
Hardware and Architecture,Human-Computer Interaction,General Engineering,Education,Human Factors and Ergonomics,Software
Reference53 articles.
1. Validation, verification, and testing of computer software;Adrion;ACM Computing Surveys,1982
2. A description oriented logic for building knowledge bases;Attardi,1986
3. Protocols for consistency checking in expert system knowledge bases;Ayel,1988
4. The validation of knowledge acquisition: methodologies and techniques;Benbasat,1989
5. A spiral model of software development and enhancement;Boehm;Computer,1988
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献