84 search results - page 2 / 17 » Architecture-Centric Object-Oriented Design Method for Multi... |
ASWEC
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
FMOODS
2007
13 years 6 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 ...
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
Inheritance and polymorphism are key mechanisms of the object-oriented approach that enable designers to develop systems in an incremental manner. In this paper, we develop techni...
WORDS
2003
IEEE
13 years 10 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
ICSM
1999
IEEE
13 years 9 months ago
1999
IEEE
The success of an object-oriented software development project highly depends on how well the designers can capture the Hot Spots of the application domain, that is, those aspects...