𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A methodological process for the design of a large system: two industrial case-studies

✍ Scribed by Nestor Lopez; Marianne Simonot; Véronique Viguié Donzeau-Gouge

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
238 KB
Volume
66
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

Integrated computer-aided design of a me
Integrated computer-aided design of a mechanical system: an industrial case study
✍ S.A. Meguid 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 571 KB

The investigation described in the paper was concerned with the computer-aided integration of the different tasks relating to the design of a fluid coupling in a drive system for an auxiliary boiler feed pump in a nuclear power station. The coupling would only be used in the event of a breakdown in

Product-service systems, a perspective s
Product-service systems, a perspective shift for designers: A case study: the design of a telecentre
✍ N Morelli 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 409 KB

A large perspective shift is informing corporate strategies in modern economies. Such strategies, once focused on product manufacture, are now aimed at providing product-service systems (PSS) i.e. systemic solutions including products and services. Designers, who have usually focused their activity