default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Software Engineering, Volume 7

> Home > Journals > Annals of Software Engineering

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 7, 1999

Real-Time Software Engineering

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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.