Matches in SemOpenAlex for { <https://semopenalex.org/work/W1493987013> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1493987013 abstract "Duration Calculus, a real-time interval logic, is used to specify requirements for a control task, exemplified by a steam boiler. The same formalism is used to refine requirements to a functional design. Functional designs use a subset of Duration Calculus formulas which through a suitable transformation links to an event and action based formalism. Finally, components in the resulting design for a distributed architecture are transformed to occam-like programs. The presented approach links formalisms from a top level requirements notation down to programs together in a mathematically coherent development trajectory." @default.
- W1493987013 created "2016-06-24" @default.
- W1493987013 creator A5033777370 @default.
- W1493987013 creator A5048371376 @default.
- W1493987013 date "1996-01-01" @default.
- W1493987013 modified "2023-09-27" @default.
- W1493987013 title "Refinement from a control problem to programs" @default.
- W1493987013 cites W1503394241 @default.
- W1493987013 cites W1518377916 @default.
- W1493987013 cites W2166775836 @default.
- W1493987013 doi "https://doi.org/10.1007/bfb0027247" @default.
- W1493987013 hasPublicationYear "1996" @default.
- W1493987013 type Work @default.
- W1493987013 sameAs 1493987013 @default.
- W1493987013 citedByCount "10" @default.
- W1493987013 crossrefType "book-chapter" @default.
- W1493987013 hasAuthorship W1493987013A5033777370 @default.
- W1493987013 hasAuthorship W1493987013A5048371376 @default.
- W1493987013 hasConcept C142362112 @default.
- W1493987013 hasConcept C153349607 @default.
- W1493987013 hasConcept C171018156 @default.
- W1493987013 hasConcept C199360897 @default.
- W1493987013 hasConcept C2524010 @default.
- W1493987013 hasConcept C33923547 @default.
- W1493987013 hasConcept C41008148 @default.
- W1493987013 hasConcept C45357846 @default.
- W1493987013 hasConcept C558565934 @default.
- W1493987013 hasConcept C73301696 @default.
- W1493987013 hasConcept C78469957 @default.
- W1493987013 hasConcept C80444323 @default.
- W1493987013 hasConcept C90483712 @default.
- W1493987013 hasConcept C94375191 @default.
- W1493987013 hasConceptScore W1493987013C142362112 @default.
- W1493987013 hasConceptScore W1493987013C153349607 @default.
- W1493987013 hasConceptScore W1493987013C171018156 @default.
- W1493987013 hasConceptScore W1493987013C199360897 @default.
- W1493987013 hasConceptScore W1493987013C2524010 @default.
- W1493987013 hasConceptScore W1493987013C33923547 @default.
- W1493987013 hasConceptScore W1493987013C41008148 @default.
- W1493987013 hasConceptScore W1493987013C45357846 @default.
- W1493987013 hasConceptScore W1493987013C558565934 @default.
- W1493987013 hasConceptScore W1493987013C73301696 @default.
- W1493987013 hasConceptScore W1493987013C78469957 @default.
- W1493987013 hasConceptScore W1493987013C80444323 @default.
- W1493987013 hasConceptScore W1493987013C90483712 @default.
- W1493987013 hasConceptScore W1493987013C94375191 @default.
- W1493987013 hasLocation W14939870131 @default.
- W1493987013 hasOpenAccess W1493987013 @default.
- W1493987013 hasPrimaryLocation W14939870131 @default.
- W1493987013 hasRelatedWork W1502930329 @default.
- W1493987013 hasRelatedWork W1671466282 @default.
- W1493987013 hasRelatedWork W1979577606 @default.
- W1493987013 hasRelatedWork W2016675527 @default.
- W1493987013 hasRelatedWork W2085827045 @default.
- W1493987013 hasRelatedWork W2117145602 @default.
- W1493987013 hasRelatedWork W2133939589 @default.
- W1493987013 hasRelatedWork W2140769622 @default.
- W1493987013 hasRelatedWork W2152131859 @default.
- W1493987013 hasRelatedWork W2166775836 @default.
- W1493987013 hasRelatedWork W2167467151 @default.
- W1493987013 hasRelatedWork W2266717795 @default.
- W1493987013 hasRelatedWork W2281243262 @default.
- W1493987013 hasRelatedWork W2527310266 @default.
- W1493987013 hasRelatedWork W3104907155 @default.
- W1493987013 hasRelatedWork W3152568898 @default.
- W1493987013 hasRelatedWork W1601916548 @default.
- W1493987013 isParatext "false" @default.
- W1493987013 isRetracted "false" @default.
- W1493987013 magId "1493987013" @default.
- W1493987013 workType "book-chapter" @default.