✦ LIBER ✦

Formal design and implementation of constraints in software components

✍ Scribed by Antonio Coronato; Giuseppe De Pietro

Book ID: 108050854
Publisher: Elsevier Science
Year: 2010
Tongue: English
Weight: 1012 KB
Volume: 41
Category: Article
ISSN: 0965-9978
DOI: 10.1016/j.advengsoft.2009.12.014

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal methods in system design and impl

Formal methods in system design and implementation

✍ Bernard Sufrin 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 708 KB

Late discovery of design errors is responsible for the very high cost of many computer-based information systems. Poor documentation of interfaces and poor quality of implementation is responsible for very high failure rates of even well-designed systems. Formal methods promise to relieve some of th

Design and implementation of optimizatio

Design and implementation of optimization software

✍ F. A. Lootsma; H. J. Greenberg 📂 Article 📅 1977 🏛 Springer-Verlag 🌐 English ⚖ 79 KB

Design and implementation of a software

Design and implementation of a software simulation engine

✍ Monty Denneau; Eric Kronstadt; Gregory Pfister 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 848 KB

The Design and Implementation of Usable

The Design and Implementation of Usable ODE Software

✍ W.H. Enright 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 173 KB

Implementing monolingual grammars and tr

Implementing monolingual grammars and transfer components in the Eurotra formalism

✍ Sabine Kirchmeier-Andersen 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 891 KB

Design, Implementation, and Performance

Design, Implementation, and Performance of CREAM Data Acquisition Software

✍ S.-Y. Zinn; H.S. Ahn; M.G. Bagliesi; J.J. Beatty; J.T. Childers; S. Coutu; M.A. 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 113 KB