✦ LIBER ✦

Improving automation software dependability: A role for formal methods?

✍ Scribed by Timothy L. Johnson

Book ID: 108105100
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 364 KB
Volume: 15
Category: Article
ISSN: 0967-0661
DOI: 10.1016/j.conengprac.2006.07.005

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Software Architectures Volume 2804 || Software Architecture and Dependability

✍ Bernardo, Marco; Inverardi, Paola 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 308 KB

The role of formal methods in achieving

The role of formal methods in achieving dependable software

✍ Martyn Thomas 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 594 KB

A Survey of Automated Techniques for For

A Survey of Automated Techniques for Formal Software Verification

✍ D'Silva, V.; Kroening, D.; Weissenbacher, G. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 495 KB

Using formal methods for teaching softwa

Using formal methods for teaching software engineering: a tool-based approach

✍ P. Ciancarini; C. Mascolo 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 153 KB

rCOS: a formal model-driven engineering

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

✍ Wei Ke; Xiaoshan Li; Zhiming Liu; Volker Stolz 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 781 KB

Design of a very versatile software prog

Design of a very versatile software program for automating analytical methods

✍ E. Becerra; A. Cladera; V. Cerdà 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 257 KB 👁 2 views

The present article proposes the design of a hardware-independent system for automating various analytical methods. System design is based on the division of the software into four layers, defining a communications interface among them. The definition of these layers allows the isolation of the high