Reasoning about Time in Higher-Level Language Software (1989)
| Venue: | IEEE Transactions on Software Engineering |
| Citations: | 156 - 0 self |
BibTeX
@ARTICLE{Shaw89reasoningabout,
author = {Alan Shaw},
title = {Reasoning about Time in Higher-Level Language Software},
journal = {IEEE Transactions on Software Engineering},
year = {1989},
volume = {15},
pages = {875--889}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Introduction Real-time systems and many other computer applications must meet specifications and perform tasks that satisfy timing as well as logical criteria for correctness. Examples of timing properties and constraints include deadlines, the periodic execution of processes, and external event recognition based on time of occurrence (e.g., [9, 18]). We present a scheme for reasoning with and about time and for specifying timing properties in concurrent programs. The objectives are to predict the tim1 This chapter is based on "Reasoning about Time in Higher-Level Language Software," by Alan Shaw that appeared in IEEE Transactions on Software Engineering, vol. 15, no. 7, pp. 875--889, July 1989, c fl1989 IEEE. Sec. 16.1 Introduction 375 ing behavior of higher-level language programs and to prove that they meet their timing constraints, through the direct analysis of program statements. Timing
