𝔖 Bobbio Scriptorium
✦   LIBER   ✦

SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study

✍ Scribed by José J. Pazos Arias; Jorge García Duque

Publisher
Springer
Year
2001
Tongue
English
Weight
331 KB
Volume
13
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A methodological process for the design
A methodological process for the design of a large system: two industrial case-studies
✍ Nestor Lopez; Marianne Simonot; Véronique Viguié Donzeau-Gouge 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 238 KB

This paper presents two examples taken from industrial case-studies that have been specified using an event system approach. Component specifications, taking the form of pre-post formula, have been derived. Constraints which ensure the correctness of the whole process are given.

A case study of a distributed high-perfo
A case study of a distributed high-performance computing system for neurocomputing
✍ D. Anguita; A. Boni; G. Parodi 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 215 KB

We model here a distributed implementation of cross-stopping, a combination of cross-validation and early-stopping techniques, for the selection of the optimal architecture of feed-forward networks. Due to the very large computational demand of the method, we use the RAIN system (Redundant Array of