✦ LIBER ✦

Specification matching of software components

✍ Scribed by Zaremski, Amy Moormann; Wing, Jeannette M.

Book ID: 120608928
Publisher: Association for Computing Machinery
Year: 1997
Tongue: English
Weight: 471 KB
Volume: 6
Category: Article
ISSN: 1049-331X
DOI: 10.1145/261640.261641

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An ontology for software component match

An ontology for software component matching

✍ Claus Pahl 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 325 KB

Behavioral specification of distributed

Behavioral specification of distributed software component interfaces

✍ Cicalese, C.D.T.; Rotenstreich, S. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 184 KB

Specification-Based Browsing of Software

Specification-Based Browsing of Software Component Libraries

✍ Bernd Fischer 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 255 KB

Specification and Verification of Switch

Specification and Verification of Switching Software

✍ Kajiwara, M.; Ichikawa, H.; Itoh, M.; Yoshida, Y. 📂 Article 📅 1985 🏛 IEEE 🌐 English ⚖ 715 KB

Foundations of sequence-based software s

Foundations of sequence-based software specification

✍ Prowell, S.J.; Poore, J.H. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 401 KB

Sequence-based software specification of

Sequence-based software specification of deterministic systems

✍ Stacy J. Prowell; Jesse H. Poore 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 99 KB 👁 1 views

Specification of software under the box structure method requires a complete, consistent, and traceably-correct description of behavior solely in terms of external stimuli and responses. Such a specification, also called a black box, can be derived from the requirements through straightforward, syst