Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569204054> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1569204054 endingPage "403" @default.
- W1569204054 startingPage "398" @default.
- W1569204054 abstract "Formal program specifications are difficult to write. They are always constructed from an informal precursor. We are exploring the technology required to aid in the construction of the formal specification from the informal version.An informal specification differs from a formal one in that much information which the writer believes the reader can infer from the context has been supressed from the specification. Resolution of the supressed information depends upon information contained in other parts of the specification and upon Knowledge of what makes a specification well-formed and the ability to model the parts of the specification interacting with one another.This paper describes the technology used in a running system which embodies theories of program well-formedness and informality resolution within the context established by symbolically executing the program to systematically discover the intended meaning of each informal construct within an informal specification." @default.
- W1569204054 created "2016-06-24" @default.
- W1569204054 creator A5017776625 @default.
- W1569204054 creator A5053459714 @default.
- W1569204054 creator A5069745282 @default.
- W1569204054 date "1977-08-22" @default.
- W1569204054 modified "2023-09-28" @default.
- W1569204054 title "Meta-evaluation as a tool for program understanding" @default.
- W1569204054 cites W1983342812 @default.
- W1569204054 cites W1994214862 @default.
- W1569204054 cites W1996081324 @default.
- W1569204054 cites W2054174671 @default.
- W1569204054 cites W2094382938 @default.
- W1569204054 cites W2109276114 @default.
- W1569204054 cites W2126094482 @default.
- W1569204054 cites W2302114522 @default.
- W1569204054 cites W35211008 @default.
- W1569204054 cites W93861386 @default.
- W1569204054 hasPublicationYear "1977" @default.
- W1569204054 type Work @default.
- W1569204054 sameAs 1569204054 @default.
- W1569204054 citedByCount "1" @default.
- W1569204054 crossrefType "proceedings-article" @default.
- W1569204054 hasAuthorship W1569204054A5017776625 @default.
- W1569204054 hasAuthorship W1569204054A5053459714 @default.
- W1569204054 hasAuthorship W1569204054A5069745282 @default.
- W1569204054 hasConcept C111472728 @default.
- W1569204054 hasConcept C115903868 @default.
- W1569204054 hasConcept C116253237 @default.
- W1569204054 hasConcept C138268822 @default.
- W1569204054 hasConcept C138885662 @default.
- W1569204054 hasConcept C14331664 @default.
- W1569204054 hasConcept C151730666 @default.
- W1569204054 hasConcept C199360897 @default.
- W1569204054 hasConcept C201677973 @default.
- W1569204054 hasConcept C2779343474 @default.
- W1569204054 hasConcept C2780801425 @default.
- W1569204054 hasConcept C2780876879 @default.
- W1569204054 hasConcept C41008148 @default.
- W1569204054 hasConcept C75606506 @default.
- W1569204054 hasConcept C86803240 @default.
- W1569204054 hasConcept C90069079 @default.
- W1569204054 hasConceptScore W1569204054C111472728 @default.
- W1569204054 hasConceptScore W1569204054C115903868 @default.
- W1569204054 hasConceptScore W1569204054C116253237 @default.
- W1569204054 hasConceptScore W1569204054C138268822 @default.
- W1569204054 hasConceptScore W1569204054C138885662 @default.
- W1569204054 hasConceptScore W1569204054C14331664 @default.
- W1569204054 hasConceptScore W1569204054C151730666 @default.
- W1569204054 hasConceptScore W1569204054C199360897 @default.
- W1569204054 hasConceptScore W1569204054C201677973 @default.
- W1569204054 hasConceptScore W1569204054C2779343474 @default.
- W1569204054 hasConceptScore W1569204054C2780801425 @default.
- W1569204054 hasConceptScore W1569204054C2780876879 @default.
- W1569204054 hasConceptScore W1569204054C41008148 @default.
- W1569204054 hasConceptScore W1569204054C75606506 @default.
- W1569204054 hasConceptScore W1569204054C86803240 @default.
- W1569204054 hasConceptScore W1569204054C90069079 @default.
- W1569204054 hasLocation W15692040541 @default.
- W1569204054 hasOpenAccess W1569204054 @default.
- W1569204054 hasPrimaryLocation W15692040541 @default.
- W1569204054 hasRelatedWork W132027371 @default.
- W1569204054 hasRelatedWork W140302504 @default.
- W1569204054 hasRelatedWork W1469848055 @default.
- W1569204054 hasRelatedWork W1865621670 @default.
- W1569204054 hasRelatedWork W2065385996 @default.
- W1569204054 hasRelatedWork W2084011773 @default.
- W1569204054 hasRelatedWork W2183650586 @default.
- W1569204054 hasRelatedWork W2399272228 @default.
- W1569204054 hasRelatedWork W2493326311 @default.
- W1569204054 hasRelatedWork W2581615414 @default.
- W1569204054 hasRelatedWork W2620895547 @default.
- W1569204054 hasRelatedWork W2952940507 @default.
- W1569204054 hasRelatedWork W3020786622 @default.
- W1569204054 hasRelatedWork W3022693618 @default.
- W1569204054 hasRelatedWork W3103871759 @default.
- W1569204054 hasRelatedWork W3133349988 @default.
- W1569204054 hasRelatedWork W3165794402 @default.
- W1569204054 hasRelatedWork W81930427 @default.
- W1569204054 hasRelatedWork W2182435675 @default.
- W1569204054 hasRelatedWork W2609578959 @default.
- W1569204054 isParatext "false" @default.
- W1569204054 isRetracted "false" @default.
- W1569204054 magId "1569204054" @default.
- W1569204054 workType "article" @default.