✦ LIBER ✦

Data refinement of mixed specifications

✍ Scribed by Beverly A. Sanders

Publisher: Springer-Verlag
Year: 1998
Tongue: English
Weight: 243 KB
Volume: 35
Category: Article
ISSN: 0001-5903
DOI: 10.1007/s002360050115

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Composition and Refinement of Specificat

Composition and Refinement of Specifications of Parameterized Data Types

✍ Yngve Lamo; Michal Walicki 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 253 KB

Refinement and Development of Programs f

Refinement and Development of Programs from Relational Specifications

✍ Wolfram Kahl 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 357 KB

These tutorial notes present an overview of specification and refinement concepts and methods that are based on relations.

Tool Support for Refinement of Non-funct

Tool Support for Refinement of Non-functional Specifications

✍ Simone Röttger; Steffen Zschaler 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 548 KB

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

Some proofs of data refinement

✍ Earlin Lutz 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 435 KB

Data Refinement of Remote Procedures

✍ Kaisa Sere; Marina Waldén 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 166 KB