✦ LIBER ✦

Specification-Based Browsing of Software Component Libraries

✍ Scribed by Bernd Fischer

Book ID: 110267388
Publisher: Springer US
Year: 2000
Tongue: English
Weight: 255 KB
Volume: 7
Category: Article
ISSN: 0928-8910
DOI: 10.1023/a:1008766409590

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A learning agent that assists the browsi

A learning agent that assists the browsing of software libraries

✍ Drummond, C.G.; Ionescu, D.; Holte, R.C. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 481 KB

Behavioral specification of distributed

Behavioral specification of distributed software component interfaces

✍ Cicalese, C.D.T.; Rotenstreich, S. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 184 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

Towards UML-based formal specifications

Towards UML-based formal specifications of component-based real-time software

✍ Vieri del Bianco; Luigi Lavazza; Marco Mauri; Giuseppe Occorso 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 306 KB

Specification matching of software compo

Specification matching of software components

✍ Zaremski, Amy Moormann; Wing, Jeannette M. 📂 Article 📅 1997 🏛 Association for Computing Machinery 🌐 English ⚖ 471 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