✦ LIBER ✦

ARIFS:: an Environment for Incomplete and Formal Specifications

✍ Scribed by Rebeca P. Díaz Redondo; José J. Pazos Arias; Ana Fernández Vilas; Belén Barragáns Martínez

Book ID: 104444834
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 386 KB
Volume: 66
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80447-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

EPVD: An interactive protocol specificat

EPVD: An interactive protocol specification and validation environment in Estelle formal specification

✍ K.C. Huang; T.S. Nain; W.S. Hsieh; C.S. Yang; C.S. Lu 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 417 KB

Making changes to formal specifications:

Making changes to formal specifications: requirements and an example

✍ Bustard, D.W.; Winstanley, A.C. 📂 Article 📅 1994 🏛 IEEE 🌐 English ⚖ 746 KB

An industrially effective environment fo

An industrially effective environment for formal hardware verification

✍ Seger, C.-J.H.; Jones, R.B.; O'Leary, J.W.; Melham, T.; Aagaard, M.D.; Barrett, 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 426 KB

An Incomplete Project: Modernism, Formal

An Incomplete Project: Modernism, Formalism and the ‘Music Itself’

✍ Giles Hooper 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 145 KB

An interactive environment for tool sele

An interactive environment for tool selection, specification and composition

✍ James D. Arthur; Douglas E. Comer 📂 Article 📅 1987 🏛 Elsevier Science ⚖ 834 KB

This paper describes a high-level, screen-oriented programming environment that supports problem-solving by tool selection and tool composition. Each tool is a powerful parameterized program that performs a single high-level operation (e.g. sort a file). To solve a given problem, the user first inte

Tools for producing formal specification

Tools for producing formal specifications: a view of current architectures and future directions

✍ Sunil Vadera; Farid Meziane 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 139 KB