2836 search results - page 123 / 568 » Model Checking for Software Architectures |
132
Voted
CSSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
136
Voted
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...
132
Voted
COMPSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
144
Voted
CASCON
1997
15 years 5 months ago
1997
Software evolution and reuse is more likely to receive higher payoff if high-level artifacts—such as architectures and designs—can be reused and can guide low-level component ...
131
Voted
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...