Matches in SemOpenAlex for { <https://semopenalex.org/work/W87398239> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W87398239 abstract "Algebraic Specification of the Software Controlling a Parcels Distribution Machine. The algebraic method of software specification has proved its worth in many examples closely related to mathematical problems. In this paper, the method is applied to the development of the software controlling a parcels distribution machine. We show how to derive the axioms from the verbal problem formulation. Our example differs from those often cited in the literature because of the necessity to specify the synchronization between hardware and software." @default.
- W87398239 created "2016-06-24" @default.
- W87398239 creator A5090214319 @default.
- W87398239 date "1981-01-01" @default.
- W87398239 modified "2023-09-25" @default.
- W87398239 title "Algebraic Specification of the Software Controlling a Parcels Distribution Machine" @default.
- W87398239 cites W2132064361 @default.
- W87398239 cites W2134338128 @default.
- W87398239 cites W3160136729 @default.
- W87398239 cites W4232661006 @default.
- W87398239 doi "https://doi.org/10.1007/978-3-7091-8596-4_12" @default.
- W87398239 hasPublicationYear "1981" @default.
- W87398239 type Work @default.
- W87398239 sameAs 87398239 @default.
- W87398239 citedByCount "0" @default.
- W87398239 crossrefType "book-chapter" @default.
- W87398239 hasAuthorship W87398239A5090214319 @default.
- W87398239 hasConcept C102780508 @default.
- W87398239 hasConcept C116253237 @default.
- W87398239 hasConcept C127162648 @default.
- W87398239 hasConcept C134306372 @default.
- W87398239 hasConcept C136119220 @default.
- W87398239 hasConcept C167729594 @default.
- W87398239 hasConcept C199360897 @default.
- W87398239 hasConcept C202444582 @default.
- W87398239 hasConcept C2524010 @default.
- W87398239 hasConcept C2777691520 @default.
- W87398239 hasConcept C2777904410 @default.
- W87398239 hasConcept C2778562939 @default.
- W87398239 hasConcept C31258907 @default.
- W87398239 hasConcept C33923547 @default.
- W87398239 hasConcept C41008148 @default.
- W87398239 hasConcept C52913732 @default.
- W87398239 hasConcept C529173508 @default.
- W87398239 hasConcept C80444323 @default.
- W87398239 hasConcept C9376300 @default.
- W87398239 hasConceptScore W87398239C102780508 @default.
- W87398239 hasConceptScore W87398239C116253237 @default.
- W87398239 hasConceptScore W87398239C127162648 @default.
- W87398239 hasConceptScore W87398239C134306372 @default.
- W87398239 hasConceptScore W87398239C136119220 @default.
- W87398239 hasConceptScore W87398239C167729594 @default.
- W87398239 hasConceptScore W87398239C199360897 @default.
- W87398239 hasConceptScore W87398239C202444582 @default.
- W87398239 hasConceptScore W87398239C2524010 @default.
- W87398239 hasConceptScore W87398239C2777691520 @default.
- W87398239 hasConceptScore W87398239C2777904410 @default.
- W87398239 hasConceptScore W87398239C2778562939 @default.
- W87398239 hasConceptScore W87398239C31258907 @default.
- W87398239 hasConceptScore W87398239C33923547 @default.
- W87398239 hasConceptScore W87398239C41008148 @default.
- W87398239 hasConceptScore W87398239C52913732 @default.
- W87398239 hasConceptScore W87398239C529173508 @default.
- W87398239 hasConceptScore W87398239C80444323 @default.
- W87398239 hasConceptScore W87398239C9376300 @default.
- W87398239 hasLocation W873982391 @default.
- W87398239 hasOpenAccess W87398239 @default.
- W87398239 hasPrimaryLocation W873982391 @default.
- W87398239 hasRelatedWork W1546471680 @default.
- W87398239 hasRelatedWork W1569453539 @default.
- W87398239 hasRelatedWork W1715281887 @default.
- W87398239 hasRelatedWork W1975255815 @default.
- W87398239 hasRelatedWork W1989243020 @default.
- W87398239 hasRelatedWork W1989988410 @default.
- W87398239 hasRelatedWork W2007575436 @default.
- W87398239 hasRelatedWork W2010352770 @default.
- W87398239 hasRelatedWork W2019088762 @default.
- W87398239 hasRelatedWork W2077987949 @default.
- W87398239 hasRelatedWork W2085996574 @default.
- W87398239 hasRelatedWork W2087770284 @default.
- W87398239 hasRelatedWork W2105482255 @default.
- W87398239 hasRelatedWork W2117405978 @default.
- W87398239 hasRelatedWork W2120286262 @default.
- W87398239 hasRelatedWork W2160328533 @default.
- W87398239 hasRelatedWork W2256847765 @default.
- W87398239 hasRelatedWork W2373337525 @default.
- W87398239 hasRelatedWork W2387446174 @default.
- W87398239 hasRelatedWork W2897525898 @default.
- W87398239 isParatext "false" @default.
- W87398239 isRetracted "false" @default.
- W87398239 magId "87398239" @default.
- W87398239 workType "book-chapter" @default.