Sciweavers

2154 search results - page 285 / 431
» Evidence-based software production
Sort
View
ICSE
2001
IEEE-ACM
15 years 3 months ago
Comparing Frameworks and Layered Refinement
Object-oriented frameworks are a popular mechanism for building and evolving large applications and software product lines. This paper describes an alternative approach to softwar...
Richard Cardone, Calvin Lin
APAQS
2000
IEEE
15 years 3 months ago
A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
Claudia Pons, Maximo Prieto, Luis Olsina
MA
1999
Springer
138views Communications» more  MA 1999»
15 years 3 months ago
ADK--Building Mobile Agents for Network and Systems Management from Reusable Components
Mobile agents, programs that move within a system performing a set of tasks, are an active field of research. The focus of current research, however, is on the development of exe...
Thomas Gschwind, Metin Feridun, Stefan Pleisch
GPCE
2007
Springer
15 years 3 months ago
Generative metaprogramming
Recent advances in Software Engineering have reduced the cost of coding programs at the expense of increasing the complexity of program synthesis, i.e. metaprograms, which when ex...
Salvador Trujillo, Maider Azanza, Oscar Día...
125
Voted
CIBSE
2008
ACM
15 years 1 months ago
Using Refinement Checking as System Testing
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
Cristiano Bertolini, Alexandre Mota