2430 search results - page 65 / 486 » Tool support for quality-driven development of software arch... |
117
click to vote
ESEC
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
SPLC
2007
15 years 2 months ago
2007
Besides ordinary applications, also infrastructure software such as operating systems or database management systems is being developed as a software product line. With proper too...
118
click to vote
SERA
2007
Springer
15 years 7 months ago
2007
Springer
Component-based development has become a recognized technique for building large scale distributed applications. Although the maturity of this technique, there appears to be quite...
EUROPLOP
2006
15 years 2 months ago
2006
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...
ICSE
1998
IEEE-ACM
15 years 5 months ago
1998
IEEE-ACM
Continuous availability is a critical requirement for an important class of software systems. For these systems, runtime system evolution can mitigate the costs and risks associat...