2266 search results - page 160 / 454 » A generic component model for building systems software |
156
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
184
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Architectural patterns are a key point in architectural documentation. Regrettably, there is poor support for modeling architectural patterns, because the pattern elements are not...
170
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
185
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
One of the major problems in building large-scale distributed systems is to anticipate the performance of the eventual solution before it has been built. This problem is especiall...
129
click to vote
CAISE
2005
Springer
16 years 11 hour ago
2005
Springer
In this paper we are trying to clarify, with the aid of some semiotic notions, the confusions that lie around the widely used terms “analysis model” and “design model” in s...