3045 search results - page 381 / 609 » Formal Approaches to Software Architecture |
170
click to vote
CSMR
2005
IEEE
16 years 11 days ago
2005
IEEE
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...
133
click to vote
IUI
2005
ACM
16 years 9 days ago
2005
ACM
Voicemail has become an integral part of our personal and professional communication. The number of messages that accumulate in our voice mailboxes necessitate new ways of priorit...
173
click to vote
ESOP
2005
Springer
16 years 8 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
173
click to vote
FM
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
171
click to vote
ICSE
2004
IEEE-ACM
16 years 3 days ago
2004
IEEE-ACM
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...