Matches in SemOpenAlex for { <https://semopenalex.org/work/W29778757> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W29778757 abstract "The algebraic specification of abstract data types can be affected by serious flaws. Rather than attempting, as it is usually done, to detect defects in a specification a posteriori, i.e., after the specification has been designed, we propose two strategies for addressing this problem a priori, i.e., during design phase of a specification. We investigate two common flaws of algebraic operations, under- and over-specification, determine sufficient and/or necessary conditions to avoid them, and show how to obtain these conditions in a constructive way. Our approach is based on the completeness and parsimony properties of sets of tuples and on a recursive mechanism which extends primitive recursion from natural numbers to abstract data types. Finally, we attempt to assess the power and the limitations of our approach and relate the properties on which it is based to other similar properties which have appeared in the literature. We formally prove a number of results and illustrate their application to the design of specifications by means of examples." @default.
- W29778757 created "2016-06-24" @default.
- W29778757 creator A5012915644 @default.
- W29778757 date "1989-01-01" @default.
- W29778757 modified "2023-09-23" @default.
- W29778757 title "Design Strategies for Algebraic Specifications" @default.
- W29778757 hasPublicationYear "1989" @default.
- W29778757 type Work @default.
- W29778757 sameAs 29778757 @default.
- W29778757 citedByCount "0" @default.
- W29778757 crossrefType "journal-article" @default.
- W29778757 hasAuthorship W29778757A5012915644 @default.
- W29778757 hasConcept C111472728 @default.
- W29778757 hasConcept C11413529 @default.
- W29778757 hasConcept C116253237 @default.
- W29778757 hasConcept C118615104 @default.
- W29778757 hasConcept C118930307 @default.
- W29778757 hasConcept C134306372 @default.
- W29778757 hasConcept C136119220 @default.
- W29778757 hasConcept C138885662 @default.
- W29778757 hasConcept C168773036 @default.
- W29778757 hasConcept C17231256 @default.
- W29778757 hasConcept C175971053 @default.
- W29778757 hasConcept C199360897 @default.
- W29778757 hasConcept C202444582 @default.
- W29778757 hasConcept C2777691520 @default.
- W29778757 hasConcept C2778701210 @default.
- W29778757 hasConcept C33923547 @default.
- W29778757 hasConcept C41008148 @default.
- W29778757 hasConcept C75553542 @default.
- W29778757 hasConcept C80444323 @default.
- W29778757 hasConcept C9376300 @default.
- W29778757 hasConcept C98045186 @default.
- W29778757 hasConceptScore W29778757C111472728 @default.
- W29778757 hasConceptScore W29778757C11413529 @default.
- W29778757 hasConceptScore W29778757C116253237 @default.
- W29778757 hasConceptScore W29778757C118615104 @default.
- W29778757 hasConceptScore W29778757C118930307 @default.
- W29778757 hasConceptScore W29778757C134306372 @default.
- W29778757 hasConceptScore W29778757C136119220 @default.
- W29778757 hasConceptScore W29778757C138885662 @default.
- W29778757 hasConceptScore W29778757C168773036 @default.
- W29778757 hasConceptScore W29778757C17231256 @default.
- W29778757 hasConceptScore W29778757C175971053 @default.
- W29778757 hasConceptScore W29778757C199360897 @default.
- W29778757 hasConceptScore W29778757C202444582 @default.
- W29778757 hasConceptScore W29778757C2777691520 @default.
- W29778757 hasConceptScore W29778757C2778701210 @default.
- W29778757 hasConceptScore W29778757C33923547 @default.
- W29778757 hasConceptScore W29778757C41008148 @default.
- W29778757 hasConceptScore W29778757C75553542 @default.
- W29778757 hasConceptScore W29778757C80444323 @default.
- W29778757 hasConceptScore W29778757C9376300 @default.
- W29778757 hasConceptScore W29778757C98045186 @default.
- W29778757 hasLocation W297787571 @default.
- W29778757 hasOpenAccess W29778757 @default.
- W29778757 hasPrimaryLocation W297787571 @default.
- W29778757 hasRelatedWork W1133241177 @default.
- W29778757 hasRelatedWork W1486993204 @default.
- W29778757 hasRelatedWork W1513263504 @default.
- W29778757 hasRelatedWork W1519887245 @default.
- W29778757 hasRelatedWork W1523677440 @default.
- W29778757 hasRelatedWork W1748452786 @default.
- W29778757 hasRelatedWork W2164120165 @default.
- W29778757 hasRelatedWork W2184131427 @default.
- W29778757 hasRelatedWork W2223906130 @default.
- W29778757 hasRelatedWork W2288123474 @default.
- W29778757 hasRelatedWork W2341995966 @default.
- W29778757 hasRelatedWork W2401912057 @default.
- W29778757 hasRelatedWork W2417480471 @default.
- W29778757 hasRelatedWork W25108262 @default.
- W29778757 hasRelatedWork W2544687863 @default.
- W29778757 hasRelatedWork W2625553213 @default.
- W29778757 hasRelatedWork W2921423504 @default.
- W29778757 hasRelatedWork W2953362020 @default.
- W29778757 hasRelatedWork W2960656136 @default.
- W29778757 hasRelatedWork W3014139035 @default.
- W29778757 isParatext "false" @default.
- W29778757 isRetracted "false" @default.
- W29778757 magId "29778757" @default.
- W29778757 workType "article" @default.