Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569442464> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1569442464 abstract "This report illustrates some techniques for extending a formal specification of a system in order to add new service features to the system. The system in question is a PABX and the new service features are: abbreviated dialling, call diversion, call holding and forwarding and, a call-back facility. A state-based approach is taken in the formal specification using the Z notation. Two main extension techniques are used: adding a new operation and adding a new state component. The aim is to use as much of the existing system as possible when providing these new services. Promotion of various forms of reuse is seen as important. Extensive use is made of the Z schema calculus." @default.
- W1569442464 created "2016-06-24" @default.
- W1569442464 creator A5056335848 @default.
- W1569442464 date "1991-01-01" @default.
- W1569442464 modified "2023-09-23" @default.
- W1569442464 title "Service Extension at the Specification Level" @default.
- W1569442464 cites W2144973245 @default.
- W1569442464 cites W2912090331 @default.
- W1569442464 doi "https://doi.org/10.1007/978-1-4471-3540-1_20" @default.
- W1569442464 hasPublicationYear "1991" @default.
- W1569442464 type Work @default.
- W1569442464 sameAs 1569442464 @default.
- W1569442464 citedByCount "6" @default.
- W1569442464 crossrefType "book-chapter" @default.
- W1569442464 hasAuthorship W1569442464A5056335848 @default.
- W1569442464 hasConcept C115903868 @default.
- W1569442464 hasConcept C116253237 @default.
- W1569442464 hasConcept C127413603 @default.
- W1569442464 hasConcept C144133560 @default.
- W1569442464 hasConcept C162853370 @default.
- W1569442464 hasConcept C199360897 @default.
- W1569442464 hasConcept C206588197 @default.
- W1569442464 hasConcept C23123220 @default.
- W1569442464 hasConcept C2778029271 @default.
- W1569442464 hasConcept C2780378061 @default.
- W1569442464 hasConcept C33923547 @default.
- W1569442464 hasConcept C41008148 @default.
- W1569442464 hasConcept C45357846 @default.
- W1569442464 hasConcept C52146309 @default.
- W1569442464 hasConcept C548081761 @default.
- W1569442464 hasConcept C75606506 @default.
- W1569442464 hasConcept C84651959 @default.
- W1569442464 hasConcept C94375191 @default.
- W1569442464 hasConceptScore W1569442464C115903868 @default.
- W1569442464 hasConceptScore W1569442464C116253237 @default.
- W1569442464 hasConceptScore W1569442464C127413603 @default.
- W1569442464 hasConceptScore W1569442464C144133560 @default.
- W1569442464 hasConceptScore W1569442464C162853370 @default.
- W1569442464 hasConceptScore W1569442464C199360897 @default.
- W1569442464 hasConceptScore W1569442464C206588197 @default.
- W1569442464 hasConceptScore W1569442464C23123220 @default.
- W1569442464 hasConceptScore W1569442464C2778029271 @default.
- W1569442464 hasConceptScore W1569442464C2780378061 @default.
- W1569442464 hasConceptScore W1569442464C33923547 @default.
- W1569442464 hasConceptScore W1569442464C41008148 @default.
- W1569442464 hasConceptScore W1569442464C45357846 @default.
- W1569442464 hasConceptScore W1569442464C52146309 @default.
- W1569442464 hasConceptScore W1569442464C548081761 @default.
- W1569442464 hasConceptScore W1569442464C75606506 @default.
- W1569442464 hasConceptScore W1569442464C84651959 @default.
- W1569442464 hasConceptScore W1569442464C94375191 @default.
- W1569442464 hasLocation W15694424641 @default.
- W1569442464 hasOpenAccess W1569442464 @default.
- W1569442464 hasPrimaryLocation W15694424641 @default.
- W1569442464 hasRelatedWork W1528431083 @default.
- W1569442464 hasRelatedWork W1571980956 @default.
- W1569442464 hasRelatedWork W1573313194 @default.
- W1569442464 hasRelatedWork W158140932 @default.
- W1569442464 hasRelatedWork W1586253568 @default.
- W1569442464 hasRelatedWork W1641988583 @default.
- W1569442464 hasRelatedWork W1679736855 @default.
- W1569442464 hasRelatedWork W1963994744 @default.
- W1569442464 hasRelatedWork W1989954309 @default.
- W1569442464 hasRelatedWork W2023287232 @default.
- W1569442464 hasRelatedWork W2067038689 @default.
- W1569442464 hasRelatedWork W2123141192 @default.
- W1569442464 hasRelatedWork W2151055462 @default.
- W1569442464 hasRelatedWork W2152879118 @default.
- W1569442464 hasRelatedWork W2164198791 @default.
- W1569442464 hasRelatedWork W2525827233 @default.
- W1569442464 hasRelatedWork W2740644610 @default.
- W1569442464 hasRelatedWork W2952415168 @default.
- W1569442464 hasRelatedWork W41801118 @default.
- W1569442464 hasRelatedWork W92041822 @default.
- W1569442464 isParatext "false" @default.
- W1569442464 isRetracted "false" @default.
- W1569442464 magId "1569442464" @default.
- W1569442464 workType "book-chapter" @default.