𝔖 Bobbio Scriptorium
✦   LIBER   ✦

ArcAngel: a Tactic Language for Refinement

✍ Scribed by Marcel Oliveira; Ana Cavalcanti; Jim Woodcock

Book ID
105844839
Publisher
Springer
Year
2003
Tongue
English
Weight
209 KB
Volume
15
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A tactic language for refinement of stat
A tactic language for refinement of state-rich concurrent specifications
✍ Marcel Oliveira; Frank Zeyda; Ana Cavalcanti πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 849 KB

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 c

An extendible language for database sche
An extendible language for database schema refinement transformations
✍ Donatella Castelli; Serena Pisani πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 162 KB

The paper presents a formal language for specifying database schema transformations. This language consists of a set of primitive operators and a composition operator. Each of the primitive operators has associated the conditions under which it can be applied. A rule is given for generating the appl