Matches in SemOpenAlex for { <https://semopenalex.org/work/W1519378045> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1519378045 abstract "The purpose of this paper is to demonstrate how transformation can be used to derive a high integrity implementation of a train controller from an algorithmic specification. The paper begins with a general discussion of high consequence systems(e.g., software systems) and describes how rewrite-based transformation systems can be used in the development of such systems. We then discuss how such transformations can be used to derive a high assurance controller for the Bay Area Rapid Transit (BART) system from an algorithmic specification" @default.
- W1519378045 created "2016-06-24" @default.
- W1519378045 creator A5003856856 @default.
- W1519378045 creator A5050436960 @default.
- W1519378045 creator A5057985341 @default.
- W1519378045 date "2001-01-01" @default.
- W1519378045 modified "2023-09-26" @default.
- W1519378045 title "A Refinement-Based Approach to Deriving Train Controllers" @default.
- W1519378045 cites W2048280348 @default.
- W1519378045 cites W2077271799 @default.
- W1519378045 doi "https://doi.org/10.1007/978-1-4615-1391-9_9" @default.
- W1519378045 hasPublicationYear "2001" @default.
- W1519378045 type Work @default.
- W1519378045 sameAs 1519378045 @default.
- W1519378045 citedByCount "4" @default.
- W1519378045 crossrefType "book-chapter" @default.
- W1519378045 hasAuthorship W1519378045A5003856856 @default.
- W1519378045 hasAuthorship W1519378045A5050436960 @default.
- W1519378045 hasAuthorship W1519378045A5057985341 @default.
- W1519378045 hasConcept C104317684 @default.
- W1519378045 hasConcept C115903868 @default.
- W1519378045 hasConcept C127413603 @default.
- W1519378045 hasConcept C133731056 @default.
- W1519378045 hasConcept C154945302 @default.
- W1519378045 hasConcept C185592680 @default.
- W1519378045 hasConcept C199360897 @default.
- W1519378045 hasConcept C201995342 @default.
- W1519378045 hasConcept C203479927 @default.
- W1519378045 hasConcept C204241405 @default.
- W1519378045 hasConcept C2776436953 @default.
- W1519378045 hasConcept C2777904410 @default.
- W1519378045 hasConcept C2779791154 @default.
- W1519378045 hasConcept C41008148 @default.
- W1519378045 hasConcept C55493867 @default.
- W1519378045 hasConcept C6557445 @default.
- W1519378045 hasConcept C86803240 @default.
- W1519378045 hasConceptScore W1519378045C104317684 @default.
- W1519378045 hasConceptScore W1519378045C115903868 @default.
- W1519378045 hasConceptScore W1519378045C127413603 @default.
- W1519378045 hasConceptScore W1519378045C133731056 @default.
- W1519378045 hasConceptScore W1519378045C154945302 @default.
- W1519378045 hasConceptScore W1519378045C185592680 @default.
- W1519378045 hasConceptScore W1519378045C199360897 @default.
- W1519378045 hasConceptScore W1519378045C201995342 @default.
- W1519378045 hasConceptScore W1519378045C203479927 @default.
- W1519378045 hasConceptScore W1519378045C204241405 @default.
- W1519378045 hasConceptScore W1519378045C2776436953 @default.
- W1519378045 hasConceptScore W1519378045C2777904410 @default.
- W1519378045 hasConceptScore W1519378045C2779791154 @default.
- W1519378045 hasConceptScore W1519378045C41008148 @default.
- W1519378045 hasConceptScore W1519378045C55493867 @default.
- W1519378045 hasConceptScore W1519378045C6557445 @default.
- W1519378045 hasConceptScore W1519378045C86803240 @default.
- W1519378045 hasLocation W15193780451 @default.
- W1519378045 hasOpenAccess W1519378045 @default.
- W1519378045 hasPrimaryLocation W15193780451 @default.
- W1519378045 hasRelatedWork W118126955 @default.
- W1519378045 hasRelatedWork W1510555737 @default.
- W1519378045 hasRelatedWork W158357973 @default.
- W1519378045 hasRelatedWork W1600701748 @default.
- W1519378045 hasRelatedWork W1810992524 @default.
- W1519378045 hasRelatedWork W1941942257 @default.
- W1519378045 hasRelatedWork W1991178851 @default.
- W1519378045 hasRelatedWork W2036431573 @default.
- W1519378045 hasRelatedWork W2055174061 @default.
- W1519378045 hasRelatedWork W2113239343 @default.
- W1519378045 hasRelatedWork W2377030814 @default.
- W1519378045 hasRelatedWork W2394934717 @default.
- W1519378045 hasRelatedWork W2523782839 @default.
- W1519378045 hasRelatedWork W2523983521 @default.
- W1519378045 hasRelatedWork W2792726272 @default.
- W1519378045 hasRelatedWork W28329349 @default.
- W1519378045 hasRelatedWork W2888804772 @default.
- W1519378045 hasRelatedWork W2911095790 @default.
- W1519378045 hasRelatedWork W2991392150 @default.
- W1519378045 hasRelatedWork W72832420 @default.
- W1519378045 isParatext "false" @default.
- W1519378045 isRetracted "false" @default.
- W1519378045 magId "1519378045" @default.
- W1519378045 workType "book-chapter" @default.