Coverart for item
The Resource Real Time Programming 1983 : Proceedings of the 12th IFAC/IFIP Workshop, Hatfield, UK, 29-31 March 1983

Real Time Programming 1983 : Proceedings of the 12th IFAC/IFIP Workshop, Hatfield, UK, 29-31 March 1983

Label
Real Time Programming 1983 : Proceedings of the 12th IFAC/IFIP Workshop, Hatfield, UK, 29-31 March 1983
Title
Real Time Programming 1983
Title remainder
Proceedings of the 12th IFAC/IFIP Workshop, Hatfield, UK, 29-31 March 1983
Creator
Language
eng
Cataloging source
EBLCP
http://library.link/vocab/creatorName
Bull, G. M
Dewey number
005.1
Index
no index present
LC call number
QA76.54
Literary form
non fiction
Nature of contents
dictionaries
Label
Real Time Programming 1983 : Proceedings of the 12th IFAC/IFIP Workshop, Hatfield, UK, 29-31 March 1983
Instantiates
Publication
Note
Introduction
Antecedent source
unknown
Color
multicolored
Contents
  • Chapter 3. data bases in civil engineering control and researchintroduction: background of study; nature of objects to be managed; short-term needs concerning data management; conclusion; bibliogrpahy; chapter 4. normalisation in another context; introduction; basic concepts and notation; first normal form; second normal form; references; chapter 5. pcdb -- a process control data base management system; introduction; data base concept; concepts of pcdb system; hardware requirements; applications; references; future developments; conclusions
  • Chapter 6. dynamic system configuration for distributed real-time systems1. introduction; 2. dynamic configuration model; 3. configuration in conic; 4. conic configuration tools; 5. related work; 6. conclusions; 7. references; chapter 7. sars -- a system for application oriented requirements specification; abstract; keywords; 1. introduction; 2. the sars information system; 3. the mars method; 4. the lars language; 5. editors; 6. dialogue system; 7. technical data; 8. summary and acknowledgments; chapter 8. irtb -- an alternative to real-time programming; introduction; a coal mine example
  • Implementing the exampleconclusion; references; chapter 9. reliability issues in a development of a dedicated real time system; introduction; basic reliability concepts; the system; conclusions; chapter 10. a man-machine intercommunication facility in well-structured concurrent systems; introduction: some basic principles; displaying asynchronously generatedsy stem messages; references; chapter 11. monitoring of real time systems by a separate processor; introduction; basic idea and advantages of the proposed monitoring system; description of the implemented system; conclusion; references
  • Chapter 12. some methods and tools for real-time software validationintroduction; some problems; some solutions; methods and tools within fcsl; ada and an apse; conclusion; references; chapter 13. a debugging package for modula; introduction; context; modula at hull; package facilities; use of the package; combined calls; execution times; future work; conclusions; references; chapter 14. exception handling considered harmful; introduction; an ada example; extending the exception-free view; conclusions; references; chapter 15. multiprocessor implementations of tasking facilities in ada
Control code
ocn956277837
Dimensions
unknown
File format
unknown
Form of item
online
Isbn
9781483153483
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)956277837
Label
Real Time Programming 1983 : Proceedings of the 12th IFAC/IFIP Workshop, Hatfield, UK, 29-31 March 1983
Publication
Note
Introduction
Antecedent source
unknown
Color
multicolored
Contents
  • Chapter 3. data bases in civil engineering control and researchintroduction: background of study; nature of objects to be managed; short-term needs concerning data management; conclusion; bibliogrpahy; chapter 4. normalisation in another context; introduction; basic concepts and notation; first normal form; second normal form; references; chapter 5. pcdb -- a process control data base management system; introduction; data base concept; concepts of pcdb system; hardware requirements; applications; references; future developments; conclusions
  • Chapter 6. dynamic system configuration for distributed real-time systems1. introduction; 2. dynamic configuration model; 3. configuration in conic; 4. conic configuration tools; 5. related work; 6. conclusions; 7. references; chapter 7. sars -- a system for application oriented requirements specification; abstract; keywords; 1. introduction; 2. the sars information system; 3. the mars method; 4. the lars language; 5. editors; 6. dialogue system; 7. technical data; 8. summary and acknowledgments; chapter 8. irtb -- an alternative to real-time programming; introduction; a coal mine example
  • Implementing the exampleconclusion; references; chapter 9. reliability issues in a development of a dedicated real time system; introduction; basic reliability concepts; the system; conclusions; chapter 10. a man-machine intercommunication facility in well-structured concurrent systems; introduction: some basic principles; displaying asynchronously generatedsy stem messages; references; chapter 11. monitoring of real time systems by a separate processor; introduction; basic idea and advantages of the proposed monitoring system; description of the implemented system; conclusion; references
  • Chapter 12. some methods and tools for real-time software validationintroduction; some problems; some solutions; methods and tools within fcsl; ada and an apse; conclusion; references; chapter 13. a debugging package for modula; introduction; context; modula at hull; package facilities; use of the package; combined calls; execution times; future work; conclusions; references; chapter 14. exception handling considered harmful; introduction; an ada example; extending the exception-free view; conclusions; references; chapter 15. multiprocessor implementations of tasking facilities in ada
Control code
ocn956277837
Dimensions
unknown
File format
unknown
Form of item
online
Isbn
9781483153483
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)956277837

Library Locations

Processing Feedback ...