Matches in SemOpenAlex for { <https://semopenalex.org/work/W2033328719> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2033328719 endingPage "833" @default.
- W2033328719 startingPage "792" @default.
- W2033328719 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 since refinements may be long and repetitive, the practical application of this technique can be hard. Useful strategies have been identified, described, and used, and by documenting them as tactics, they can be expressed and repeatedly applied as single transformation rules. Here, we present ArcAngel C , a language for defining such tactics; we present the language, its semantics, and its application in the formalisation of an existing strategy for verification of Ada implementations of control systems specified by Simulink diagrams. We also discuss its mechanisation in a theorem prover, ProofPower-Z. ► The use of a tactic language to formalise an elaborate refinement strategy. ► A formalisation in Z of a tactic language for refinement based on angelic choice using a formal language as meta-language. ► A general strategy for the formalisation of structural combinators. ► An approach that allows tactics to tackle different types of syntactic constructs. ► Automatic support for the application of ArcAngelC tactics." @default.
- W2033328719 created "2016-06-24" @default.
- W2033328719 creator A5056656236 @default.
- W2033328719 creator A5073408099 @default.
- W2033328719 creator A5082109015 @default.
- W2033328719 date "2011-09-01" @default.
- W2033328719 modified "2023-09-28" @default.
- W2033328719 title "A tactic language for refinement of state-rich concurrent specifications" @default.
- W2033328719 cites W2014371668 @default.
- W2033328719 cites W2016535383 @default.
- W2033328719 cites W2036502249 @default.
- W2033328719 cites W2041169043 @default.
- W2033328719 cites W2077325003 @default.
- W2033328719 cites W2080782424 @default.
- W2033328719 cites W2098243945 @default.
- W2033328719 cites W2169789783 @default.
- W2033328719 cites W3021087793 @default.
- W2033328719 cites W4255418790 @default.
- W2033328719 doi "https://doi.org/10.1016/j.scico.2010.11.012" @default.
- W2033328719 hasPublicationYear "2011" @default.
- W2033328719 type Work @default.
- W2033328719 sameAs 2033328719 @default.
- W2033328719 citedByCount "7" @default.
- W2033328719 countsByYear W20333287192012 @default.
- W2033328719 countsByYear W20333287192013 @default.
- W2033328719 countsByYear W20333287192014 @default.
- W2033328719 countsByYear W20333287192015 @default.
- W2033328719 crossrefType "journal-article" @default.
- W2033328719 hasAuthorship W2033328719A5056656236 @default.
- W2033328719 hasAuthorship W2033328719A5073408099 @default.
- W2033328719 hasAuthorship W2033328719A5082109015 @default.
- W2033328719 hasBestOaLocation W20333287191 @default.
- W2033328719 hasConcept C119263510 @default.
- W2033328719 hasConcept C15077461 @default.
- W2033328719 hasConcept C193702766 @default.
- W2033328719 hasConcept C199360897 @default.
- W2033328719 hasConcept C201677973 @default.
- W2033328719 hasConcept C34165917 @default.
- W2033328719 hasConcept C41008148 @default.
- W2033328719 hasConcept C48103436 @default.
- W2033328719 hasConcept C50033165 @default.
- W2033328719 hasConceptScore W2033328719C119263510 @default.
- W2033328719 hasConceptScore W2033328719C15077461 @default.
- W2033328719 hasConceptScore W2033328719C193702766 @default.
- W2033328719 hasConceptScore W2033328719C199360897 @default.
- W2033328719 hasConceptScore W2033328719C201677973 @default.
- W2033328719 hasConceptScore W2033328719C34165917 @default.
- W2033328719 hasConceptScore W2033328719C41008148 @default.
- W2033328719 hasConceptScore W2033328719C48103436 @default.
- W2033328719 hasConceptScore W2033328719C50033165 @default.
- W2033328719 hasIssue "9" @default.
- W2033328719 hasLocation W20333287191 @default.
- W2033328719 hasOpenAccess W2033328719 @default.
- W2033328719 hasPrimaryLocation W20333287191 @default.
- W2033328719 hasRelatedWork W1581750585 @default.
- W2033328719 hasRelatedWork W1984757784 @default.
- W2033328719 hasRelatedWork W1993902337 @default.
- W2033328719 hasRelatedWork W2073356232 @default.
- W2033328719 hasRelatedWork W2105399249 @default.
- W2033328719 hasRelatedWork W2257183258 @default.
- W2033328719 hasRelatedWork W2361973257 @default.
- W2033328719 hasRelatedWork W2808050154 @default.
- W2033328719 hasRelatedWork W4245713008 @default.
- W2033328719 hasRelatedWork W2804226765 @default.
- W2033328719 hasVolume "76" @default.
- W2033328719 isParatext "false" @default.
- W2033328719 isRetracted "false" @default.
- W2033328719 magId "2033328719" @default.
- W2033328719 workType "article" @default.