✦ LIBER ✦

Lessons from using Z to specify a software tool

✍ Scribed by Neil, M.; Ostrolenk, G.; Tobin, M.; Southworth, M.

Book ID: 117872255
Publisher: IEEE
Year: 1998
Tongue: English
Weight: 157 KB
Volume: 24
Category: Article
ISSN: 0098-5589
DOI: 10.1109/32.663995

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using Z to specify object-oriented softw

Using Z to specify object-oriented software complexity measures

✍ Timothy K. Shih; Chun-Chia Wang; Chi-Ming Chung 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 35 KB

A note on the use of Z to specify flowgr

A note on the use of Z to specify flowgraph decomposition

✍ NE Fenton; PDA Mole 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 473 KB

Forming telecommunications software spec

Forming telecommunications software specifications from a service-driven model using enhanced software tools

✍ E. J. Cameron; C. A. Norman; Lillian Ruston; Hassan Srinidhi 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 973 KB

WetUp: a software tool to display approx

WetUp: a software tool to display approximate wetting patterns from drippers

✍ FreemanJ. Cook; PeterJ. Thorburn; Peter Fitch; KeithL. Bristow 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 374 KB

The software tool for lattice parameters

The software tool for lattice parameters determination from nanoareas using CBED patterns

✍ P Paczkowski; M Gigla; A Kostka; H Morawiec 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 157 KB

METKIT: training in how to use measureme

METKIT: training in how to use measurement as a software management tool

✍ Nicholas Ashley 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 468 KB

A Science is as mature as its measurement tools. Louis Pasteur The main purpose of this paper is to present the results of the ESPRIT project METKIT, a three-year collaborative technology transfer project in the field of software engineering measurement. METKIT was concerned with developing a set o