1148 search results - page 61 / 230 » Software engineering considered harmful |
117
click to vote
PPPJ
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents the “Safe-Instantiation Principle,” a new design principle for evaluating extensions of Java with support for generic types. We discuss the GJ and NextGen ...
121
click to vote
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
Designs for distributed systems must consider the possibility that failures will arise and must adopt specific failure detection strategies. We describe and analyze a self-regulat...
105
click to vote
AOSD
2003
ACM
15 years 9 months ago
2003
ACM
Join point interception (JPI), is considered an important cornerstone of aspect-oriented languages. However, we claim that JPI alone does not suffice for a modular structuring of ...
130
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. This paper considers the problem of expanding an EFSM in o...
129
click to vote
TACS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...