Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000987863> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2000987863 endingPage "264" @default.
- W2000987863 startingPage "245" @default.
- W2000987863 abstract "This paper presents a formalism-based methodology and its implemented environment which constitutes a sound framework for real-time systems development. The software and/or hardware systems developed in such a formal manner are wellstructured and maintainable. We first propose a set-theoretic VSSS (Variable Structure System Specification) formalism. This formalism is the core of the presented methodology which supports a means of formal specification for real-time systems. We then develop the environment, including VSSS language definition, a translator for the language, and supporting libraries for real-time execution. Finally, a demonstration of the methodology in development of a real-time event manager, a subsystem of an ATM-based communication system, shows the correctness and efficiency of the methodology." @default.
- W2000987863 created "2016-06-24" @default.
- W2000987863 creator A5006076584 @default.
- W2000987863 creator A5046264581 @default.
- W2000987863 creator A5059733496 @default.
- W2000987863 creator A5085630415 @default.
- W2000987863 date "1997-01-01" @default.
- W2000987863 modified "2023-10-14" @default.
- W2000987863 title "A Methodology for Variable Structure System Specification: Formalism, Framework, and Its Application to ATM-Based Network System" @default.
- W2000987863 cites W1508520410 @default.
- W2000987863 cites W1982225114 @default.
- W2000987863 cites W2071085083 @default.
- W2000987863 cites W2091905875 @default.
- W2000987863 cites W2101136244 @default.
- W2000987863 cites W2117181723 @default.
- W2000987863 cites W2156734731 @default.
- W2000987863 cites W2157540237 @default.
- W2000987863 doi "https://doi.org/10.4218/etrij.97.0197.0043" @default.
- W2000987863 hasPublicationYear "1997" @default.
- W2000987863 type Work @default.
- W2000987863 sameAs 2000987863 @default.
- W2000987863 citedByCount "5" @default.
- W2000987863 countsByYear W20009878632012 @default.
- W2000987863 crossrefType "journal-article" @default.
- W2000987863 hasAuthorship W2000987863A5006076584 @default.
- W2000987863 hasAuthorship W2000987863A5046264581 @default.
- W2000987863 hasAuthorship W2000987863A5059733496 @default.
- W2000987863 hasAuthorship W2000987863A5085630415 @default.
- W2000987863 hasConcept C111498074 @default.
- W2000987863 hasConcept C115903868 @default.
- W2000987863 hasConcept C116253237 @default.
- W2000987863 hasConcept C120314980 @default.
- W2000987863 hasConcept C142362112 @default.
- W2000987863 hasConcept C149635348 @default.
- W2000987863 hasConcept C153349607 @default.
- W2000987863 hasConcept C199360897 @default.
- W2000987863 hasConcept C201677973 @default.
- W2000987863 hasConcept C2777904410 @default.
- W2000987863 hasConcept C41008148 @default.
- W2000987863 hasConcept C55439883 @default.
- W2000987863 hasConcept C558565934 @default.
- W2000987863 hasConcept C73301696 @default.
- W2000987863 hasConcept C75606506 @default.
- W2000987863 hasConcept C79403827 @default.
- W2000987863 hasConcept C84651959 @default.
- W2000987863 hasConceptScore W2000987863C111498074 @default.
- W2000987863 hasConceptScore W2000987863C115903868 @default.
- W2000987863 hasConceptScore W2000987863C116253237 @default.
- W2000987863 hasConceptScore W2000987863C120314980 @default.
- W2000987863 hasConceptScore W2000987863C142362112 @default.
- W2000987863 hasConceptScore W2000987863C149635348 @default.
- W2000987863 hasConceptScore W2000987863C153349607 @default.
- W2000987863 hasConceptScore W2000987863C199360897 @default.
- W2000987863 hasConceptScore W2000987863C201677973 @default.
- W2000987863 hasConceptScore W2000987863C2777904410 @default.
- W2000987863 hasConceptScore W2000987863C41008148 @default.
- W2000987863 hasConceptScore W2000987863C55439883 @default.
- W2000987863 hasConceptScore W2000987863C558565934 @default.
- W2000987863 hasConceptScore W2000987863C73301696 @default.
- W2000987863 hasConceptScore W2000987863C75606506 @default.
- W2000987863 hasConceptScore W2000987863C79403827 @default.
- W2000987863 hasConceptScore W2000987863C84651959 @default.
- W2000987863 hasIssue "4" @default.
- W2000987863 hasLocation W20009878631 @default.
- W2000987863 hasOpenAccess W2000987863 @default.
- W2000987863 hasPrimaryLocation W20009878631 @default.
- W2000987863 hasRelatedWork W126120407 @default.
- W2000987863 hasRelatedWork W1608724247 @default.
- W2000987863 hasRelatedWork W1782595006 @default.
- W2000987863 hasRelatedWork W1977144985 @default.
- W2000987863 hasRelatedWork W2000987863 @default.
- W2000987863 hasRelatedWork W2099824516 @default.
- W2000987863 hasRelatedWork W2107518865 @default.
- W2000987863 hasRelatedWork W2114282162 @default.
- W2000987863 hasRelatedWork W2164213600 @default.
- W2000987863 hasRelatedWork W2234831441 @default.
- W2000987863 hasVolume "18" @default.
- W2000987863 isParatext "false" @default.
- W2000987863 isRetracted "false" @default.
- W2000987863 magId "2000987863" @default.
- W2000987863 workType "article" @default.