Within the last year
Within the past 3 years
1 - 10 of 25 articles
A Methodology for validation and verification of AI systems in aerospace is presented. The approach is applicable to both systems that are already coded and to those that are to be designed. Design methods are proposed that can be applied to (reverse projected from) AI systems that are designed...
This project is the first phase of M.S. thesis research performed by Michael Bruce, a graduate student at the Information Networking Institute of Carnegie Mellon University. This work is being done in conjunction with INSTEP, Inc., a strategic development firm located in Northern Virginia.The...
In the last five issues of SIGSOFT Notes, Shari Lawrence Pfleeger has discussed the use of formal experiments to evaluate software engineering methods and tools 1. Shari's articles were based on work she performed for the U.K. DESMET project which aimed to develop a methodology for evaluating...
Save this article to read later. You can see your Read Later on your DeepDyve homepage.
To save an article, log in first, or sign up for a DeepDyve account if you don't already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don't already have one.
Read and print from thousands of top scholarly journals.
Sign up with Facebook
Sign up with Google
Already have an account? Log in
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don't already have one.