✦ LIBER ✦

Proof-theoretic notions for software maintenance

✍ Scribed by Reinhard Kahle

Book ID: 108498456
Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 144 KB
Volume: 40
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80048-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof-theoretic Semantics for Classical

Proof-theoretic Semantics for Classical Mathematics

✍ William W. Tait 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 265 KB

Proof-Theoretic Semantics for Subsentent

Proof-Theoretic Semantics for Subsentential Phrases

✍ Nissim Francez; Roy Dyckhoff; Gilad Ben-Avi 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 293 KB

SOME PROBLEMS FOR PROOF-THEORETIC SEMANT

SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS

✍ William R. Stirton 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 129 KB

Training for software maintenance

✍ Taylor, M. J.; Moynihan, E. P.; Laws, A. 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 69 KB

There are many factors which significantly affect the software maintenance work carried out in organizations. This paper concentrates on one of those factors which is the training that IT staff receive in software maintenance techniques. This paper examines the approaches to training for software ma

Which documentation for software mainten

Which documentation for software maintenance?

✍ Sergio Cozzetti B. de Souza; Nicolas Anquetil; Káthia M. de Oliveira 📂 Article 📅 2006 🏛 SciELO 🌐 English ⚖ 203 KB

Techniques for application software main

Techniques for application software maintenance

✍ N Gorla 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 962 KB