✦ LIBER ✦

Composition and Refinement of Specifications of Parameterized Data Types

✍ Scribed by Yngve Lamo; Michal Walicki

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 253 KB
Volume: 70
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80493-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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.

An operational semantics for specificati

An operational semantics for specifications of abstract data types with error handling

✍ G. Engels; U. Pletat; H. -D. Ehrich 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 947 KB

A Compositional Approach to Structuring

A Compositional Approach to Structuring and Refinement of Typed Graph Grammars

✍ Andrea Corradini; Reiko Heckel 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 575 KB

Formal Software Specification with Refin

Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems

✍ Martin Große-Rhode; Francesco Parisi Presicce; Marta Simeoni 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 330 KB

Graph transformation systems are a formal specification technique for software systems that support the rule based specification of the dynamic behaviour of a system.Their main advantages are the intuitive visual representation of states and state transformations as graphs on the one hand, and the f

Methodical specification of abstract dat

Methodical specification of abstract data types via rewriting systems

✍ P. A. S. Veloso 📂 Article 📅 1982 🏛 Springer 🌐 English ⚖ 785 KB

A practical example of the specification

A practical example of the specification of abstract data types

✍ Frank W. Tompa 📂 Article 📅 1980 🏛 Springer-Verlag 🌐 English ⚖ 1011 KB