Annals of Software Engineering, Volume 7

Volume 7, 1999

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