Specification architectures

MaRDI QIDQ2906955zbMATH OpenFDO

Authors Kenneth J. Turner, Richard O. Sinnott

Publication date 5 September 2012

zbMATH Keywords

architectural semanticsspecification architectures

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Architectural specifications in CASL
• scientific article; zbMATH DE number 1368954
• Logics of specification languages
• scientific article; zbMATH DE number 1262881
• scientific article; zbMATH DE number 2079671

Cited in

(1)

• Recent Trends in Algebraic Development Techniques

This page was built for publication: Specification architectures

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