𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A formal specification of geometric refinements

✍ Scribed by David Cazier; Jean-François Dufourd

Publisher
Springer
Year
1999
Tongue
English
Weight
543 KB
Volume
15
Category
Article
ISSN
0178-2789

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

Testing refinements of state-based forma
Testing refinements of state-based formal specifications
✍ John Derrick; Eerke Boiten 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 263 KB

A specification provides a concise description of a system, and can be used as both the benchmark against which any implementation is tested, and also as a means to generate tests. Formal specifications have potential advantages over informal descriptions because they offer the possibility of reduci