PART I: Real Time Systems — Background

In the next four sections, we shall provide (i) an overview of the general characteristics of real-time systems and reactive systems, (ii) a general discussion on formal development methodologies for real-time systems, (iii) characteristics of real-time languages and (iv) programming characteristics...

Full description

Saved in:
Bibliographic Details
Published in:Real Time Programming: Languages, Specification And Verification p. 1
Main Authors: R K Shyamasundar, S Ramesh
Format: Book Chapter
Language:English
Published: Singapore World Scientific Publishing Company 2009
WORLD SCIENTIFIC
Subjects:
PART I: Real Time Systems — Background
Software Engineering
ISBN:9789810225667, 9810225660, 9789814499316, 9789812814029, 9812814027, 9814499315
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In the next four sections, we shall provide (i) an overview of the general characteristics of real-time systems and reactive systems, (ii) a general discussion on formal development methodologies for real-time systems, (iii) characteristics of real-time languages and (iv) programming characteristics of reactive systems and the synchrony hypothesis.
ISBN:9789810225667
9810225660
9789814499316
9789812814029
9812814027
9814499315
DOI:10.1142/9789812814029_others01