3045 search results - page 349 / 609 » Formal Approaches to Software Architecture |
185
click to vote
CAV
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
134
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
The paper introduces the problem of designing dynamic workload management (WM) tools that are aware of the diversity of classes of users and their diverse access patterns. Our app...
181
click to vote
SOSE
2006
IEEE
16 years 24 days ago
2006
IEEE
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
168
click to vote
SIGSOFT
2004
ACM
16 years 6 days ago
2004
ACM
This paper presents an analysis of feature-oriented and aspectoriented modularization approaches with respect to variability management as needed in the context of system families...
172
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
This paper describes the use of executable specifications to ease incremental development, by providing more flexibility regarding the order in which modules are implemented. In t...