2124 search results - page 328 / 425 » Changing the paradigm of software engineering |
AADEBUG
1997
Springer
14 years 1 months ago
1997
Springer
This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger ...
AC
1994
Springer
14 years 29 days ago
1994
Springer
In this paper we present a simulation package developed to evaluate and optimize both the channel propagation losses and the multipath dispersion of the indoor optical channel. Th...
EUROSYS
2007
ACM
14 years 22 days ago
2007
ACM
The majority of aspect-oriented middlewares supporting dynamic aspect weaving fail to preserve important safety properties while weaving or unweaving a distributed aspect at runti...
AGILEDC
2004
IEEE
14 years 18 days ago
2004
IEEE
Many agile projects do not apply agile practices to their database development. Common wisdom dictates that the entire data model be carefully designed up front and protected from...
AMAST
2004
Springer
14 years 18 days ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...