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)

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)