Architecture Description Languages for High-Integrity Real-Time Systems.

Alek Radjenovic Richard F. Paige

Published in: IEEE Softw. (2006)

Keyphrases

description languages
real time systems
description language
real time
architectural model
timing constraints
distributed systems
object oriented programming language
web services
software architecture
real time database systems
real time embedded
embedded systems
fine grained
service discovery