𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A specification case study using the B-methodology

✍ Scribed by Andrew Storey

Book ID
112212839
Publisher
John Wiley and Sons
Year
1992
Tongue
English
Weight
788 KB
Volume
2
Category
Article
ISSN
0960-0833

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Specification and testing using generali
Specification and testing using generalized machines: a presentation and a case study
✍ Florentin Ipate; Mike Holcombe πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 135 KB

Although testing is a major part of software development, it rarely gets the attention it deserves from researchers, partly because its foundations are weak and ill-understood. The principal purpose of testing is to detect (and then remove) faults in a software system. However, very few of the exist

Using temporal logics of knowledge for s
Using temporal logics of knowledge for specification and verificationβ€”a case study
✍ Clare Dixon πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 201 KB

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temp