✦ LIBER ✦

Supporting testing of specifications and implementations

✍ Scribed by Jari Arkko; Vesa Hirvisalo; Juha Kuusela; Esko Nuutila

Publisher: Elsevier Science
Year: 1990
Weight: 616 KB
Volume: 30
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(90)90257-a

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An architecture supporting real-time pro

An architecture supporting real-time programming and implementations

✍ S Mostert 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 686 KB

Abstract Commands:: A Uniform Notation f

Abstract Commands:: A Uniform Notation for Specifications and Implementations

✍ Steve Dunne 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 161 KB

Relationship between specifications and

Relationship between specifications and testing

✍ PAV Hall 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 583 KB

The relations~tip between ~speci [Jcations and testing is explored through considering what can legitimately he deduced about software given its per[ormanee on a number ~!/ test eases. Current approaches to test ease construction are sketched, and then a number ~?[alternative approaches to test theo

Specifications for and methods of testin

Specifications for and methods of testing soaps

📂 Article 📅 1919 🏛 Elsevier Science 🌐 English ⚖ 123 KB

Specifications for and methods of testin

Specifications for and methods of testing soaps

📂 Article 📅 1916 🏛 Elsevier Science 🌐 English ⚖ 46 KB

System testing: implications of requirem

System testing: implications of requirements specifications

✍ AM Davis 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 793 KB

On many software development projects, software system testing takes considerably longer than predicted. Even worse, the resultant product often fails to meet customer expectations. It is well understood and documented that the requirements specification process as currently practised is grossly ina