𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Synthesizing structured analysis and object‐based formal specifications

✍ Scribed by David L. Coleman; Albert L. Baker


Book ID
110379549
Publisher
Springer
Year
1997
Tongue
English
Weight
272 KB
Volume
3
Category
Article
ISSN
1022-7091

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Testing refinements of state-based forma
✍ 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