OOP class diagrams: formalization and analysis

MaRDI QIDQ5156906zbMATH OpenFDO

Authors

Publication date 12 October 2021

zbMATH Keywords

object-oriented programmingcloneclass diagramformal models of OOPintersection of class specificationsjunction of class specifications

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• A graph-based semantics for object-oriented programming constructs
• Object-oriented programming
• A new method of systemological analysis coordinated with the object-oriented design procedure. I
• Graph transformations for object-oriented refinement
• Publication:4896250

Cited in

(5)

• scientific article; zbMATH DE number 1931720 (Why is no real title available?)
• An inheritance flow model for class hierarchy analysis
• scientific article; zbMATH DE number 5065677 (Why is no real title available?)
• scientific article; zbMATH DE number 1890101 (Why is no real title available?)
• Class-diagrams for abstract data types

This page was built for publication: OOP class diagrams: formalization and analysis

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