✦ LIBER ✦

Abstraction and Testing in CSP

✍ Scribed by Steve Schneider

Book ID: 105845141
Publisher: Springer
Year: 2000
Tongue: English
Weight: 137 KB
Volume: 12
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s001650070027

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Data Abstraction Techniques in the Valid

Data Abstraction Techniques in the Validation of CSP-OZ Specifications

✍ Heike Wehrheim 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 163 KB

ChemInform Abstract: Silver-Catalyzed Cs

ChemInform Abstract: Silver-Catalyzed Csp—H and Csp—Si Bond Transformations and Related Processes

✍ Yoshihiko Yamamoto 📂 Article 📅 2008 🏛 John Wiley and Sons ⚖ 15 KB

ChemInform Abstract: Expanding the Scope

ChemInform Abstract: Expanding the Scope of Arylsulfonylacetylenes as Alkynylating Reagents and Mechanistic Insights in the Formation of Csp 2 -Csp and Csp 3 -Csp Bonds from Organolithiums.

✍ Garcia Ruano, Jose Luis; Aleman, Jose; Marzo, Leyre; Alvarado, Cuauhtemoc; Torto 📂 Article 📅 2012 🏛 John Wiley and Sons ⚖ 79 KB

CSP 1999 Congress and Exhibition: Call f

CSP 1999 Congress and Exhibition: Call for abstracts

📂 Article 📅 1998 🏛 Elsevier 🌐 English ⚖ 217 KB

Specification for testing—the removal of

Specification for testing—the removal of abstraction

✍ I. Spence 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 126 KB

A good specification of a software system is the best foundation for good testing, and automated testing really requires a formal specification. A formal specification of the operations provided by a system is typically written at an abstract level. The data types of any arguments and result values

Abstraction and abstraction control in S

Abstraction and abstraction control in Scotland

✍ Ian A Fox; Susan Walker 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 99 KB