2700 search results - page 297 / 540 » The role of abstraction in software engineering |
173
click to vote
FASE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. To be able to build systems by composing a variety of components dynamically, adding and removing as required, is desirable. Unfortunately systems with evolving architect...
205
click to vote
SEM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Ubiquitous computing is a challenge for the design of middleware. The reasons are resource constraints, mobility, heterogeneity, etc., just to name a few. We argue that s...
164
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
147
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
198
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...