Matches in SemOpenAlex for { <https://semopenalex.org/work/W2274461261> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2274461261 abstract "We explore the support of automatic verification via careful design of a specific language (DSL) in the context of algebraic specification. Formally a DSL is a loose specification the logical closure of which we regard as implicitly encoded domain knowledge. We systematically exploit this domain knowledge for automatic verification. We illustrate these ideas within the Railway Domain using the algebraic specification language Casl and an existing DSL, designed by Bjoerner, for modelling railways. Empirical evidence to the benefit of our approach is given in the form of the successful automatic verification of four railway track plans of real world complexity." @default.
- W2274461261 created "2016-06-24" @default.
- W2274461261 creator A5050442330 @default.
- W2274461261 creator A5052756595 @default.
- W2274461261 creator A5084524620 @default.
- W2274461261 date "2013-01-01" @default.
- W2274461261 modified "2023-09-27" @default.
- W2274461261 title "Using Domain Specific Languages to Support Verification in the Railway Domain" @default.
- W2274461261 cites W1515857575 @default.
- W2274461261 cites W1562227886 @default.
- W2274461261 cites W2500166317 @default.
- W2274461261 doi "https://doi.org/10.1007/978-3-642-39611-3_26" @default.
- W2274461261 hasPublicationYear "2013" @default.
- W2274461261 type Work @default.
- W2274461261 sameAs 2274461261 @default.
- W2274461261 citedByCount "1" @default.
- W2274461261 countsByYear W22744612612014 @default.
- W2274461261 crossrefType "book-chapter" @default.
- W2274461261 hasAuthorship W2274461261A5050442330 @default.
- W2274461261 hasAuthorship W2274461261A5052756595 @default.
- W2274461261 hasAuthorship W2274461261A5084524620 @default.
- W2274461261 hasConcept C111498074 @default.
- W2274461261 hasConcept C115903868 @default.
- W2274461261 hasConcept C116253237 @default.
- W2274461261 hasConcept C134306372 @default.
- W2274461261 hasConcept C135257023 @default.
- W2274461261 hasConcept C151730666 @default.
- W2274461261 hasConcept C165696696 @default.
- W2274461261 hasConcept C199360897 @default.
- W2274461261 hasConcept C201374245 @default.
- W2274461261 hasConcept C201677973 @default.
- W2274461261 hasConcept C2777691520 @default.
- W2274461261 hasConcept C2779343474 @default.
- W2274461261 hasConcept C33923547 @default.
- W2274461261 hasConcept C36503486 @default.
- W2274461261 hasConcept C38652104 @default.
- W2274461261 hasConcept C41008148 @default.
- W2274461261 hasConcept C76155785 @default.
- W2274461261 hasConcept C86803240 @default.
- W2274461261 hasConceptScore W2274461261C111498074 @default.
- W2274461261 hasConceptScore W2274461261C115903868 @default.
- W2274461261 hasConceptScore W2274461261C116253237 @default.
- W2274461261 hasConceptScore W2274461261C134306372 @default.
- W2274461261 hasConceptScore W2274461261C135257023 @default.
- W2274461261 hasConceptScore W2274461261C151730666 @default.
- W2274461261 hasConceptScore W2274461261C165696696 @default.
- W2274461261 hasConceptScore W2274461261C199360897 @default.
- W2274461261 hasConceptScore W2274461261C201374245 @default.
- W2274461261 hasConceptScore W2274461261C201677973 @default.
- W2274461261 hasConceptScore W2274461261C2777691520 @default.
- W2274461261 hasConceptScore W2274461261C2779343474 @default.
- W2274461261 hasConceptScore W2274461261C33923547 @default.
- W2274461261 hasConceptScore W2274461261C36503486 @default.
- W2274461261 hasConceptScore W2274461261C38652104 @default.
- W2274461261 hasConceptScore W2274461261C41008148 @default.
- W2274461261 hasConceptScore W2274461261C76155785 @default.
- W2274461261 hasConceptScore W2274461261C86803240 @default.
- W2274461261 hasLocation W22744612611 @default.
- W2274461261 hasOpenAccess W2274461261 @default.
- W2274461261 hasPrimaryLocation W22744612611 @default.
- W2274461261 hasRelatedWork W1491738330 @default.
- W2274461261 hasRelatedWork W194720932 @default.
- W2274461261 hasRelatedWork W1992481900 @default.
- W2274461261 hasRelatedWork W1993937210 @default.
- W2274461261 hasRelatedWork W2070720123 @default.
- W2274461261 hasRelatedWork W2091912552 @default.
- W2274461261 hasRelatedWork W2100291699 @default.
- W2274461261 hasRelatedWork W2134084873 @default.
- W2274461261 hasRelatedWork W2141371828 @default.
- W2274461261 hasRelatedWork W2155196766 @default.
- W2274461261 hasRelatedWork W2468485249 @default.
- W2274461261 hasRelatedWork W2471473883 @default.
- W2274461261 hasRelatedWork W2522088577 @default.
- W2274461261 hasRelatedWork W2524839944 @default.
- W2274461261 hasRelatedWork W2616296684 @default.
- W2274461261 hasRelatedWork W2978897778 @default.
- W2274461261 hasRelatedWork W3022741495 @default.
- W2274461261 hasRelatedWork W34442111 @default.
- W2274461261 hasRelatedWork W91635382 @default.
- W2274461261 hasRelatedWork W938957855 @default.
- W2274461261 isParatext "false" @default.
- W2274461261 isRetracted "false" @default.
- W2274461261 magId "2274461261" @default.
- W2274461261 workType "book-chapter" @default.