Decision based examination of object-oritented methodology using JML

MaRDI QIDQ3580788zbMATH OpenFDO

Authors Szabolcs Márien

Publication date 13 August 2010

Full work available at URL https://eudml.org/doc/230082

zbMATH Keywords

object-oritented methodology

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1690141
• scientific article; zbMATH DE number 2109379
• scientific article; zbMATH DE number 1262887
• Object-oriented metrics in practice. Using software metrics to characterize, evaluate, and improve the design of object-oriented systems. With foreword by Stephan Ducasse.
• Metrics for maintainability of class inheritance hierarchies

Describes a project that uses

Uses Software

• JML

This page was built for publication: Decision based examination of object-oritented methodology using JML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3580788)