Matches in SemOpenAlex for { <https://semopenalex.org/work/W236269992> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- W236269992 abstract "Abstract : Regardless of the specification language used, formal program specifications can be tough to understand. Yet, because a specification is frequently the means by which a customer communicates his desires to a programmer, it is critical both the customer and programmer be able to examine and comprehend the specification. Our experience with Gist, a high-level specification langauge being developed at ISI (Information Sciences Institute) has indicated that two of the major impediments to understandability are the unfamiliar syntactic constructs of the language and non-obvious interactions between parts of the specification that are often widely separated. These interactions may cause the specification to denote behaviors that were unintended by the original or not to denote behaviors that were intended. This report documents our efforts to overcome these impediments by constructing tools to make specifications moe understandable, both to specifiers and to those unfamiliar with formal specification languages." @default.
- W236269992 created "2016-06-24" @default.
- W236269992 creator A5053459714 @default.
- W236269992 creator A5062651906 @default.
- W236269992 creator A5072714365 @default.
- W236269992 date "1983-12-01" @default.
- W236269992 modified "2023-09-25" @default.
- W236269992 title "Tools for Specification Validation and Understanding." @default.
- W236269992 doi "https://doi.org/10.21236/ada141079" @default.
- W236269992 hasPublicationYear "1983" @default.
- W236269992 type Work @default.
- W236269992 sameAs 236269992 @default.
- W236269992 citedByCount "2" @default.
- W236269992 crossrefType "report" @default.
- W236269992 hasAuthorship W236269992A5053459714 @default.
- W236269992 hasAuthorship W236269992A5062651906 @default.
- W236269992 hasAuthorship W236269992A5072714365 @default.
- W236269992 hasConcept C115903868 @default.
- W236269992 hasConcept C2522767166 @default.
- W236269992 hasConcept C41008148 @default.
- W236269992 hasConceptScore W236269992C115903868 @default.
- W236269992 hasConceptScore W236269992C2522767166 @default.
- W236269992 hasConceptScore W236269992C41008148 @default.
- W236269992 hasLocation W2362699921 @default.
- W236269992 hasOpenAccess W236269992 @default.
- W236269992 hasPrimaryLocation W2362699921 @default.
- W236269992 hasRelatedWork W2085861978 @default.
- W236269992 hasRelatedWork W2104185553 @default.
- W236269992 hasRelatedWork W2338700700 @default.
- W236269992 hasRelatedWork W2358927215 @default.
- W236269992 hasRelatedWork W2374823395 @default.
- W236269992 hasRelatedWork W2390279801 @default.
- W236269992 hasRelatedWork W2497849102 @default.
- W236269992 hasRelatedWork W2748952813 @default.
- W236269992 hasRelatedWork W2899084033 @default.
- W236269992 hasRelatedWork W4247880953 @default.
- W236269992 isParatext "false" @default.
- W236269992 isRetracted "false" @default.
- W236269992 magId "236269992" @default.
- W236269992 workType "report" @default.