Modelling and verification of high-order typed software architecture and case study

DOI10.13328/J.CNKI.JOS.005749MaRDI QIDQ5209963zbMATH OpenFDO

Authors Qiqige Wuniri, Shilong Ma, Jianghua Lv, Siqing Zhang, Xiaoping Li

Publication date 22 January 2020

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.005749

zbMATH Keywords

software architecturetype checkingtyping ruleverification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Languages for formalizing, visualizing and verifying software architectures
• A modeling approach to dynamic software architecture
• scientific article; zbMATH DE number 2079671
• Software model checking
• scientific article; zbMATH DE number 2050824

Cited in

(1)

• Type theory based domain data modeling and verification with case study

This page was built for publication: Modelling and verification of high-order typed software architecture and case study

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