Coverart for item
The Resource Real Time Programming 1981 : Proceedings of the IFAC/IFIP Workshop, Kyoto, Japan, 31 August - 2 September 1981

Real Time Programming 1981 : Proceedings of the IFAC/IFIP Workshop, Kyoto, Japan, 31 August - 2 September 1981

Label
Real Time Programming 1981 : Proceedings of the IFAC/IFIP Workshop, Kyoto, Japan, 31 August - 2 September 1981
Title
Real Time Programming 1981
Title remainder
Proceedings of the IFAC/IFIP Workshop, Kyoto, Japan, 31 August - 2 September 1981
Creator
Contributor
Language
eng
Member of
Cataloging source
EBLCP
http://library.link/vocab/creatorName
Hasegawa, T
Dewey number
004.33
Index
no index present
LC call number
QA76.54
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Hasegawa, T
Series statement
Annual Review in Automatic Programming
Series volume
v. Vol. 11
Label
Real Time Programming 1981 : Proceedings of the IFAC/IFIP Workshop, Kyoto, Japan, 31 August - 2 September 1981
Instantiates
Publication
Note
Chapter 11. centralised programming system for process computer at kimitsu works of nippon steel corporation
Antecedent source
unknown
Color
multicolored
Contents
  • Chapter 2. recent advances of application and technology of industrial computers in japanintroduction; present trends of application of industrial computers in japan; software productiveity improvement; chapter 3. functor: a higher-level co-operating program model; introduction; general concept; functor model; example of functor model; functional mapping; conclusion; references; chapter 4. on-line system changeover using a virtual machine system; introduction; concept of virtual machine system; functional improvement of virtual machine system; conclusion; acknowledgements; references
  • Chapter 5. the multi-processor process computer system employing a data way used at the yawata no. 3 steelmaking plantintroduction; system configuration; back-up procedure for a faulty cpu or a faulty disk memory unit; systems performance evaluation; conclusion; chapter 6. microcomputer based on-board real-time control system for automated guideway rapid transit system; introduction; outline of ato system; methodology of system implementation; structure of the ato system; conclusion; refferences; chapter 7. a debugging tool for real time software: the non repeated runs approach; introduction
  • Real time process control systemreal time software error; conventional real time software debugging method; non repeated runs debugging approach and tool; data collection overhead considerations; development of a debugging tool based on the non repeated runs concept; conclusions; references; chapter 8. program fall-back method in real time systems; introduction; software structures; task execution management system; fall-back management system; an application; conclusions; acknowledgement; references; chapter 9. specification of a specification language; introduction; the espreso-system
  • The need for a well defined specification languagedefinition of the syntax; definition of the semantics; mapping of espreso-s into a programming language; the implementation of espreso-w; the feedback from a formal definition; conclusion: generality and preciseness in program specifications; acknowledgements; references; chapter 10. prosus: a software package for industrial control; abstract; 1. introduction; 2. composition; 3. purpose and features; 4. subsystems example; 5. generation system of prosus; 6. conclusion
Control code
ocn956277671
Dimensions
unknown
File format
unknown
Form of item
online
Isbn
9781483158686
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)956277671
Label
Real Time Programming 1981 : Proceedings of the IFAC/IFIP Workshop, Kyoto, Japan, 31 August - 2 September 1981
Publication
Note
Chapter 11. centralised programming system for process computer at kimitsu works of nippon steel corporation
Antecedent source
unknown
Color
multicolored
Contents
  • Chapter 2. recent advances of application and technology of industrial computers in japanintroduction; present trends of application of industrial computers in japan; software productiveity improvement; chapter 3. functor: a higher-level co-operating program model; introduction; general concept; functor model; example of functor model; functional mapping; conclusion; references; chapter 4. on-line system changeover using a virtual machine system; introduction; concept of virtual machine system; functional improvement of virtual machine system; conclusion; acknowledgements; references
  • Chapter 5. the multi-processor process computer system employing a data way used at the yawata no. 3 steelmaking plantintroduction; system configuration; back-up procedure for a faulty cpu or a faulty disk memory unit; systems performance evaluation; conclusion; chapter 6. microcomputer based on-board real-time control system for automated guideway rapid transit system; introduction; outline of ato system; methodology of system implementation; structure of the ato system; conclusion; refferences; chapter 7. a debugging tool for real time software: the non repeated runs approach; introduction
  • Real time process control systemreal time software error; conventional real time software debugging method; non repeated runs debugging approach and tool; data collection overhead considerations; development of a debugging tool based on the non repeated runs concept; conclusions; references; chapter 8. program fall-back method in real time systems; introduction; software structures; task execution management system; fall-back management system; an application; conclusions; acknowledgement; references; chapter 9. specification of a specification language; introduction; the espreso-system
  • The need for a well defined specification languagedefinition of the syntax; definition of the semantics; mapping of espreso-s into a programming language; the implementation of espreso-w; the feedback from a formal definition; conclusion: generality and preciseness in program specifications; acknowledgements; references; chapter 10. prosus: a software package for industrial control; abstract; 1. introduction; 2. composition; 3. purpose and features; 4. subsystems example; 5. generation system of prosus; 6. conclusion
Control code
ocn956277671
Dimensions
unknown
File format
unknown
Form of item
online
Isbn
9781483158686
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)956277671

Library Locations

Processing Feedback ...