Jozef Hooman, Onno van Roosmalen  Home/Search
Context
Related
| win.tue.nl/~hooman/DEALtech.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.kun.nl/~hooman/DEALtech (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we propose a method for extending programming languages that enables the specification of timing properties of systems. The way time is treated is not language specific and the extension can therefore be included in many existing programming languages. The presented method includes a view on the system development process. An essential feature is that it enables the construction of (hard) real-time programs that may be proven correct independently of the properties of the machines ... (Update)
Active bibliography (related documents): More All
0.7: A Toolset for the Reengineering of Complex Computer.. - Kurfess, Welch.. (Correct)
0.6: Real-time Constraint Specification in Object-Oriented Languages - Pons, Tapia (1999) (Correct)
0.5: Event Abstraction in Modeling Distributed Computations - Basten (1993) (Correct)
Similar documents based on text: More All
0.2: Extending Hoare Logic to Real-Time - Jozef Hooman Department (1994) (Correct)
0.1: Modeling and Verification of Leaders Agreement in the.. - Layouni, Hooman, Tahar (2003) (Correct)
0.1: Reasoning about Real-Time Programs Using Idle-Invariant.. - Ian Hayes School (Correct)
BibTeX entry: (Update)
@misc{ hooman-programminglanguage,
author = "Jozef Hooman and Onno van Roosmalen",
title = "A Programming-Language Extension for Distributed Real-Time Systems",
url = "citeseer.ist.psu.edu/hooman96programminglanguage.html" }
Citations (may not include all citations):352 Time, Clocks, and the Ordering of Events in a Distributed Sy.. (context) - Lamport - 1978
98 Real-Time Systems and their Programming Languages (context) - Burns, Wellings - 1989
63 Notes on Structured Programming (context) - Dijkstra - 1972
57 Real-Time Euclid: A Language for Reliable Real-Time Systems (context) - Kligerman, Stoyenko - 1986
57 Object-Oriented Real-Time Language Design: Constructs for Ti.. (context) - Ishikawa, Tokuda et al. - 1990
46 Constructing Predictable Real-Time Systems (context) - Halang, Stoyenko - 1991
35 Language Constructs for Distributed Real-Time Programming (context) - Lee, Gehlot - 1985
35 Real-Time Specification Inheritance Anomalies and Real-Time .. - Aksit, Bosch et al. - 1994
35 Software Engineering with Ada (context) - Booch - 1983
35 DROL: An Object-Oriented Programming Language for Distribute.. (context) - Takashio, Tokoro - 1992
29 Highly Efficient and Encapsulated Re-use of Synchronization .. - Matsuoka, Taura et al. - 1993
27 A modular Approach for Programming Distributed RealTime Syst.. - Ren, Agha et al. - 1996
14 Composing Synchronization and Real-Time Constraints (context) - Bergmans, Aksit
13 Extending Hoare Logic to Real-Time - Hooman - 1994
12 International Standard ANSI/ISO/IEC (context) - Reference - 1995
12 A Framework for Building Dependable Systems (context) - Burns, Lister - 1991
9 the design of the object-oriented language Sina (context) - Aksit - 1989
8 Comparative Evaluation of High-Level Real-Time Programming L.. (context) - Halang, Stoyenko - 1990
6 Advanced Fixed Priority Scheduling (context) - Burns, Wellings - 1996
5 Dedos: A Distributed Real-Time Environment (context) - Hammer - 1994
5 FLEX: A Language for Programming Flexible Real-Time Systems (context) - Lin, Liu et al. - 1991
3 Program Dependence Analysis for Concurrency Exploitation in .. (context) - Yu, Welch - 1994
2 An Assessment of the Real-time Requirements for Programming .. (context) - Gligor, Luckenbaugh - 1983
2 Event Abstraction: Some Definitions and Theorems - Kunz - 1993
1 Programming Development by Stepwise refinement (context) - Wirth - 1971
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC