✦ LIBER ✦

Methods and tools for system design

✍ Scribed by J.K. Buckle

Publisher: Elsevier Science
Year: 1985
Tongue: English
Weight: 651 KB
Volume: 38
Category: Article
ISSN: 0010-4655
DOI: 10.1016/0010-4655(85)90082-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A tool for designing graphical and distr

A tool for designing graphical and distributed CAD systems

✍ JM Dumas; E Nizard; F Prunet; JP Vaucanson 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 117 KB

Design tools for requirements engineerin

Design tools for requirements engineering

✍ Gerard J. Holzmann; Doron A. Peled; Margaret H. Redberg 📂 Article 📅 2002 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 143 KB 👁 1 views

Methods and tools for corporate knowledg

Methods and tools for corporate knowledge management

✍ ROSE DIENG; OLIVIER CORBY; ALAIN GIBOIN; MYRIAM RIBIÈRE 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 330 KB

This article-is a survey of some methods, techniques and tools aimed at managing corporate knowledge from a corporate memory designer's perspective. In particular, it analyses problems and solutions related to the following steps: detection of needs of corporate memory, construction of the corporate

SASD-tools for program design

✍ Karl S. Gather 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 555 KB

An overview of Structured Analysis Strucured Design (SASD) methodology is given. Some emphasis is put on the time needed to start in a HEP environment with software design methodologies, and on the motivation for SASD. The need for tools is indicated, and examples of their usefulness in analysis and

Formal methods in system design and impl

Formal methods in system design and implementation

✍ Bernard Sufrin 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 708 KB

Late discovery of design errors is responsible for the very high cost of many computer-based information systems. Poor documentation of interfaces and poor quality of implementation is responsible for very high failure rates of even well-designed systems. Formal methods promise to relieve some of th

Practical design methods for ATM systems

✍ Haruo Akimaru; Kyoko Yamori; Yoshinori Fujikawa; Zhisheng Niu 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 333 KB 👁 1 views

The basic service categories necessary for the information highway, namely, VLL (virtual leased line), VCS (virtual circuit switching), COPS (connection oriented packet switching), and CLPS (connectionless packet switching), have been proposed [9]. In this paper, we propose simplified practical desi