Loading...
Please wait, while we are loading the content...
Expert system verification and validation study. delivery 3a and 3b: trip summaries
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | French, Scott |
| Copyright Year | 1991 |
| Description | Key results are documented from attending the 4th workshop on verification, validation, and testing. The most interesting part of the workshop was when representatives from the U.S., Japan, and Europe presented surveys of VV&T within their respective regions. Another interesting part focused on current efforts to define industry standards for artificial intelligence and how that might affect approaches to VV&T of expert systems. The next part of the workshop focused on VV&T methods of applying mathematical techniques to verification of rule bases and techniques for capturing information relating to the process of developing software. The final part focused on software tools. A summary is also presented of the EPRI conference on 'Methodologies, Tools, and Standards for Cost Effective Reliable Software Verification and Validation. The conference was divided into discussion sessions on the following issues: development process, automated tools, software reliability, methods, standards, and cost/benefit considerations. |
| File Size | 6764603 |
| Page Count | 14 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19920011307 |
| Archival Resource Key | ark:/13960/t6547mr29 |
| Language | English |
| Publisher Date | 1991-08-23 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Cost Effectiveness Conferences Management Systems Europe Japan Automatic Control Reliability Expert Systems Computer Programs Program Verification Computers Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
