5228 search results - page 853 / 1046 » Case Studies for Software Engineers |
273
click to vote
CC
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
168
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
Pervasive computing calls for suitable middleware and programming models to deal with large software systems dived in dynamic mobile network environments. Here we present the prog...
164
click to vote
WECWIS
2009
IEEE
16 years 1 months ago
2009
IEEE
— The challenges of establishing a global information and document exchange system are described in the case study of Jet Aviation. The context is the improvement of its spare pa...
176
click to vote
SASO
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper introduces MOCAS (Model Of Components for Adaptive Systems), a generic state-based component model which enables the self-adaptation of software components together wit...
148
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Design pattern density is a metric that measures how much of an object-oriented design can be understood and represented as instances of design patterns. Expert developers have lo...