5228 search results - page 607 / 1046 » Case Studies for Software Engineers |
176
click to vote
AOSD
2005
ACM
16 years 19 days ago
2005
ACM
In this paper, we present a collection of aspect-oriented refactorings covering both the extraction of aspects from objectoriented legacy code and the subsequent tidying up of the...
182
click to vote
VMCAI
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
197
click to vote
IUI
2004
ACM
16 years 15 days ago
2004
ACM
One of the limitations in traditional instant messaging platforms is that they predominantly rely on text messages as the primary form of expression. This paper presents FAIM, an ...
184
click to vote
ICSE
2004
IEEE-ACM
16 years 13 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 ...
212
click to vote
OOPSLA
2004
Springer
16 years 12 days ago
2004
Springer
Component-based enterprise systems often suffer from performance issues as a result of poor system design. In this paper, we propose a framework to automatically detect, assess an...