✦ LIBER ✦

Formal specification techniques

Book ID: 104178379
Publisher: Elsevier Science
Year: 1987
Weight: 69 KB
Volume: 21
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(87)90040-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal specification

📂 Article 📅 1988 🏛 Elsevier Science ⚖ 104 KB

Synergistic modelling of tasks, users an

Synergistic modelling of tasks, users and systems using formal specification techniques

✍ Philippe Palanque; Rémi Bastide 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 553 KB

This paper aims at clarifying the articulation between the task models and system models encountered in CHI design practices. We demonstrate how the use of a formal task model may enhance the design of interactive systems, by providing quantitative results on which designers may base their decisions

Using a formal specification contractual

Using a formal specification contractually

✍ C. O'Halloran; R. Arthan; D. King 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 690 KB

Formal specification of hierarchical rep

Formal specification of hierarchical reports

✍ M. R. Taranovskii 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 633 KB

Formal specification and construction te

Formal specification and construction techniques for the development of programs with guaranteed properties

✍ H. Brix 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 863 KB

Software monitoring through formal speci

Software monitoring through formal specification animation

✍ Hui Liang; Jin Song Dong; Jing Sun; W. Eric Wong 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 660 KB