✦ LIBER ✦

Reuse of proofs in software verification

✍ Scribed by Wolfgang Reif; Kurt Stenzel

Book ID: 112872582
Publisher: Indian Academy of Sciences
Year: 1996
Tongue: English
Weight: 901 KB
Volume: 21
Category: Article
ISSN: 0256-2499
DOI: 10.1007/bf02745521

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Proof Reuse

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 439 KB

Probabilistic verification of proofs in

Probabilistic verification of proofs in calculuses

✍ E. Ya. Dantsin 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 930 KB

A framework for performing verification

A framework for performing verification and validation in reuse-;based software engineering

✍ Edward A. Addy 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 158 KB

Software reuse in Japan

✍ Sadahiro Isoda 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 877 KB

## Software reuse in Japan has been mainly carried on by mainframers as a means to develop effectively their business applications. Each of the Japanese mainframers has developed its own integrated software development environments that support software reuse as one of their major functionalities.

Economics of software reuse

✍ Jones, C. 📂 Article 📅 1994 🏛 IEEE 🌐 English ⚖ 269 KB

Software reuse in product populations

✍ van Ommering, R. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 1013 KB