DESIGN OF INTEGRATED MANUFACTURING SYSTEM CONTROL SOFTWARE.

被引：0

作者：

Naylor, Arch W. ^{[1
]}

Volz, Richard A. ^{[1
]}

机构：

[1] Univ of Michigan, Ann Arbor, MI, USA, Univ of Michigan, Ann Arbor, MI, USA

来源：

IEEE Transactions on Systems, Man and Cybernetics | 1987年 / SMC-17卷 / 06期

关键词：

COMPUTER METATHEORY - Formal Logic - Computer software - Digital communication systems;

D O I：

10.1109/tsmc.1987.6499301

中图分类号：

学科分类号：

摘要：

A coordinated multifaceted conceptual framework for the development of real-time control software for integrated manufacturing systems is described. This orderly, rational, and structured approach is based on a blending of modern software concepts and formal semantic models. Using a common distributed language environment and generic (i. e. , reusable) software, the authors construct control software as an assemblage of components written in the common distributed language. The semantics of the assemblages are modeled formally.

引用

下载

页码：881 / 897

共 50 条

[1] DESIGN OF INTEGRATED MANUFACTURING SYSTEM CONTROL SOFTWARE
NAYLOR, AW
VOLZ, RA
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1987, 17 (06): : 881 - 897
[2] COMPLETE MANUFACTURING CONTROL SIMPLIFIED WITH NEW COMPUTER SOFTWARE.
Anon
Plastics Technology, 1980, 26 (12) : 33 - 52
[3] MANUFACTURING GAME: A FORMAL APPROACH TO MANUFACTURING SOFTWARE.
Naylor, Arch W.
Maletz, Mark C.
IEEE Transactions on Systems, Man and Cybernetics, 1986, SMC-16 (03): : 321 - 334
[4] DOCUMENT YOUR PROCESS CONTROL SYSTEM SOFTWARE.
BECK, WILLIAM A.
CARVER, TERRY E.
1982, V 29 (N 9) : 93 - 95
[5] WHAT'S NEW IN MANUFACTURING SOFTWARE.
Krepchin, Ira P.
Modern Materials Handling, 1987, 42 (12) : 91 - 94
[6] ULTRASOUND SYSTEM SOFTWARE.
Luszcz, Joseph M.
Koppes, William A.
Hempstead, David C.
Kunz, Robert J.
1600, (34):
[7] DESIGN RESOURCES COMBINE FOR SOFTWARE.
Marshall, John
1600, (27):
[8] SOFTWARE ARCHITECTURE OF INTEGRATED COMPUTER-AIDED DESIGN AND MANUFACTURING SYSTEM
KANATANI, Y
CHOSHI, T
HOTOGE, K
FUJITSU SCIENTIFIC & TECHNICAL JOURNAL, 1987, 23 (04): : 341 - 352
[9] CREATE YOUR OWN INTEGRATED SOFTWARE.
Liskin, Miriam
Personal computing, 1985, 9 (06): : 121 - 131
[10] MONARCH 120 - THE SYSTEM SOFTWARE.
Park, I.D.C.
Post Office Electrical Engineers Journal, 1981, 74 (pt 2): : 81 - 85

← 1 2 3 4 5 →