4476 search results - page 338 / 896 » A flexible framework for engineering |
171
Voted
GCC
2006
Springer
15 years 10 months ago
2006
Springer
Increasingly scientists are using collections of software tools in their research. These tools are typically used in concert, often necessitating laborious and error prone manual ...
199
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
171
Voted
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
We demonstrate how XML and related technologies can be used for code mobility at any granularity, thus overcoming the restrictions of existing approaches. By not fixing a particul...
182
Voted
IWSAPF
2000
15 years 10 months ago
2000
Product families promote reuse of software artifacts such as architectures, designs and implementations. Product family architectures are difficult to create due to the need to sup...
177
click to vote
ARCS
2008
Springer
15 years 9 months ago
2008
Springer
Application details uncertain at design time as well as tolerance against permanent resource defects demand flexibility and redundancy. In this context, we present a strategy for p...