15779 search results - page 2741 / 3156 » Change-oriented software engineering |
138
Voted
MIDDLEWARE
2007
Springer
15 years 9 months ago
2007
Springer
It is widely accepted that middleware is an important architectural element which facilitates the development of software systems. In this paper we propose a novel approach for de...
116
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
The impact of user interface quality has grown in software systems engineering, and will grow further with upcoming new paradigms such as Ambient Intelligence or Ubiquitous Comput...
138
Voted
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
129
Voted
QOSA
2007
Springer
15 years 9 months ago
2007
Springer
Different organizations or organizational units are likely to store and maintain different types of information about their software architectures. This inhibits effective manageme...
132
click to vote
SEKE
2007
Springer
15 years 9 months ago
2007
Springer
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...