Languages for formalizing, visualizing and verifying software architectures

DOI10.1016/S0096-0551(01)00013-3MaRDI QIDQ4329555zbMATH OpenOpenAlexFDO

Authors Rob van Ommering, René Krikhaar, L. M. G. Feijs

Publication date 1 May 2002

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0096-0551(01)00013-3

zbMATH Keywords

formalizationverificationvisualization

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Architecture des logiciels et langages de modélisation
• scientific article; zbMATH DE number 1708121
• Semantics and Verification of a Language for Modelling Hardware Architectures
• scientific article; zbMATH DE number 517385

Cited in

(7)

• A Formal Approach to Security Architectures
• scientific article; zbMATH DE number 2006486 (Why is no real title available?)
• scientific article; zbMATH DE number 2080777 (Why is no real title available?)
• Modelling and verification of high-order typed software architecture and case study
• Architecture diagrams: a graphical language for architecture style specification
• SOFSEM 2005: Theory and Practice of Computer Science
• APML: an architecture proof modeling language

This page was built for publication: Languages for formalizing, visualizing and verifying software architectures

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