Matches in SemOpenAlex for { <https://semopenalex.org/work/W244360973> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W244360973 abstract "The objective of this task is to develop and evaluate a methodology for verification and validation (VV (2) Formal Verification of Safety Properties (SRI International); and (3) Consistency and Completeness Checking (Lockheed AI Center). During FY89 and FY90, each contractor will independently demonstrate the user of his technique on the fault detection, isolation, and reconfiguration (FDIR) KBS or the manned maneuvering unit (MMU), a rule-based system implemented in LISP. During FY91, the application of each of the techniques to other knowledge representations and KBS architectures will be addressed. After evaluation of the results of the first task and examination of Space Station Freedom V&V requirements for conventional software, a comprehensive KBS V&V methodology will be developed and documented. Development of highly reliable KBS's cannot be accomplished without effective software engineering methods. Using the results of current in-house research to develop and assess software engineering methods for KBS's as well as assessment of techniques being developed elsewhere, an effective software engineering methodology for space station KBS's will be developed, and modification of the SSF to support these tools and methods will be addressed." @default.
- W244360973 created "2016-06-24" @default.
- W244360973 creator A5030271406 @default.
- W244360973 date "1990-01-01" @default.
- W244360973 modified "2023-09-27" @default.
- W244360973 title "Knowledge-based system verification and validation" @default.
- W244360973 hasPublicationYear "1990" @default.
- W244360973 type Work @default.
- W244360973 sameAs 244360973 @default.
- W244360973 citedByCount "0" @default.
- W244360973 crossrefType "journal-article" @default.
- W244360973 hasAuthorship W244360973A5030271406 @default.
- W244360973 hasConcept C115903868 @default.
- W244360973 hasConcept C127413603 @default.
- W244360973 hasConcept C149091818 @default.
- W244360973 hasConcept C154945302 @default.
- W244360973 hasConcept C186846655 @default.
- W244360973 hasConcept C199360897 @default.
- W244360973 hasConcept C200601418 @default.
- W244360973 hasConcept C201995342 @default.
- W244360973 hasConcept C21547014 @default.
- W244360973 hasConcept C2776436953 @default.
- W244360973 hasConcept C2777904410 @default.
- W244360973 hasConcept C2780451532 @default.
- W244360973 hasConcept C33054407 @default.
- W244360973 hasConcept C41008148 @default.
- W244360973 hasConcept C4554734 @default.
- W244360973 hasConcept C48002344 @default.
- W244360973 hasConceptScore W244360973C115903868 @default.
- W244360973 hasConceptScore W244360973C127413603 @default.
- W244360973 hasConceptScore W244360973C149091818 @default.
- W244360973 hasConceptScore W244360973C154945302 @default.
- W244360973 hasConceptScore W244360973C186846655 @default.
- W244360973 hasConceptScore W244360973C199360897 @default.
- W244360973 hasConceptScore W244360973C200601418 @default.
- W244360973 hasConceptScore W244360973C201995342 @default.
- W244360973 hasConceptScore W244360973C21547014 @default.
- W244360973 hasConceptScore W244360973C2776436953 @default.
- W244360973 hasConceptScore W244360973C2777904410 @default.
- W244360973 hasConceptScore W244360973C2780451532 @default.
- W244360973 hasConceptScore W244360973C33054407 @default.
- W244360973 hasConceptScore W244360973C41008148 @default.
- W244360973 hasConceptScore W244360973C4554734 @default.
- W244360973 hasConceptScore W244360973C48002344 @default.
- W244360973 hasLocation W2443609731 @default.
- W244360973 hasOpenAccess W244360973 @default.
- W244360973 hasPrimaryLocation W2443609731 @default.
- W244360973 hasRelatedWork W1507699160 @default.
- W244360973 hasRelatedWork W1543167779 @default.
- W244360973 hasRelatedWork W1554426109 @default.
- W244360973 hasRelatedWork W1563778567 @default.
- W244360973 hasRelatedWork W1578803045 @default.
- W244360973 hasRelatedWork W2002809281 @default.
- W244360973 hasRelatedWork W2030655146 @default.
- W244360973 hasRelatedWork W2035264634 @default.
- W244360973 hasRelatedWork W2063528909 @default.
- W244360973 hasRelatedWork W2089204618 @default.
- W244360973 hasRelatedWork W2099648625 @default.
- W244360973 hasRelatedWork W2107006294 @default.
- W244360973 hasRelatedWork W2167771083 @default.
- W244360973 hasRelatedWork W2763992091 @default.
- W244360973 hasRelatedWork W3029904122 @default.
- W244360973 hasRelatedWork W313480774 @default.
- W244360973 hasRelatedWork W3143080346 @default.
- W244360973 hasRelatedWork W746921026 @default.
- W244360973 hasRelatedWork W1670404404 @default.
- W244360973 hasRelatedWork W250250517 @default.
- W244360973 isParatext "false" @default.
- W244360973 isRetracted "false" @default.
- W244360973 magId "244360973" @default.
- W244360973 workType "article" @default.