Matches in SemOpenAlex for { <https://semopenalex.org/work/W1560643514> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1560643514 abstract "Current research in specifications is beginning to emphasize the practical use of formal specifications in program design. This thesis presents a specification approach, a specification language that supports that approach, and some ways to evaluate specifications written in that language. The two-tiered approach separates the specification of underlying abstractions from the specification of state transformations. In this approach, state transformations and target programming language dependencies are isolated into an interface language component. All interface specifications are built upon shared language specifications that describe the underlying abstractions. This thesis presents an interface specification language for the CLU programming language and presumes the use of the Larch shared language. This thesis also suggests a number of kinds of analyses that one might want to perform on two-tiered specifications. These are related to the consistency, completeness, and strength of specifications, and are all presented in terms of the theories associated with specifications." @default.
- W1560643514 created "2016-06-24" @default.
- W1560643514 creator A5052383402 @default.
- W1560643514 date "1983-05-01" @default.
- W1560643514 modified "2023-09-23" @default.
- W1560643514 title "A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS" @default.
- W1560643514 hasPublicationYear "1983" @default.
- W1560643514 type Work @default.
- W1560643514 sameAs 1560643514 @default.
- W1560643514 citedByCount "32" @default.
- W1560643514 crossrefType "journal-article" @default.
- W1560643514 hasAuthorship W1560643514A5052383402 @default.
- W1560643514 hasConcept C113843644 @default.
- W1560643514 hasConcept C116253237 @default.
- W1560643514 hasConcept C119263510 @default.
- W1560643514 hasConcept C129307140 @default.
- W1560643514 hasConcept C15077461 @default.
- W1560643514 hasConcept C154945302 @default.
- W1560643514 hasConcept C157915830 @default.
- W1560643514 hasConcept C173608175 @default.
- W1560643514 hasConcept C177216440 @default.
- W1560643514 hasConcept C199360897 @default.
- W1560643514 hasConcept C201677973 @default.
- W1560643514 hasConcept C2776436953 @default.
- W1560643514 hasConcept C34165917 @default.
- W1560643514 hasConcept C41008148 @default.
- W1560643514 hasConcept C50033165 @default.
- W1560643514 hasConcept C75606506 @default.
- W1560643514 hasConcept C89505385 @default.
- W1560643514 hasConcept C90069079 @default.
- W1560643514 hasConceptScore W1560643514C113843644 @default.
- W1560643514 hasConceptScore W1560643514C116253237 @default.
- W1560643514 hasConceptScore W1560643514C119263510 @default.
- W1560643514 hasConceptScore W1560643514C129307140 @default.
- W1560643514 hasConceptScore W1560643514C15077461 @default.
- W1560643514 hasConceptScore W1560643514C154945302 @default.
- W1560643514 hasConceptScore W1560643514C157915830 @default.
- W1560643514 hasConceptScore W1560643514C173608175 @default.
- W1560643514 hasConceptScore W1560643514C177216440 @default.
- W1560643514 hasConceptScore W1560643514C199360897 @default.
- W1560643514 hasConceptScore W1560643514C201677973 @default.
- W1560643514 hasConceptScore W1560643514C2776436953 @default.
- W1560643514 hasConceptScore W1560643514C34165917 @default.
- W1560643514 hasConceptScore W1560643514C41008148 @default.
- W1560643514 hasConceptScore W1560643514C50033165 @default.
- W1560643514 hasConceptScore W1560643514C75606506 @default.
- W1560643514 hasConceptScore W1560643514C89505385 @default.
- W1560643514 hasConceptScore W1560643514C90069079 @default.
- W1560643514 hasLocation W15606435141 @default.
- W1560643514 hasOpenAccess W1560643514 @default.
- W1560643514 hasPrimaryLocation W15606435141 @default.
- W1560643514 hasRelatedWork W1535103785 @default.
- W1560643514 hasRelatedWork W1540323172 @default.
- W1560643514 hasRelatedWork W1548664426 @default.
- W1560643514 hasRelatedWork W1583095677 @default.
- W1560643514 hasRelatedWork W1591007360 @default.
- W1560643514 hasRelatedWork W1970495662 @default.
- W1560643514 hasRelatedWork W1993836075 @default.
- W1560643514 hasRelatedWork W1995008247 @default.
- W1560643514 hasRelatedWork W2013492611 @default.
- W1560643514 hasRelatedWork W2059295282 @default.
- W1560643514 hasRelatedWork W2094160561 @default.
- W1560643514 hasRelatedWork W2103953153 @default.
- W1560643514 hasRelatedWork W2107283383 @default.
- W1560643514 hasRelatedWork W2110050316 @default.
- W1560643514 hasRelatedWork W2110795198 @default.
- W1560643514 hasRelatedWork W2144973245 @default.
- W1560643514 hasRelatedWork W2161825580 @default.
- W1560643514 hasRelatedWork W2168468191 @default.
- W1560643514 hasRelatedWork W3146075203 @default.
- W1560643514 hasRelatedWork W48939354 @default.
- W1560643514 isParatext "false" @default.
- W1560643514 isRetracted "false" @default.
- W1560643514 magId "1560643514" @default.
- W1560643514 workType "article" @default.