✦ LIBER ✦

Automated implementations of Lotos specification

✍ Scribed by Ludo Cuypers

Publisher: Elsevier Science
Year: 1992
Weight: 371 KB
Volume: 35
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(92)90395-n

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Computer automation of polarographic ana

Computer automation of polarographic analyzer PAR 384B and development of specific implementation software

✍ I. Pizeta; M. Branica 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 473 KB

Massive implementation of robot factory

Massive implementation of robot factory automation imminent

📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 106 KB

Human factors facilitating the implement

Human factors facilitating the implementation of automation

✍ Albert J. Macek 📂 Article 📅 1982 🏛 Society of Manufacturing Engineers 🌐 English ⚖ 927 KB

This paper recommends five important steps for introducing automatic equipment: (1) plan the transition with advance notice to employees, (2) anticipate the widespread effects and identify which departments will influence the automation's success, (3) design the jobs created bythe change in accordan

Implementation of a communication sdl sp

Implementation of a communication sdl specification

✍ Haruo Hasegawa; Wataru Tanaka 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 776 KB

Supporting testing of specifications and

Supporting testing of specifications and implementations

✍ Jari Arkko; Vesa Hirvisalo; Juha Kuusela; Esko Nuutila 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 616 KB

Implementation of automated interaction

Implementation of automated interaction design with collaborative models

✍ Robin R. Penner; Erik S. Steinmetz 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 722 KB

This paper summarizes the current status of an ongoing research program to explore automated alternatives to the current manual method of designing, implementing, and delivering user interfaces to complex digital control systems. Using examples from two implementations of the model-based interface a