Volume 7,
1999
Real-Time Software Engineering
- Farokh B. Bastani:
Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems.
5-24
- Edward A. Lee:
Modeling Concurrent Real-Time Processes Using Discrete Events.
25-45
- Yi Deng, Jiacun Wang:
Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design.
47-70
- Rick Kazman, Mark Klein, Paul C. Clements:
Evaluating Software Architectures for Real-Time Systems.
71-93
- Jeffrey J. P. Tsai, Kuang Xu:
An Empirical Evaluation of Deadlock Detection in Software Architecture Specifications.
95-126
- Girish Bhat, Rance Cleaveland, Gerald Lüttgen:
A Practical Approach to Implementing Real-Time Semantics.
127-155
- Daniel E. Cooke, David A. Dampier:
A Real-Time Version of SequenceL.
157-176
- Paul Z. Kolano, Zhe Dang, Richard A. Kemmerer:
The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment.
177-210
- Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah:
Specification and Analysis of Real-Time Systems with PARAGON.
211-234
- Hussein Zedan, Antonio Cau, Zhiqiang Chen, Hongji Yang:
ATOM: An Object-based Formal Method for Real-Time Systems.
235-256
- Brian Nielsen, Gul Agha:
Towards Reusable Real-Time Objects.
257-282
- Yingxu Wang, Graham King, Dilip Patel, Shushma Patel, Alec Dorling:
On Coping with Real-Time Software Dynamic Inconsistency by Built-in Tests.
283-296
Copyright © Tue Dec 8 20:22:21 2009
by Michael Ley (ley@uni-trier.de)
