𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Generating Model Checkers from Algebraic Specifications

✍ Scribed by Teodor Rus; Eric Van Wyk; Tom Halverson


Book ID
110330745
Publisher
Springer
Year
2002
Tongue
English
Weight
298 KB
Volume
20
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Generating graphical applications from s
✍ GIUSEPPE DELLA PENNA; BENEDETTO INTRIGILA; SERGIO OREFICE πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 821 KB

In graphical applications, visual representations are mostly used in an ad hoc fashion with little or no underlying formal support. Due to this, no common methodology for handling visual and diagrammatic representations has emerged and formal techniques for their support are underdeveloped. Usually,