1528 search results - page 34 / 306 » Object-Oriented Software Composition |
JOT
2006
13 years 7 months ago
2006
The increasing importance of software measurement has led to development of new software measures. Many metrics have been proposed related to various constructs like class, coupli...
EUROMICRO
2003
IEEE
14 years 1 months ago
2003
IEEE
The quality of a test suite can be measured using mutation analysis. Groups of OO mutation operators are proposed for testing object-oriented features. The OO operators applied to...
WER
1999
Springer
13 years 12 months ago
1999
Springer
We present the overall design of an object-oriented library for use when developing tracing capable applications. The library is implemented as java classes and consists of de niti...
VL
1993
IEEE
13 years 11 months ago
1993
IEEE
This paper describes the object-oriented development of ProtoHyperflow, a data flow visual language. We demonstrate how object-oriented software construction principles can be use...
FMCO
2006
Springer
13 years 11 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...