Matches in SemOpenAlex for { <https://semopenalex.org/work/W1494847577> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1494847577 endingPage "257" @default.
- W1494847577 startingPage "243" @default.
- W1494847577 abstract "In this paper we present Casl-Chart a formal visual specification language for reactive systems obtained by combining an already existing language for reactive systems, precisely the statecharts as supported by Statemate ([6,7]), with an already existing language for the specification of data structures, precisely the algebraic specification language Casl ([12,17]).KeywordsComputing UnitInput EventDynamic SemanticSpecial AtomPocket CalculatorThese 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.
- W1494847577 created "2016-06-24" @default.
- W1494847577 creator A5080360476 @default.
- W1494847577 creator A5082770309 @default.
- W1494847577 date "2000-01-01" @default.
- W1494847577 modified "2023-09-26" @default.
- W1494847577 title "Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl" @default.
- W1494847577 cites W1497210642 @default.
- W1494847577 cites W1512705448 @default.
- W1494847577 cites W1525047356 @default.
- W1494847577 cites W1577509186 @default.
- W1494847577 cites W2129395888 @default.
- W1494847577 cites W2137865376 @default.
- W1494847577 doi "https://doi.org/10.1007/3-540-45499-3_19" @default.
- W1494847577 hasPublicationYear "2000" @default.
- W1494847577 type Work @default.
- W1494847577 sameAs 1494847577 @default.
- W1494847577 citedByCount "20" @default.
- W1494847577 countsByYear W14948475772012 @default.
- W1494847577 countsByYear W14948475772013 @default.
- W1494847577 countsByYear W14948475772022 @default.
- W1494847577 crossrefType "book-chapter" @default.
- W1494847577 hasAuthorship W1494847577A5080360476 @default.
- W1494847577 hasAuthorship W1494847577A5082770309 @default.
- W1494847577 hasConcept C105795698 @default.
- W1494847577 hasConcept C116253237 @default.
- W1494847577 hasConcept C119263510 @default.
- W1494847577 hasConcept C15077461 @default.
- W1494847577 hasConcept C190812933 @default.
- W1494847577 hasConcept C199360897 @default.
- W1494847577 hasConcept C201677973 @default.
- W1494847577 hasConcept C2777691520 @default.
- W1494847577 hasConcept C33923547 @default.
- W1494847577 hasConcept C34165917 @default.
- W1494847577 hasConcept C41008148 @default.
- W1494847577 hasConcept C50033165 @default.
- W1494847577 hasConcept C90069079 @default.
- W1494847577 hasConceptScore W1494847577C105795698 @default.
- W1494847577 hasConceptScore W1494847577C116253237 @default.
- W1494847577 hasConceptScore W1494847577C119263510 @default.
- W1494847577 hasConceptScore W1494847577C15077461 @default.
- W1494847577 hasConceptScore W1494847577C190812933 @default.
- W1494847577 hasConceptScore W1494847577C199360897 @default.
- W1494847577 hasConceptScore W1494847577C201677973 @default.
- W1494847577 hasConceptScore W1494847577C2777691520 @default.
- W1494847577 hasConceptScore W1494847577C33923547 @default.
- W1494847577 hasConceptScore W1494847577C34165917 @default.
- W1494847577 hasConceptScore W1494847577C41008148 @default.
- W1494847577 hasConceptScore W1494847577C50033165 @default.
- W1494847577 hasConceptScore W1494847577C90069079 @default.
- W1494847577 hasLocation W14948475771 @default.
- W1494847577 hasOpenAccess W1494847577 @default.
- W1494847577 hasPrimaryLocation W14948475771 @default.
- W1494847577 hasRelatedWork W1494847577 @default.
- W1494847577 hasRelatedWork W1585256267 @default.
- W1494847577 hasRelatedWork W1801366570 @default.
- W1494847577 hasRelatedWork W2026649631 @default.
- W1494847577 hasRelatedWork W2056766386 @default.
- W1494847577 hasRelatedWork W2231655550 @default.
- W1494847577 hasRelatedWork W2367465648 @default.
- W1494847577 hasRelatedWork W2521372624 @default.
- W1494847577 hasRelatedWork W2544881903 @default.
- W1494847577 hasRelatedWork W794225219 @default.
- W1494847577 isParatext "false" @default.
- W1494847577 isRetracted "false" @default.
- W1494847577 magId "1494847577" @default.
- W1494847577 workType "book-chapter" @default.