Matches in SemOpenAlex for { <https://semopenalex.org/work/W90743757> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W90743757 abstract "Several software systems were developed and tested to determine what advantages could be gained from explicitly translating complicated regulatory requirements into computerized relationships. The Technical Specifications for US nuclear power plants were chosen as the test-bed application domain, and two analysis systems were developed to monitor plant compliance with operational limits, and track and schedule equipment test and maintenance activities mandated by Technical Specifications. Choosing PROLOG as the computer language to represent these regulatory requirements resulted in a natural match between the semantic structure of the written specifications and the corollary coded rules. Additional research results affirmed the utility of declarative programming styles, explicit management of problem complexity, and attention to the robustness and flexibility of the overall software systems. 5 refs., 2 figs." @default.
- W90743757 created "2016-06-24" @default.
- W90743757 creator A5059790399 @default.
- W90743757 creator A5083010182 @default.
- W90743757 date "1990-03-01" @default.
- W90743757 modified "2023-09-24" @default.
- W90743757 title "Technical specifications requirements: Automated reasoning applications" @default.
- W90743757 doi "https://doi.org/10.2172/7172273" @default.
- W90743757 hasPublicationYear "1990" @default.
- W90743757 type Work @default.
- W90743757 sameAs 90743757 @default.
- W90743757 citedByCount "0" @default.
- W90743757 crossrefType "report" @default.
- W90743757 hasAuthorship W90743757A5059790399 @default.
- W90743757 hasAuthorship W90743757A5083010182 @default.
- W90743757 hasBestOaLocation W907437572 @default.
- W90743757 hasConcept C104317684 @default.
- W90743757 hasConcept C105795698 @default.
- W90743757 hasConcept C111919701 @default.
- W90743757 hasConcept C115903868 @default.
- W90743757 hasConcept C127413603 @default.
- W90743757 hasConcept C185592680 @default.
- W90743757 hasConcept C199360897 @default.
- W90743757 hasConcept C201995342 @default.
- W90743757 hasConcept C2777904410 @default.
- W90743757 hasConcept C2780598303 @default.
- W90743757 hasConcept C33923547 @default.
- W90743757 hasConcept C41008148 @default.
- W90743757 hasConcept C55493867 @default.
- W90743757 hasConcept C59488412 @default.
- W90743757 hasConcept C63479239 @default.
- W90743757 hasConcept C68387754 @default.
- W90743757 hasConcept C81721847 @default.
- W90743757 hasConceptScore W90743757C104317684 @default.
- W90743757 hasConceptScore W90743757C105795698 @default.
- W90743757 hasConceptScore W90743757C111919701 @default.
- W90743757 hasConceptScore W90743757C115903868 @default.
- W90743757 hasConceptScore W90743757C127413603 @default.
- W90743757 hasConceptScore W90743757C185592680 @default.
- W90743757 hasConceptScore W90743757C199360897 @default.
- W90743757 hasConceptScore W90743757C201995342 @default.
- W90743757 hasConceptScore W90743757C2777904410 @default.
- W90743757 hasConceptScore W90743757C2780598303 @default.
- W90743757 hasConceptScore W90743757C33923547 @default.
- W90743757 hasConceptScore W90743757C41008148 @default.
- W90743757 hasConceptScore W90743757C55493867 @default.
- W90743757 hasConceptScore W90743757C59488412 @default.
- W90743757 hasConceptScore W90743757C63479239 @default.
- W90743757 hasConceptScore W90743757C68387754 @default.
- W90743757 hasConceptScore W90743757C81721847 @default.
- W90743757 hasLocation W907437571 @default.
- W90743757 hasLocation W907437572 @default.
- W90743757 hasOpenAccess W90743757 @default.
- W90743757 hasPrimaryLocation W907437571 @default.
- W90743757 hasRelatedWork W114224949 @default.
- W90743757 hasRelatedWork W1498997520 @default.
- W90743757 hasRelatedWork W1521341885 @default.
- W90743757 hasRelatedWork W1540777452 @default.
- W90743757 hasRelatedWork W1907436712 @default.
- W90743757 hasRelatedWork W1921952863 @default.
- W90743757 hasRelatedWork W1967772211 @default.
- W90743757 hasRelatedWork W2009319822 @default.
- W90743757 hasRelatedWork W2099862516 @default.
- W90743757 hasRelatedWork W2117322118 @default.
- W90743757 hasRelatedWork W2132989939 @default.
- W90743757 hasRelatedWork W2135691922 @default.
- W90743757 hasRelatedWork W2137490279 @default.
- W90743757 hasRelatedWork W2144369124 @default.
- W90743757 hasRelatedWork W2152705278 @default.
- W90743757 hasRelatedWork W2155891457 @default.
- W90743757 hasRelatedWork W236894088 @default.
- W90743757 hasRelatedWork W48788080 @default.
- W90743757 hasRelatedWork W176947154 @default.
- W90743757 hasRelatedWork W255896997 @default.
- W90743757 isParatext "false" @default.
- W90743757 isRetracted "false" @default.
- W90743757 magId "90743757" @default.
- W90743757 workType "report" @default.