Matches in SemOpenAlex for { <https://semopenalex.org/work/W2018507204> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2018507204 endingPage "598" @default.
- W2018507204 startingPage "572" @default.
- W2018507204 abstract "ASTRAL is a formal specification language for real-time systems. It is intended to support formal software development and, therefore, has been formally defined. The structuring mechanisms in ASTRAL allow one to build modularized specifications of complex systems with layering. A real-time system is modeled by a collection of state machine specifications and a single global specification. This paper discusses the rationale of ASTRAL's design. ASTRAL's specification style is illustrated by discussing a telephony example. Composability of one or more ASTRAL system specifications is also discussed by the introduction of a composition section, which provides the needed information to combine two or more ASTRAL system specifications." @default.
- W2018507204 created "2016-06-24" @default.
- W2018507204 creator A5024976868 @default.
- W2018507204 creator A5033025864 @default.
- W2018507204 creator A5045603537 @default.
- W2018507204 date "1997-01-01" @default.
- W2018507204 modified "2023-09-25" @default.
- W2018507204 title "Specification of realtime systems using ASTRAL" @default.
- W2018507204 cites W1965799783 @default.
- W2018507204 cites W1970603830 @default.
- W2018507204 cites W1984852853 @default.
- W2018507204 cites W1988608457 @default.
- W2018507204 cites W1993503482 @default.
- W2018507204 cites W2000929659 @default.
- W2018507204 cites W2001748564 @default.
- W2018507204 cites W2018507204 @default.
- W2018507204 cites W2034127436 @default.
- W2018507204 cites W2042801853 @default.
- W2018507204 cites W2047312963 @default.
- W2018507204 cites W2049805824 @default.
- W2018507204 cites W2050887876 @default.
- W2018507204 cites W2056359803 @default.
- W2018507204 cites W2059862967 @default.
- W2018507204 cites W2062663486 @default.
- W2018507204 cites W2063876413 @default.
- W2018507204 cites W2066381570 @default.
- W2018507204 cites W2075079124 @default.
- W2018507204 cites W2080197817 @default.
- W2018507204 cites W2096536569 @default.
- W2018507204 cites W2099529102 @default.
- W2018507204 cites W2100500718 @default.
- W2018507204 cites W2113040727 @default.
- W2018507204 cites W2125023624 @default.
- W2018507204 cites W2125415493 @default.
- W2018507204 cites W2125617568 @default.
- W2018507204 cites W2141321742 @default.
- W2018507204 cites W2143303417 @default.
- W2018507204 cites W2151250735 @default.
- W2018507204 cites W2151392307 @default.
- W2018507204 cites W2153439859 @default.
- W2018507204 cites W2154069078 @default.
- W2018507204 cites W2161166453 @default.
- W2018507204 cites W2162248954 @default.
- W2018507204 cites W2163835031 @default.
- W2018507204 cites W2171934242 @default.
- W2018507204 cites W2296232480 @default.
- W2018507204 cites W3820865 @default.
- W2018507204 cites W4238023202 @default.
- W2018507204 cites W4248552756 @default.
- W2018507204 cites W4249389872 @default.
- W2018507204 cites W52130187 @default.
- W2018507204 doi "https://doi.org/10.1109/32.629494" @default.
- W2018507204 hasPublicationYear "1997" @default.
- W2018507204 type Work @default.
- W2018507204 sameAs 2018507204 @default.
- W2018507204 citedByCount "49" @default.
- W2018507204 countsByYear W20185072042015 @default.
- W2018507204 crossrefType "journal-article" @default.
- W2018507204 hasAuthorship W2018507204A5024976868 @default.
- W2018507204 hasAuthorship W2018507204A5033025864 @default.
- W2018507204 hasAuthorship W2018507204A5045603537 @default.
- W2018507204 hasConcept C115903868 @default.
- W2018507204 hasConcept C199360897 @default.
- W2018507204 hasConcept C2778814252 @default.
- W2018507204 hasConcept C41008148 @default.
- W2018507204 hasConcept C75606506 @default.
- W2018507204 hasConceptScore W2018507204C115903868 @default.
- W2018507204 hasConceptScore W2018507204C199360897 @default.
- W2018507204 hasConceptScore W2018507204C2778814252 @default.
- W2018507204 hasConceptScore W2018507204C41008148 @default.
- W2018507204 hasConceptScore W2018507204C75606506 @default.
- W2018507204 hasIssue "9" @default.
- W2018507204 hasLocation W20185072041 @default.
- W2018507204 hasOpenAccess W2018507204 @default.
- W2018507204 hasPrimaryLocation W20185072041 @default.
- W2018507204 hasRelatedWork W2104078272 @default.
- W2018507204 hasRelatedWork W2112962394 @default.
- W2018507204 hasRelatedWork W2118300983 @default.
- W2018507204 hasRelatedWork W2166247150 @default.
- W2018507204 hasRelatedWork W2382501300 @default.
- W2018507204 hasRelatedWork W2762577149 @default.
- W2018507204 hasRelatedWork W3137189469 @default.
- W2018507204 hasRelatedWork W3162240892 @default.
- W2018507204 hasRelatedWork W4235530921 @default.
- W2018507204 hasRelatedWork W4243252198 @default.
- W2018507204 hasVolume "23" @default.
- W2018507204 isParatext "false" @default.
- W2018507204 isRetracted "false" @default.
- W2018507204 magId "2018507204" @default.
- W2018507204 workType "article" @default.