✦ LIBER ✦

A reuse base for real-time software specifications

✍ Scribed by Tuomas Ihme

Publisher: Elsevier Science
Year: 1989
Weight: 672 KB
Volume: 27
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(89)90125-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Requirements specifications checking of

Requirements specifications checking of embedded real-time software

✍ Guoqing Wu; Fengdi Shu; Min Wang; Weiqing Chen 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 712 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

A software generator for multi-transpute

A software generator for multi-transputer-based real-time applications

✍ O. Pasquier; J.P. Calvez 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 486 KB

A GPU based real-time GPS software recei

A GPU based real-time GPS software receiver

✍ Thomas Hobiger; Tadahiro Gotoh; Jun Amagai; Yasuhiro Koyama; Tetsuro Kondo 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 571 KB

A model for software reuse

✍ Young S. Cho; Doris L. Carver 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 986 KB

ASADAL/SIM: an incremental multi-level s

ASADAL/SIM: an incremental multi-level simulation and analysis tool for real-time software specifications

✍ Kyo C. Kang; Kwan W. Lee; Ji Y. Lee; Gerard J. Kim 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 299 KB

Despite considerable advancement in software engineering methods during the past three decades, requirements engineering of large and complex software systems still remains a difficult and active research problem. One such difficulty lies in developing correct and useful methods for the validation a