✦ LIBER ✦

Using units of measurement in formal specifications

✍ Scribed by Ian J. Hayes; Brendan P. Mahony

Publisher: Springer
Year: 1995
Tongue: English
Weight: 1016 KB
Volume: 7
Category: Article
ISSN: 0934-5043
DOI: 10.1007/bf01211077

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Compositional Comparison of Formal Softw

Compositional Comparison of Formal Software Specifications Using Transformation Systems

✍ Martin Große-Rhode 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 269 KB

Use of executable formal specifications

Use of executable formal specifications in user validation

✍ Mehmet Bülent Özcan 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 318 KB 👁 2 views

Requirements validation through feedback with users is of paramount importance in producing a high quality requirements specification document. Use of an executable formal specification offers an effective combination of formalism and pragmatism. This allows not only the systematic development of a

Using software specification methods for

Using software specification methods for measurement instrument systems: Part 2: Formal methods

✍ L Finkelstein; J Huang; A.C.W Finkelstein; B Nuseibeh 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 463 KB

The physical quantity specific strength:

The physical quantity specific strength: Units of measurement

✍ V. V. Shabarov 📂 Article 📅 1981 🏛 Springer US 🌐 English ⚖ 155 KB

Formal specification of SNMPv3 entities

Formal specification of SNMPv3 entities using action semantics

✍ Elias P. Duarte Jr.; Martin A. Musicante; Diógenes Cogo Furlan 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 130 KB

Consistency of formalized specifications

Consistency of formalized specifications in multilevel programming

✍ V. P. Panfilenko 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 672 KB