127 search results - page 1 / 26 » A Formal Object-Oriented Analysis for Software Reliability: ... |
FASE
2001
Springer
13 years 9 months ago
2001
Springer
FCA
2005
Springer
13 years 10 months ago
2005
Springer
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
TAP
2008
Springer
13 years 4 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
PDSE
1998
13 years 6 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
CORR
2002
Springer
13 years 4 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...