OOP class diagrams: formalization and analysis

zbMATH Open1474.68042MaRDI QIDQ5156906FDOQ5156906

Authors:

Publication date: 12 October 2021

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

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)

Cited In (5)

• Title not available (Why is that?)
• An inheritance flow model for class hierarchy analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)