✦ LIBER ✦

Formalizing and automating component reuse

✍ Scribed by Yonghao Chen; Betty H.C. Cheng

Book ID: 114289141
Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 35 KB
Volume: 21
Category: Article
ISSN: 0920-5489
DOI: 10.1016/s0920-5489(99)92184-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Clustering and Classification of Softwar

Clustering and Classification of Software Component for Efficient Component Retrieval and Building Component Reuse Libraries

✍ Srinivas, Chintakindi; Radhakrishna, Vangipuram; Rao, C.V. Guru 📂 Article 📅 2014 🏛 Elsevier 🌐 English ⚖ 180 KB

Formal description techniques and automa

Formal description techniques and automated protocol synthesis

✍ V Carchiolo; A Faro; D Giordano 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 851 KB

The paper deals with the problem ~1 communication software design carried out by a synthesis approach. After a discussion o[" desLgn methodologies, a survey is done o['the mq]or approaches to automated protocol design, focusing on their features and on the adequacy o/ the adopted.[~rmal description

Automated formal analysis and verificati

Automated formal analysis and verification: an overview

✍ Křena, Bohuslav; Vojnar, Tomáš 📂 Article 📅 2013 🏛 Taylor and Francis Group 🌐 English ⚖ 265 KB

Code Component Reuse Supporting Environm

Code Component Reuse Supporting Environment (CCRSE) and its design strategy

✍ Ying Shi; Xu Gang; Yuan Sheng-qiong; Chen Hao 📂 Article 📅 2003 🏛 Wuhan University 🌐 English ⚖ 507 KB

Incorporating component reuse, remanufac

Incorporating component reuse, remanufacture, and recycle into product portfolio design

✍ Mangun, D.; Thurston, D.L. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 923 KB

Software reuse and competition: Consumer

Software reuse and competition: Consumer preferences in a software component market

✍ F. Javier Lerch; Nick V. Flor; Mark Fichman; Se-;Joon Hong 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 641 KB