✦ 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
DOI: 10.1023/a:1014742013173

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Generating diagram editors from formal s

Generating diagram editors from formal specifications

✍ F Arefi; M.T. Milani 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 743 KB

Generating parallel programs from skelet

Generating parallel programs from skeleton based specifications

✍ P.J. Parsons; F.A. Rabhi 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 395 KB

Generating online test oracles from temp

Generating online test oracles from temporal logic specifications

✍ John Håkansson; Bengt Jonsson; Ola Lundqvist 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 277 KB

Generating Natural Language specificatio

Generating Natural Language specifications from UML class diagrams

✍ Farid Meziane; Nikos Athanasakis; Sophia Ananiadou 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 606 KB

Generating graphical applications from s

Generating graphical applications from state-transition visual specifications

✍ 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,

Generating tests from B specifications a

Generating tests from B specifications and dynamic selection criteria

✍ Jacques Julliand; Pierre-Alain Masson; Régis Tissot; Pierre-Christophe Bué 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 523 KB