738 search results - page 9 / 148 » Object Orientation and Formal Techniques |
150
click to vote
OOPSLA
1999
Springer
15 years 10 months ago
1999
Springer
Inspections can be used to identify defects in software artifacts. In this way, inspection methods help to improve software quality, especially when used early in software develop...
159
click to vote
ER
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The integration of statecharts is part of an integration methodology for object oriented views. Statecharts are the most important language for the representation of the ...
160
click to vote
ECOOPW
1997
Springer
15 years 10 months ago
1997
Springer
In this paper, we demonstrate how a precise semantics of object-oriented modeling techniques can be achieved, and what the possible bene ts are. We outline the main modeling techni...
141
click to vote
WSC
1998
15 years 7 months ago
1998
In this paper, an efficient simulation environment that utilizes compiler techniques to speed up simulation is presented. The method is based on the utilization of flexible, proce...
154
click to vote
ICSM
2005
IEEE
15 years 11 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...