Matches in SemOpenAlex for { <https://semopenalex.org/work/W31683959> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W31683959 endingPage "291" @default.
- W31683959 startingPage "272" @default.
- W31683959 abstract "The specification of interactive graphic systems involves the use of formal methods to describe the synchronization restrictions and graphic information. Several proposals have been made trying to join formalisms for the specification of concurrent systems with some methods to describe the graphic component. This paper presents an algebraic specification language which has been designed to specify interactive graphic systems. The language is founded on the use of a mathematical formalism to describe the graphic component, with an extension of algebraic specification language to describe synchronization, using guarded operations. The language is an extension of the previous Gralpla language, to which new features have been added to allow the specification of dynamic changes of the graphic representations and of processes. A prototyping tool has been defined for the language to generate C++ prototypes of the specifications.KeywordsObject StateSpecification LanguageHigh Level LanguageBlock FunctionGraphic ObjectThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W31683959 created "2016-06-24" @default.
- W31683959 creator A5002549624 @default.
- W31683959 creator A5049903976 @default.
- W31683959 creator A5051070514 @default.
- W31683959 creator A5069845732 @default.
- W31683959 creator A5074144403 @default.
- W31683959 date "1996-01-01" @default.
- W31683959 modified "2023-09-25" @default.
- W31683959 title "GRALPLA: An Algebraic Specification Language for Interactive Graphic Systems" @default.
- W31683959 cites W1514802904 @default.
- W31683959 cites W1597004061 @default.
- W31683959 cites W18866844 @default.
- W31683959 cites W2050694077 @default.
- W31683959 cites W2057996162 @default.
- W31683959 cites W2067237100 @default.
- W31683959 doi "https://doi.org/10.1007/978-3-7091-7491-3_14" @default.
- W31683959 hasPublicationYear "1996" @default.
- W31683959 type Work @default.
- W31683959 sameAs 31683959 @default.
- W31683959 citedByCount "2" @default.
- W31683959 crossrefType "book-chapter" @default.
- W31683959 hasAuthorship W31683959A5002549624 @default.
- W31683959 hasAuthorship W31683959A5049903976 @default.
- W31683959 hasAuthorship W31683959A5051070514 @default.
- W31683959 hasAuthorship W31683959A5069845732 @default.
- W31683959 hasAuthorship W31683959A5074144403 @default.
- W31683959 hasConcept C116253237 @default.
- W31683959 hasConcept C119263510 @default.
- W31683959 hasConcept C121332964 @default.
- W31683959 hasConcept C127162648 @default.
- W31683959 hasConcept C142362112 @default.
- W31683959 hasConcept C15077461 @default.
- W31683959 hasConcept C153349607 @default.
- W31683959 hasConcept C168167062 @default.
- W31683959 hasConcept C171018156 @default.
- W31683959 hasConcept C199360897 @default.
- W31683959 hasConcept C201677973 @default.
- W31683959 hasConcept C2524010 @default.
- W31683959 hasConcept C2777691520 @default.
- W31683959 hasConcept C2778562939 @default.
- W31683959 hasConcept C31258907 @default.
- W31683959 hasConcept C33923547 @default.
- W31683959 hasConcept C34165917 @default.
- W31683959 hasConcept C41008148 @default.
- W31683959 hasConcept C50033165 @default.
- W31683959 hasConcept C558565934 @default.
- W31683959 hasConcept C73301696 @default.
- W31683959 hasConcept C80444323 @default.
- W31683959 hasConcept C90069079 @default.
- W31683959 hasConcept C97355855 @default.
- W31683959 hasConceptScore W31683959C116253237 @default.
- W31683959 hasConceptScore W31683959C119263510 @default.
- W31683959 hasConceptScore W31683959C121332964 @default.
- W31683959 hasConceptScore W31683959C127162648 @default.
- W31683959 hasConceptScore W31683959C142362112 @default.
- W31683959 hasConceptScore W31683959C15077461 @default.
- W31683959 hasConceptScore W31683959C153349607 @default.
- W31683959 hasConceptScore W31683959C168167062 @default.
- W31683959 hasConceptScore W31683959C171018156 @default.
- W31683959 hasConceptScore W31683959C199360897 @default.
- W31683959 hasConceptScore W31683959C201677973 @default.
- W31683959 hasConceptScore W31683959C2524010 @default.
- W31683959 hasConceptScore W31683959C2777691520 @default.
- W31683959 hasConceptScore W31683959C2778562939 @default.
- W31683959 hasConceptScore W31683959C31258907 @default.
- W31683959 hasConceptScore W31683959C33923547 @default.
- W31683959 hasConceptScore W31683959C34165917 @default.
- W31683959 hasConceptScore W31683959C41008148 @default.
- W31683959 hasConceptScore W31683959C50033165 @default.
- W31683959 hasConceptScore W31683959C558565934 @default.
- W31683959 hasConceptScore W31683959C73301696 @default.
- W31683959 hasConceptScore W31683959C80444323 @default.
- W31683959 hasConceptScore W31683959C90069079 @default.
- W31683959 hasConceptScore W31683959C97355855 @default.
- W31683959 hasLocation W316839591 @default.
- W31683959 hasOpenAccess W31683959 @default.
- W31683959 hasPrimaryLocation W316839591 @default.
- W31683959 hasRelatedWork W1513140821 @default.
- W31683959 hasRelatedWork W1577073218 @default.
- W31683959 hasRelatedWork W1985562074 @default.
- W31683959 hasRelatedWork W1993902337 @default.
- W31683959 hasRelatedWork W2045910943 @default.
- W31683959 hasRelatedWork W2071986313 @default.
- W31683959 hasRelatedWork W2105399249 @default.
- W31683959 hasRelatedWork W2132764576 @default.
- W31683959 hasRelatedWork W2231655550 @default.
- W31683959 hasRelatedWork W26484180 @default.
- W31683959 isParatext "false" @default.
- W31683959 isRetracted "false" @default.
- W31683959 magId "31683959" @default.
- W31683959 workType "book-chapter" @default.