An object semantic model of SOFL

MaRDI QIDQ4494245zbMATH OpenFDO

Authors Jin-Song Dong, Shaoying Liu

Publication date 10 August 2000

zbMATH Keywords

structured-object-based formal language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A formal approach to object-oriented software engineering
• A formal semantics of data flow diagrams
• Formal concepts for an integrated internal model of the UML
• Object-oriented modelling and specification using SHE
• scientific article; zbMATH DE number 1860665

Cited in

(1)

• scientific article; zbMATH DE number 814800 (Why is no real title available?)

This page was built for publication: An object semantic model of SOFL

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