304 search results - page 5 / 61 » Towards component based systems: refining connectors |
ECBS
2008
IEEE
13 years 9 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
ICSE
1994
IEEE-ACM
13 years 11 months ago
1994
IEEE-ACM
Software libraries are repositories which contain software components; as such, they represent a precious resource for the software engineer. As software libraries grow in size, it...
MPC
1995
Springer
13 years 11 months ago
1995
Springer
This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
SAC
2004
ACM
14 years 24 days ago
2004
ACM
The purpose of this paper is to investigate the use of a new concept in component communication, expressed by the channel based coordination language called ρέω, in the coordina...
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE