✦ LIBER ✦

rCOS: a formal model-driven engineering method for component-based software

✍ Scribed by Wei Ke; Xiaoshan Li; Zhiming Liu; Volker Stolz

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling NASA swarm-based systems: using

✍ Joaquin Peña; Christopher A. Rouff; Mike Hinchey; Antonio Ruiz-Cortés 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 676 KB

A test framework for CORBA* component mo

✍ Harold J. Batteram; Willem A. Romijn 📂 Article 📅 2003 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 176 KB 👁 2 views

A method for comparing traditional and c

✍ Raul Valverde; Mark Toleman; Aileen Cater-Steel 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 269 KB

A method for model based test harness ge

✍ Camila Ribeiro Rocha; Eliane Martins 📂 Article 📅 2008 🏛 SciELO 🌐 English ⚖ 500 KB

On the development of a formal methods-b

✍ S Tran; J Cullyer; E Hines; K Marks 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 364 KB

A software-based method of data collecti

✍ Terry K. Tremwel; Larry W. Miller; Kenneth L. Campbell 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 442 KB