Matches in SemOpenAlex for { <https://semopenalex.org/work/W2141321742> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2141321742 endingPage "947" @default.
- W2141321742 startingPage "933" @default.
- W2141321742 abstract "Present a specification language for real-time systems called Modechart. The semantics of Modechart is given in terms of real-time logic (RTL), which is especially amenable to reasoning about the absolute (real-time clock) timing of events. The semantics of Modechart has an important property that the translation of a Modechart specification into RTL formulas results in a hierarchical organization of the resulting RTL assertions. This gives us significant leverage in reasoning about properties of a system by allowing us to filter out assertions that concern lower levels of abstraction. Some results about desirable properties of Modechart specifications are given. A graphical implementation of Modechart has been completed.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W2141321742 created "2016-06-24" @default.
- W2141321742 creator A5028305433 @default.
- W2141321742 creator A5078067855 @default.
- W2141321742 date "1994-01-01" @default.
- W2141321742 modified "2023-10-01" @default.
- W2141321742 title "Modechart: a specification language for real-time systems" @default.
- W2141321742 cites W1969746442 @default.
- W2141321742 cites W1987099981 @default.
- W2141321742 cites W2050340037 @default.
- W2141321742 cites W2056359803 @default.
- W2141321742 cites W2084592009 @default.
- W2141321742 cites W2114154624 @default.
- W2141321742 cites W2155891457 @default.
- W2141321742 doi "https://doi.org/10.1109/32.368134" @default.
- W2141321742 hasPublicationYear "1994" @default.
- W2141321742 type Work @default.
- W2141321742 sameAs 2141321742 @default.
- W2141321742 citedByCount "195" @default.
- W2141321742 countsByYear W21413217422012 @default.
- W2141321742 countsByYear W21413217422013 @default.
- W2141321742 countsByYear W21413217422014 @default.
- W2141321742 countsByYear W21413217422015 @default.
- W2141321742 countsByYear W21413217422016 @default.
- W2141321742 countsByYear W21413217422017 @default.
- W2141321742 countsByYear W21413217422018 @default.
- W2141321742 countsByYear W21413217422019 @default.
- W2141321742 countsByYear W21413217422021 @default.
- W2141321742 countsByYear W21413217422022 @default.
- W2141321742 crossrefType "journal-article" @default.
- W2141321742 hasAuthorship W2141321742A5028305433 @default.
- W2141321742 hasAuthorship W2141321742A5078067855 @default.
- W2141321742 hasConcept C111472728 @default.
- W2141321742 hasConcept C116253237 @default.
- W2141321742 hasConcept C124304363 @default.
- W2141321742 hasConcept C138885662 @default.
- W2141321742 hasConcept C153083717 @default.
- W2141321742 hasConcept C154945302 @default.
- W2141321742 hasConcept C184337299 @default.
- W2141321742 hasConcept C199360897 @default.
- W2141321742 hasConcept C201677973 @default.
- W2141321742 hasConcept C25016198 @default.
- W2141321742 hasConcept C41008148 @default.
- W2141321742 hasConcept C80444323 @default.
- W2141321742 hasConceptScore W2141321742C111472728 @default.
- W2141321742 hasConceptScore W2141321742C116253237 @default.
- W2141321742 hasConceptScore W2141321742C124304363 @default.
- W2141321742 hasConceptScore W2141321742C138885662 @default.
- W2141321742 hasConceptScore W2141321742C153083717 @default.
- W2141321742 hasConceptScore W2141321742C154945302 @default.
- W2141321742 hasConceptScore W2141321742C184337299 @default.
- W2141321742 hasConceptScore W2141321742C199360897 @default.
- W2141321742 hasConceptScore W2141321742C201677973 @default.
- W2141321742 hasConceptScore W2141321742C25016198 @default.
- W2141321742 hasConceptScore W2141321742C41008148 @default.
- W2141321742 hasConceptScore W2141321742C80444323 @default.
- W2141321742 hasIssue "12" @default.
- W2141321742 hasLocation W21413217421 @default.
- W2141321742 hasOpenAccess W2141321742 @default.
- W2141321742 hasPrimaryLocation W21413217421 @default.
- W2141321742 hasRelatedWork W1482532369 @default.
- W2141321742 hasRelatedWork W1500211907 @default.
- W2141321742 hasRelatedWork W177016197 @default.
- W2141321742 hasRelatedWork W1984757784 @default.
- W2141321742 hasRelatedWork W2043588306 @default.
- W2141321742 hasRelatedWork W2066381570 @default.
- W2141321742 hasRelatedWork W2154069078 @default.
- W2141321742 hasRelatedWork W2156223462 @default.
- W2141321742 hasRelatedWork W2159839874 @default.
- W2141321742 hasRelatedWork W2162263188 @default.
- W2141321742 hasVolume "20" @default.
- W2141321742 isParatext "false" @default.
- W2141321742 isRetracted "false" @default.
- W2141321742 magId "2141321742" @default.
- W2141321742 workType "article" @default.