Matches in SemOpenAlex for { <https://semopenalex.org/work/W120675145> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W120675145 endingPage "39" @default.
- W120675145 startingPage "19" @default.
- W120675145 abstract "To design distributed real-time systems, we distinguish two activities: (1) a platform-independent programming activity and (2) the realization of the resulting program on a particular execution platform. This paper concentrates on the first activity, proposing an extension of conventional (non-real-time) programming languages with so called timing annotations that specify the required timing constraints on an abstract level. A formal, axiomatic, semantics of a simple programming language with timing annotations is formulated, using specifications that are based on pre- and postconditions. Program correctness is independent of any underlying execution platform and can be proved by means of compositional proof rules. This is illustrated by a small example of a control system." @default.
- W120675145 created "2016-06-24" @default.
- W120675145 creator A5016732604 @default.
- W120675145 creator A5091169985 @default.
- W120675145 date "2001-01-01" @default.
- W120675145 modified "2023-09-27" @default.
- W120675145 title "Formal design of real-time systems in a platform-independent way" @default.
- W120675145 cites W1510094298 @default.
- W120675145 cites W1577384748 @default.
- W120675145 cites W1606478913 @default.
- W120675145 cites W2008349102 @default.
- W120675145 cites W2055934304 @default.
- W120675145 cites W2090309908 @default.
- W120675145 cites W2125471405 @default.
- W120675145 cites W2148817888 @default.
- W120675145 cites W2501819859 @default.
- W120675145 cites W3025561520 @default.
- W120675145 cites W3146075203 @default.
- W120675145 doi "https://doi.org/10.12694/scpe.v1i2.76" @default.
- W120675145 hasPublicationYear "2001" @default.
- W120675145 type Work @default.
- W120675145 sameAs 120675145 @default.
- W120675145 citedByCount "7" @default.
- W120675145 crossrefType "journal-article" @default.
- W120675145 hasAuthorship W120675145A5016732604 @default.
- W120675145 hasAuthorship W120675145A5091169985 @default.
- W120675145 hasConcept C105795698 @default.
- W120675145 hasConcept C111472728 @default.
- W120675145 hasConcept C138885662 @default.
- W120675145 hasConcept C167729594 @default.
- W120675145 hasConcept C184337299 @default.
- W120675145 hasConcept C199360897 @default.
- W120675145 hasConcept C2524010 @default.
- W120675145 hasConcept C2780586882 @default.
- W120675145 hasConcept C2781089630 @default.
- W120675145 hasConcept C33923547 @default.
- W120675145 hasConcept C41008148 @default.
- W120675145 hasConcept C55439883 @default.
- W120675145 hasConcept C80444323 @default.
- W120675145 hasConceptScore W120675145C105795698 @default.
- W120675145 hasConceptScore W120675145C111472728 @default.
- W120675145 hasConceptScore W120675145C138885662 @default.
- W120675145 hasConceptScore W120675145C167729594 @default.
- W120675145 hasConceptScore W120675145C184337299 @default.
- W120675145 hasConceptScore W120675145C199360897 @default.
- W120675145 hasConceptScore W120675145C2524010 @default.
- W120675145 hasConceptScore W120675145C2780586882 @default.
- W120675145 hasConceptScore W120675145C2781089630 @default.
- W120675145 hasConceptScore W120675145C33923547 @default.
- W120675145 hasConceptScore W120675145C41008148 @default.
- W120675145 hasConceptScore W120675145C55439883 @default.
- W120675145 hasConceptScore W120675145C80444323 @default.
- W120675145 hasIssue "2" @default.
- W120675145 hasLocation W1206751451 @default.
- W120675145 hasOpenAccess W120675145 @default.
- W120675145 hasPrimaryLocation W1206751451 @default.
- W120675145 hasRelatedWork W1518604050 @default.
- W120675145 hasRelatedWork W1525300667 @default.
- W120675145 hasRelatedWork W1564966319 @default.
- W120675145 hasRelatedWork W1595158423 @default.
- W120675145 hasRelatedWork W1606478913 @default.
- W120675145 hasRelatedWork W1782171781 @default.
- W120675145 hasRelatedWork W1874247119 @default.
- W120675145 hasRelatedWork W1944945674 @default.
- W120675145 hasRelatedWork W2003352869 @default.
- W120675145 hasRelatedWork W2014475417 @default.
- W120675145 hasRelatedWork W2121758369 @default.
- W120675145 hasRelatedWork W2161166453 @default.
- W120675145 hasRelatedWork W2165418237 @default.
- W120675145 hasRelatedWork W2254710113 @default.
- W120675145 hasRelatedWork W227617707 @default.
- W120675145 hasRelatedWork W2361009992 @default.
- W120675145 hasRelatedWork W2520322753 @default.
- W120675145 hasRelatedWork W2788835136 @default.
- W120675145 hasRelatedWork W3319914 @default.
- W120675145 hasRelatedWork W2141230399 @default.
- W120675145 hasVolume "1" @default.
- W120675145 isParatext "false" @default.
- W120675145 isRetracted "false" @default.
- W120675145 magId "120675145" @default.
- W120675145 workType "article" @default.