1528 search results - page 249 / 306 » Object-Oriented Software Composition |
EUROMICRO
2009
IEEE
14 years 1 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
WADT
1998
Springer
14 years 1 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
AADEBUG
2005
Springer
14 years 1 days ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
EMSOFT
2008
Springer
13 years 12 months ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
AVI
2010
13 years 11 months ago
2010
Software tools are used to compare multiple versions of a textual document to help a reader understand the evolution of that document over time. These tools generally support the ...