Matches in SemOpenAlex for { <https://semopenalex.org/work/W1548810911> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1548810911 endingPage "256" @default.
- W1548810911 startingPage "233" @default.
- W1548810911 abstract "The object-oriented specification of concurrent and distributed systems has tended to emphasise the aspect of substitutability at the expense of code reuse. A variety of constraints has been imposed in order to guarantee substitutability in one form or another. This paper argues that the incremental development of software specifications needs to consider substitutability in the context of code reuse. Further, the common approach of starting with an abstract specification and then progressively refining it (in some general way) means that many existing substitutability constraints are too strong. In the context of Coloured Petri Nets, we advocate the use of three specific forms of refinement — type refinement, subnet refinement, and node refinement. These have weaker demands for substitutability, namely that every (complete) refined behaviour has a corresponding abstract behaviour, but not necessarily vice versa. An examination of case studies in the literature suggests that this approach is applicable in practice." @default.
- W1548810911 created "2016-06-24" @default.
- W1548810911 creator A5059700694 @default.
- W1548810911 creator A5067395776 @default.
- W1548810911 date "2000-01-01" @default.
- W1548810911 modified "2023-09-26" @default.
- W1548810911 title "A Practical Approach to Incremental Specification" @default.
- W1548810911 cites W1494027681 @default.
- W1548810911 cites W1547337510 @default.
- W1548810911 cites W1565012262 @default.
- W1548810911 cites W1593248041 @default.
- W1548810911 cites W2086302464 @default.
- W1548810911 cites W2154294048 @default.
- W1548810911 cites W2488627308 @default.
- W1548810911 doi "https://doi.org/10.1007/978-0-387-35520-7_12" @default.
- W1548810911 hasPublicationYear "2000" @default.
- W1548810911 type Work @default.
- W1548810911 sameAs 1548810911 @default.
- W1548810911 citedByCount "1" @default.
- W1548810911 crossrefType "book-chapter" @default.
- W1548810911 hasAuthorship W1548810911A5059700694 @default.
- W1548810911 hasAuthorship W1548810911A5067395776 @default.
- W1548810911 hasBestOaLocation W15488109111 @default.
- W1548810911 hasConcept C127413603 @default.
- W1548810911 hasConcept C151730666 @default.
- W1548810911 hasConcept C177264268 @default.
- W1548810911 hasConcept C199360897 @default.
- W1548810911 hasConcept C206588197 @default.
- W1548810911 hasConcept C21099817 @default.
- W1548810911 hasConcept C2776760102 @default.
- W1548810911 hasConcept C2777904410 @default.
- W1548810911 hasConcept C2778583558 @default.
- W1548810911 hasConcept C2779343474 @default.
- W1548810911 hasConcept C31258907 @default.
- W1548810911 hasConcept C38677869 @default.
- W1548810911 hasConcept C41008148 @default.
- W1548810911 hasConcept C548081761 @default.
- W1548810911 hasConcept C80444323 @default.
- W1548810911 hasConcept C86803240 @default.
- W1548810911 hasConceptScore W1548810911C127413603 @default.
- W1548810911 hasConceptScore W1548810911C151730666 @default.
- W1548810911 hasConceptScore W1548810911C177264268 @default.
- W1548810911 hasConceptScore W1548810911C199360897 @default.
- W1548810911 hasConceptScore W1548810911C206588197 @default.
- W1548810911 hasConceptScore W1548810911C21099817 @default.
- W1548810911 hasConceptScore W1548810911C2776760102 @default.
- W1548810911 hasConceptScore W1548810911C2777904410 @default.
- W1548810911 hasConceptScore W1548810911C2778583558 @default.
- W1548810911 hasConceptScore W1548810911C2779343474 @default.
- W1548810911 hasConceptScore W1548810911C31258907 @default.
- W1548810911 hasConceptScore W1548810911C38677869 @default.
- W1548810911 hasConceptScore W1548810911C41008148 @default.
- W1548810911 hasConceptScore W1548810911C548081761 @default.
- W1548810911 hasConceptScore W1548810911C80444323 @default.
- W1548810911 hasConceptScore W1548810911C86803240 @default.
- W1548810911 hasLocation W15488109111 @default.
- W1548810911 hasOpenAccess W1548810911 @default.
- W1548810911 hasPrimaryLocation W15488109111 @default.
- W1548810911 hasRelatedWork W142226328 @default.
- W1548810911 hasRelatedWork W1502885203 @default.
- W1548810911 hasRelatedWork W1881672153 @default.
- W1548810911 hasRelatedWork W2140693878 @default.
- W1548810911 hasRelatedWork W2182697532 @default.
- W1548810911 hasRelatedWork W2384847609 @default.
- W1548810911 hasRelatedWork W2910580668 @default.
- W1548810911 hasRelatedWork W2971777989 @default.
- W1548810911 hasRelatedWork W3021232394 @default.
- W1548810911 hasRelatedWork W3186977758 @default.
- W1548810911 isParatext "false" @default.
- W1548810911 isRetracted "false" @default.
- W1548810911 magId "1548810911" @default.
- W1548810911 workType "book-chapter" @default.