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

DOI10.13328/J.CNKI.JOS.005749zbMATH Open1449.68019MaRDI QIDQ5209963FDOQ5209963

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

Publication date: 22 January 2020

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

zbMATH Keywords

verificationtype checkingsoftware architecturetyping rule

Mathematics Subject Classification ID

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

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)