564 search results - page 4 / 113 » An Object Oriented Design Method for Reconfigurable Computin... |
ECOOPW
1998
Springer
13 years 12 months ago
1998
Springer
Adaptability has become one of the most important research areas in concurrent object-oriented systems in recent years. It tries to cope with system evolution by adding/replacing ...
CSUR
2008
13 years 7 months ago
2008
on the methodologies and processes, but instead provide an abstract and structured description in a way that facilitates their elaborate analysis for the purposes of improving unde...
ECOOPW
1998
Springer
13 years 12 months ago
1998
Springer
COMPSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...
FMOODS
2007
13 years 9 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...