Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014371668> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2014371668 endingPage "229" @default.
- W2014371668 startingPage "203" @default.
- W2014371668 abstract "Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and calculus are distinctive, but refinements may be long and repetitive, and using this technique can be hard. Some useful strategies have already been identified, described, and used. By documenting and using them as tactics, a lot can be gained since they can be repeatedly used as single transformation rules. Here, we present ArcAngelC, a language for defining such refinement tactics; we present the language and its application in the formalisation of an existing informal strategy for verification of Ada implementations of control systems." @default.
- W2014371668 created "2016-06-24" @default.
- W2014371668 creator A5056656236 @default.
- W2014371668 creator A5073408099 @default.
- W2014371668 date "2008-06-01" @default.
- W2014371668 modified "2023-09-24" @default.
- W2014371668 title "ArcAngelC: a Refinement Tactic Language for" @default.
- W2014371668 cites W2016535383 @default.
- W2014371668 cites W2036502249 @default.
- W2014371668 cites W2041169043 @default.
- W2014371668 cites W2077325003 @default.
- W2014371668 cites W4255418790 @default.
- W2014371668 doi "https://doi.org/10.1016/j.entcs.2008.06.010" @default.
- W2014371668 hasPublicationYear "2008" @default.
- W2014371668 type Work @default.
- W2014371668 sameAs 2014371668 @default.
- W2014371668 citedByCount "12" @default.
- W2014371668 countsByYear W20143716682012 @default.
- W2014371668 countsByYear W20143716682014 @default.
- W2014371668 crossrefType "journal-article" @default.
- W2014371668 hasAuthorship W2014371668A5056656236 @default.
- W2014371668 hasAuthorship W2014371668A5073408099 @default.
- W2014371668 hasBestOaLocation W20143716681 @default.
- W2014371668 hasConcept C104317684 @default.
- W2014371668 hasConcept C185592680 @default.
- W2014371668 hasConcept C199360897 @default.
- W2014371668 hasConcept C204241405 @default.
- W2014371668 hasConcept C26713055 @default.
- W2014371668 hasConcept C41008148 @default.
- W2014371668 hasConcept C55493867 @default.
- W2014371668 hasConcept C80444323 @default.
- W2014371668 hasConcept C90483712 @default.
- W2014371668 hasConceptScore W2014371668C104317684 @default.
- W2014371668 hasConceptScore W2014371668C185592680 @default.
- W2014371668 hasConceptScore W2014371668C199360897 @default.
- W2014371668 hasConceptScore W2014371668C204241405 @default.
- W2014371668 hasConceptScore W2014371668C26713055 @default.
- W2014371668 hasConceptScore W2014371668C41008148 @default.
- W2014371668 hasConceptScore W2014371668C55493867 @default.
- W2014371668 hasConceptScore W2014371668C80444323 @default.
- W2014371668 hasConceptScore W2014371668C90483712 @default.
- W2014371668 hasFunder F4320322025 @default.
- W2014371668 hasLocation W20143716681 @default.
- W2014371668 hasOpenAccess W2014371668 @default.
- W2014371668 hasPrimaryLocation W20143716681 @default.
- W2014371668 hasRelatedWork W1504651774 @default.
- W2014371668 hasRelatedWork W1507048481 @default.
- W2014371668 hasRelatedWork W1554764448 @default.
- W2014371668 hasRelatedWork W1565501066 @default.
- W2014371668 hasRelatedWork W1984757784 @default.
- W2014371668 hasRelatedWork W2083338789 @default.
- W2014371668 hasRelatedWork W2090686886 @default.
- W2014371668 hasRelatedWork W2748872428 @default.
- W2014371668 hasRelatedWork W2808750505 @default.
- W2014371668 hasRelatedWork W332295136 @default.
- W2014371668 hasVolume "214" @default.
- W2014371668 isParatext "false" @default.
- W2014371668 isRetracted "false" @default.
- W2014371668 magId "2014371668" @default.
- W2014371668 workType "article" @default.