135 search results - page 1 / 27 » EIFFEL: Object-Oriented Design for Software Engineering |
ESEC
1987
Springer
14 years 2 months ago
1987
Springer
JOT
2010
13 years 9 months ago
2010
Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ...
ISORC
1998
IEEE
14 years 3 months ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
OOGRAPHICS
1992
14 years 3 months ago
1992
An object-oriented design is presented for building interactive 3D graphics applications. The design takes the form of a library of classes written in Eiffel, an object oriented l...
ICST
2008
IEEE
14 years 5 months ago
2008
IEEE
Intuition suggests that random testing of object-oriented programs should exhibit a high difference in the number of defects detected by two different runs over the same amount of...