516 search results - page 13 / 104 » Design Patterns for Object-Oriented Software Development (Tu... |
APAQS
2001
IEEE
13 years 11 months 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 ...
TOOLS
1999
IEEE
14 years 4 days ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...
JOT
2007
13 years 7 months ago
2007
Demand for quality software has undergone with rapid growth during the last few years. This is leading to an increase in the development of metrics for measuring the properties of...
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 ...
ISSS
2002
IEEE
14 years 24 days ago
2002
IEEE
The object-oriented design process has been a hot topic in software development since it will improve product quality and productivity significantly, which is also a major issue i...