5668 search results - page 1102 / 1134 » The case for software evolution |
146
Voted
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
122
Voted
FOSSACS
2005
Springer
15 years 8 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
107
Voted
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
143
Voted
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
We present a points-to analysis technique suitable for environments with small time and memory budgets, such as just-in-time (JIT) compilers and interactive development environmen...
119
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...