FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2096039823> ?p ?o ?g. }

• W2096039823 endingPage "414" @default.
• W2096039823 startingPage "403" @default.
• W2096039823 abstract "STATEMATE is a set of tools, with a heavy graphical orientation, intended for the specification, analysis, design, and documentation of large and complex reactive systems. It enables a user to prepare, analyze, and debug diagrammatic, yet precise, descriptions of the system under development from three interrelated points of view, capturing structure, functionality, and behavior. These views are represented by three graphical languages, the most intricate of which is the language of statecharts, used to depict reactive behavior over time. In addition to the use of statecharts, the main novelty of STATEMATE is in the fact that it understands the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous executions and simulations of the described system, and to create running code automatically. These features are invaluable when it comes to the quality and reliability of the final outcome.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
• W2096039823 created "2016-06-24" @default.
• W2096039823 creator A5007087016 @default.
• W2096039823 creator A5018474212 @default.
• W2096039823 creator A5022865350 @default.
• W2096039823 creator A5041555599 @default.
• W2096039823 creator A5070150495 @default.
• W2096039823 creator A5074630104 @default.
• W2096039823 creator A5078214635 @default.
• W2096039823 creator A5088778612 @default.
• W2096039823 date "1990-04-01" @default.
• W2096039823 modified "2023-10-14" @default.
• W2096039823 title "STATEMATE: a working environment for the development of complex reactive systems" @default.
• W2096039823 cites W1519250278 @default.
• W2096039823 cites W1546220007 @default.
• W2096039823 cites W1569068921 @default.
• W2096039823 cites W1979514837 @default.
• W2096039823 cites W1984890936 @default.
• W2096039823 cites W2020775305 @default.
• W2096039823 cites W2064650227 @default.
• W2096039823 cites W2099529102 @default.
• W2096039823 cites W2109453422 @default.
• W2096039823 cites W2122646429 @default.
• W2096039823 doi "https://doi.org/10.1109/32.54292" @default.
• W2096039823 hasPublicationYear "1990" @default.
• W2096039823 type Work @default.
• W2096039823 sameAs 2096039823 @default.
• W2096039823 citedByCount "1028" @default.
• W2096039823 countsByYear W20960398232012 @default.
• W2096039823 countsByYear W20960398232013 @default.
• W2096039823 countsByYear W20960398232014 @default.
• W2096039823 countsByYear W20960398232015 @default.
• W2096039823 countsByYear W20960398232016 @default.
• W2096039823 countsByYear W20960398232017 @default.
• W2096039823 countsByYear W20960398232018 @default.
• W2096039823 countsByYear W20960398232019 @default.
• W2096039823 countsByYear W20960398232020 @default.
• W2096039823 countsByYear W20960398232021 @default.
• W2096039823 countsByYear W20960398232022 @default.
• W2096039823 countsByYear W20960398232023 @default.
• W2096039823 crossrefType "journal-article" @default.
• W2096039823 hasAuthorship W2096039823A5007087016 @default.
• W2096039823 hasAuthorship W2096039823A5018474212 @default.
• W2096039823 hasAuthorship W2096039823A5022865350 @default.
• W2096039823 hasAuthorship W2096039823A5041555599 @default.
• W2096039823 hasAuthorship W2096039823A5070150495 @default.
• W2096039823 hasAuthorship W2096039823A5074630104 @default.
• W2096039823 hasAuthorship W2096039823A5078214635 @default.
• W2096039823 hasAuthorship W2096039823A5088778612 @default.
• W2096039823 hasConcept C106624574 @default.
• W2096039823 hasConcept C111472728 @default.
• W2096039823 hasConcept C115903868 @default.
• W2096039823 hasConcept C138885662 @default.
• W2096039823 hasConcept C154945302 @default.
• W2096039823 hasConcept C16345878 @default.
• W2096039823 hasConcept C168065819 @default.
• W2096039823 hasConcept C177264268 @default.
• W2096039823 hasConcept C199360897 @default.
• W2096039823 hasConcept C2524010 @default.
• W2096039823 hasConcept C27206212 @default.
• W2096039823 hasConcept C2776760102 @default.
• W2096039823 hasConcept C2778738651 @default.
• W2096039823 hasConcept C2779530757 @default.
• W2096039823 hasConcept C28719098 @default.
• W2096039823 hasConcept C33923547 @default.
• W2096039823 hasConcept C36464697 @default.
• W2096039823 hasConcept C41008148 @default.
• W2096039823 hasConcept C56666940 @default.
• W2096039823 hasConceptScore W2096039823C106624574 @default.
• W2096039823 hasConceptScore W2096039823C111472728 @default.
• W2096039823 hasConceptScore W2096039823C115903868 @default.
• W2096039823 hasConceptScore W2096039823C138885662 @default.
• W2096039823 hasConceptScore W2096039823C154945302 @default.
• W2096039823 hasConceptScore W2096039823C16345878 @default.
• W2096039823 hasConceptScore W2096039823C168065819 @default.
• W2096039823 hasConceptScore W2096039823C177264268 @default.
• W2096039823 hasConceptScore W2096039823C199360897 @default.
• W2096039823 hasConceptScore W2096039823C2524010 @default.
• W2096039823 hasConceptScore W2096039823C27206212 @default.
• W2096039823 hasConceptScore W2096039823C2776760102 @default.
• W2096039823 hasConceptScore W2096039823C2778738651 @default.
• W2096039823 hasConceptScore W2096039823C2779530757 @default.
• W2096039823 hasConceptScore W2096039823C28719098 @default.
• W2096039823 hasConceptScore W2096039823C33923547 @default.
• W2096039823 hasConceptScore W2096039823C36464697 @default.
• W2096039823 hasConceptScore W2096039823C41008148 @default.
• W2096039823 hasConceptScore W2096039823C56666940 @default.
• W2096039823 hasIssue "4" @default.
• W2096039823 hasLocation W20960398231 @default.
• W2096039823 hasOpenAccess W2096039823 @default.
• W2096039823 hasPrimaryLocation W20960398231 @default.
• W2096039823 hasRelatedWork W1029859530 @default.
• W2096039823 hasRelatedWork W1557478423 @default.
• W2096039823 hasRelatedWork W1582653816 @default.
• W2096039823 hasRelatedWork W1785591160 @default.
• W2096039823 hasRelatedWork W2137260079 @default.
• W2096039823 hasRelatedWork W2243494072 @default.
• W2096039823 hasRelatedWork W2933723564 @default.

• next