𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Compositional Comparison of Formal Software Specifications Using Transformation Systems

✍ Scribed by Martin Große-Rhode

Publisher
Springer
Year
2002
Tongue
English
Weight
269 KB
Volume
13
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Synergistic modelling of tasks, users an
Synergistic modelling of tasks, users and systems using formal specification techniques
✍ Philippe Palanque; Rémi Bastide 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 553 KB

This paper aims at clarifying the articulation between the task models and system models encountered in CHI design practices. We demonstrate how the use of a formal task model may enhance the design of interactive systems, by providing quantitative results on which designers may base their decisions