11200 search results - page 40 / 2240 » An Object-oriented Optimization System |
ICSM
2005
IEEE
14 years 2 months ago
2005
IEEE
Surprising as it may seem, many of the early adopters of the object-oriented paradigm already face a number of problems typically encountered in large-scale legacy systems. Softwa...
APAQS
2001
IEEE
14 years 12 days ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
FASE
2000
Springer
14 years 11 days 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...
TOOLS
1991
IEEE
14 years 8 days ago
1991
IEEE
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
APSEC
2002
IEEE
14 years 1 months ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...