Matches in SemOpenAlex for { <https://semopenalex.org/work/W89722271> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W89722271 abstract "Abstract An application of formal specification techniques to an industrial real-time system is presented. The approach is twofold: equational algebraic specifications are used for data whereas CCS-like expressions are used to specify the observable behaviour of the system. The specification language Lotos, though primarily intended for the specification of communication protocols, has been used as it provides for a convenient notation within the above framework. The example system is a real-time program for controlling a milling process in a cement plant. A characterisation of the external interface in terms of abstract data types is given. The desired system behaviour is described as a composition of simple behaviour expressions. An assessment of the suitability of this approach, as well as some considerations and suggestions for future work is included at the end of the paper." @default.
- W89722271 created "2016-06-24" @default.
- W89722271 creator A5032455489 @default.
- W89722271 creator A5060687412 @default.
- W89722271 creator A5065063796 @default.
- W89722271 date "1986-05-01" @default.
- W89722271 modified "2023-09-26" @default.
- W89722271 title "Formal Specification of Real-Time Software Systems. An Industrial Example" @default.
- W89722271 cites W147899315 @default.
- W89722271 cites W2001748564 @default.
- W89722271 doi "https://doi.org/10.1016/b978-0-08-034347-1.50018-8" @default.
- W89722271 hasPublicationYear "1986" @default.
- W89722271 type Work @default.
- W89722271 sameAs 89722271 @default.
- W89722271 citedByCount "2" @default.
- W89722271 crossrefType "journal-article" @default.
- W89722271 hasAuthorship W89722271A5032455489 @default.
- W89722271 hasAuthorship W89722271A5060687412 @default.
- W89722271 hasAuthorship W89722271A5065063796 @default.
- W89722271 hasConcept C102780508 @default.
- W89722271 hasConcept C115903868 @default.
- W89722271 hasConcept C116253237 @default.
- W89722271 hasConcept C199360897 @default.
- W89722271 hasConcept C201677973 @default.
- W89722271 hasConcept C2777691520 @default.
- W89722271 hasConcept C2777904410 @default.
- W89722271 hasConcept C33923547 @default.
- W89722271 hasConcept C41008148 @default.
- W89722271 hasConcept C45357846 @default.
- W89722271 hasConcept C52913732 @default.
- W89722271 hasConcept C529173508 @default.
- W89722271 hasConcept C75606506 @default.
- W89722271 hasConcept C84651959 @default.
- W89722271 hasConcept C90069079 @default.
- W89722271 hasConcept C94375191 @default.
- W89722271 hasConcept C98045186 @default.
- W89722271 hasConceptScore W89722271C102780508 @default.
- W89722271 hasConceptScore W89722271C115903868 @default.
- W89722271 hasConceptScore W89722271C116253237 @default.
- W89722271 hasConceptScore W89722271C199360897 @default.
- W89722271 hasConceptScore W89722271C201677973 @default.
- W89722271 hasConceptScore W89722271C2777691520 @default.
- W89722271 hasConceptScore W89722271C2777904410 @default.
- W89722271 hasConceptScore W89722271C33923547 @default.
- W89722271 hasConceptScore W89722271C41008148 @default.
- W89722271 hasConceptScore W89722271C45357846 @default.
- W89722271 hasConceptScore W89722271C52913732 @default.
- W89722271 hasConceptScore W89722271C529173508 @default.
- W89722271 hasConceptScore W89722271C75606506 @default.
- W89722271 hasConceptScore W89722271C84651959 @default.
- W89722271 hasConceptScore W89722271C90069079 @default.
- W89722271 hasConceptScore W89722271C94375191 @default.
- W89722271 hasConceptScore W89722271C98045186 @default.
- W89722271 hasLocation W897222711 @default.
- W89722271 hasOpenAccess W89722271 @default.
- W89722271 hasPrimaryLocation W897222711 @default.
- W89722271 hasRelatedWork W103339627 @default.
- W89722271 hasRelatedWork W1588313821 @default.
- W89722271 hasRelatedWork W1774201030 @default.
- W89722271 hasRelatedWork W194720932 @default.
- W89722271 hasRelatedWork W1967492943 @default.
- W89722271 hasRelatedWork W1992481900 @default.
- W89722271 hasRelatedWork W2011399359 @default.
- W89722271 hasRelatedWork W2013125309 @default.
- W89722271 hasRelatedWork W2107303531 @default.
- W89722271 hasRelatedWork W2115741225 @default.
- W89722271 hasRelatedWork W2129455684 @default.
- W89722271 hasRelatedWork W2134084873 @default.
- W89722271 hasRelatedWork W2161350813 @default.
- W89722271 hasRelatedWork W2540241477 @default.
- W89722271 hasRelatedWork W2738892303 @default.
- W89722271 hasRelatedWork W2800380127 @default.
- W89722271 hasRelatedWork W3104029199 @default.
- W89722271 hasRelatedWork W1490546361 @default.
- W89722271 hasRelatedWork W1752746782 @default.
- W89722271 hasRelatedWork W1794140142 @default.
- W89722271 isParatext "false" @default.
- W89722271 isRetracted "false" @default.
- W89722271 magId "89722271" @default.
- W89722271 workType "article" @default.