Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567291669> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1567291669 abstract "Object-Z is one of the object-oriented extensions to the formal notation Z. Though Object-Z notation includes some temporal operators to deal with history invariants, it still cannot be used as is for the specification of real-time system. The paper proposes an extension to Object-Z to specify real-time constraints. The novelty of the approach lies in the minimal set of syntactic extensions and the visible separation of real-time constraints from the specification of classes in the application. The proposed new language is called Real-Time Object-Z (RTOZ). The semantics of RTOZ provides a consistent mapping between the class definitions and the real-time constraints. The paper describes the syntactic extensions to Object-Z and illustrates the expressive power of RTOZ through the specification of a robotic assembly cell. A type checker for RTOZ is currently under development." @default.
- W1567291669 created "2016-06-24" @default.
- W1567291669 creator A5034794022 @default.
- W1567291669 creator A5086388987 @default.
- W1567291669 date "2002-11-23" @default.
- W1567291669 modified "2023-09-27" @default.
- W1567291669 title "Extending Object-Z for specifying real-time systems" @default.
- W1567291669 cites W1500110201 @default.
- W1567291669 cites W1513360256 @default.
- W1567291669 cites W172859451 @default.
- W1567291669 cites W1876165978 @default.
- W1567291669 cites W1965680579 @default.
- W1567291669 cites W1985660652 @default.
- W1567291669 cites W1988608457 @default.
- W1567291669 cites W2004442217 @default.
- W1567291669 cites W2066381570 @default.
- W1567291669 cites W2118801004 @default.
- W1567291669 cites W2137865376 @default.
- W1567291669 cites W2144973245 @default.
- W1567291669 cites W3144368627 @default.
- W1567291669 doi "https://doi.org/10.1109/tools.1997.654716" @default.
- W1567291669 hasPublicationYear "2002" @default.
- W1567291669 type Work @default.
- W1567291669 sameAs 1567291669 @default.
- W1567291669 citedByCount "4" @default.
- W1567291669 countsByYear W15672916692014 @default.
- W1567291669 crossrefType "proceedings-article" @default.
- W1567291669 hasAuthorship W1567291669A5034794022 @default.
- W1567291669 hasAuthorship W1567291669A5086388987 @default.
- W1567291669 hasConcept C116253237 @default.
- W1567291669 hasConcept C138885662 @default.
- W1567291669 hasConcept C154945302 @default.
- W1567291669 hasConcept C177264268 @default.
- W1567291669 hasConcept C184337299 @default.
- W1567291669 hasConcept C199360897 @default.
- W1567291669 hasConcept C201677973 @default.
- W1567291669 hasConcept C27206212 @default.
- W1567291669 hasConcept C2777212361 @default.
- W1567291669 hasConcept C2778738651 @default.
- W1567291669 hasConcept C2781238097 @default.
- W1567291669 hasConcept C33923547 @default.
- W1567291669 hasConcept C41008148 @default.
- W1567291669 hasConcept C45357846 @default.
- W1567291669 hasConcept C512554520 @default.
- W1567291669 hasConcept C73752529 @default.
- W1567291669 hasConcept C90069079 @default.
- W1567291669 hasConcept C94375191 @default.
- W1567291669 hasConceptScore W1567291669C116253237 @default.
- W1567291669 hasConceptScore W1567291669C138885662 @default.
- W1567291669 hasConceptScore W1567291669C154945302 @default.
- W1567291669 hasConceptScore W1567291669C177264268 @default.
- W1567291669 hasConceptScore W1567291669C184337299 @default.
- W1567291669 hasConceptScore W1567291669C199360897 @default.
- W1567291669 hasConceptScore W1567291669C201677973 @default.
- W1567291669 hasConceptScore W1567291669C27206212 @default.
- W1567291669 hasConceptScore W1567291669C2777212361 @default.
- W1567291669 hasConceptScore W1567291669C2778738651 @default.
- W1567291669 hasConceptScore W1567291669C2781238097 @default.
- W1567291669 hasConceptScore W1567291669C33923547 @default.
- W1567291669 hasConceptScore W1567291669C41008148 @default.
- W1567291669 hasConceptScore W1567291669C45357846 @default.
- W1567291669 hasConceptScore W1567291669C512554520 @default.
- W1567291669 hasConceptScore W1567291669C73752529 @default.
- W1567291669 hasConceptScore W1567291669C90069079 @default.
- W1567291669 hasConceptScore W1567291669C94375191 @default.
- W1567291669 hasLocation W15672916691 @default.
- W1567291669 hasOpenAccess W1567291669 @default.
- W1567291669 hasPrimaryLocation W15672916691 @default.
- W1567291669 hasRelatedWork W1527862632 @default.
- W1567291669 hasRelatedWork W1532058475 @default.
- W1567291669 hasRelatedWork W1652311832 @default.
- W1567291669 hasRelatedWork W2118300983 @default.
- W1567291669 hasRelatedWork W2135396778 @default.
- W1567291669 hasRelatedWork W2243428364 @default.
- W1567291669 hasRelatedWork W2462453872 @default.
- W1567291669 hasRelatedWork W3207171446 @default.
- W1567291669 hasRelatedWork W4243252198 @default.
- W1567291669 hasRelatedWork W4245713008 @default.
- W1567291669 isParatext "false" @default.
- W1567291669 isRetracted "false" @default.
- W1567291669 magId "1567291669" @default.
- W1567291669 workType "article" @default.