Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021125936> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2021125936 endingPage "145" @default.
- W2021125936 startingPage "127" @default.
- W2021125936 abstract "Previously, we defined a blackbox formal system modeling language called RSML (Requirements State Machine Language). The language was developed over several years while specifying the system requirements for a collision avoidance system for commercial passenger aircraft. During the language development, we received continual feedback and evaluation by FAA employees and industry representatives, which helped us to produce a specification language that is easily learned and used by application experts. Since the completion of the RSML project, we have continued our research on specification languages. This research is part of a larger effort to investigate the more general problem of providing tools to assist in developing embedded systems. Our latest experimental toolset is called SpecTRM (Specification Tools and Requirements Methodology), and the formal specification language is SpecTRM-RL (SpecTRM Requirements Language). This paper describes what we have learned from our use of RSML and how those lessons were applied to the design of SpecTRM-RL. We discuss our goals for SpecTRM-RL and the design features that support each of these goals." @default.
- W2021125936 created "2016-06-24" @default.
- W2021125936 creator A5015446624 @default.
- W2021125936 creator A5059098294 @default.
- W2021125936 creator A5084051792 @default.
- W2021125936 date "1999-10-01" @default.
- W2021125936 modified "2023-10-16" @default.
- W2021125936 title "Designing specification languages for process control systems" @default.
- W2021125936 cites W1991884084 @default.
- W2021125936 cites W2099529102 @default.
- W2021125936 cites W2115647291 @default.
- W2021125936 cites W2125708466 @default.
- W2021125936 cites W2135120182 @default.
- W2021125936 cites W2146191617 @default.
- W2021125936 cites W2147880466 @default.
- W2021125936 cites W2155891457 @default.
- W2021125936 doi "https://doi.org/10.1145/318774.318937" @default.
- W2021125936 hasPublicationYear "1999" @default.
- W2021125936 type Work @default.
- W2021125936 sameAs 2021125936 @default.
- W2021125936 citedByCount "49" @default.
- W2021125936 countsByYear W20211259362012 @default.
- W2021125936 countsByYear W20211259362013 @default.
- W2021125936 countsByYear W20211259362014 @default.
- W2021125936 countsByYear W20211259362015 @default.
- W2021125936 countsByYear W20211259362016 @default.
- W2021125936 countsByYear W20211259362019 @default.
- W2021125936 countsByYear W20211259362021 @default.
- W2021125936 crossrefType "journal-article" @default.
- W2021125936 hasAuthorship W2021125936A5015446624 @default.
- W2021125936 hasAuthorship W2021125936A5059098294 @default.
- W2021125936 hasAuthorship W2021125936A5084051792 @default.
- W2021125936 hasConcept C115903868 @default.
- W2021125936 hasConcept C116253237 @default.
- W2021125936 hasConcept C119263510 @default.
- W2021125936 hasConcept C127413603 @default.
- W2021125936 hasConcept C15077461 @default.
- W2021125936 hasConcept C199360897 @default.
- W2021125936 hasConcept C201677973 @default.
- W2021125936 hasConcept C201995342 @default.
- W2021125936 hasConcept C34165917 @default.
- W2021125936 hasConcept C41008148 @default.
- W2021125936 hasConcept C50033165 @default.
- W2021125936 hasConcept C75606506 @default.
- W2021125936 hasConcept C84651959 @default.
- W2021125936 hasConcept C90069079 @default.
- W2021125936 hasConcept C98045186 @default.
- W2021125936 hasConceptScore W2021125936C115903868 @default.
- W2021125936 hasConceptScore W2021125936C116253237 @default.
- W2021125936 hasConceptScore W2021125936C119263510 @default.
- W2021125936 hasConceptScore W2021125936C127413603 @default.
- W2021125936 hasConceptScore W2021125936C15077461 @default.
- W2021125936 hasConceptScore W2021125936C199360897 @default.
- W2021125936 hasConceptScore W2021125936C201677973 @default.
- W2021125936 hasConceptScore W2021125936C201995342 @default.
- W2021125936 hasConceptScore W2021125936C34165917 @default.
- W2021125936 hasConceptScore W2021125936C41008148 @default.
- W2021125936 hasConceptScore W2021125936C50033165 @default.
- W2021125936 hasConceptScore W2021125936C75606506 @default.
- W2021125936 hasConceptScore W2021125936C84651959 @default.
- W2021125936 hasConceptScore W2021125936C90069079 @default.
- W2021125936 hasConceptScore W2021125936C98045186 @default.
- W2021125936 hasIssue "6" @default.
- W2021125936 hasLocation W20211259361 @default.
- W2021125936 hasOpenAccess W2021125936 @default.
- W2021125936 hasPrimaryLocation W20211259361 @default.
- W2021125936 hasRelatedWork W1520778375 @default.
- W2021125936 hasRelatedWork W1591156284 @default.
- W2021125936 hasRelatedWork W1977144985 @default.
- W2021125936 hasRelatedWork W2065369774 @default.
- W2021125936 hasRelatedWork W2123308486 @default.
- W2021125936 hasRelatedWork W2147880466 @default.
- W2021125936 hasRelatedWork W2350068048 @default.
- W2021125936 hasRelatedWork W2368560475 @default.
- W2021125936 hasRelatedWork W2592399342 @default.
- W2021125936 hasRelatedWork W2898425611 @default.
- W2021125936 hasVolume "24" @default.
- W2021125936 isParatext "false" @default.
- W2021125936 isRetracted "false" @default.
- W2021125936 magId "2021125936" @default.
- W2021125936 workType "article" @default.