scientific article; zbMATH DE number 2079671

MaRDI QIDQ4471718zbMATH OpenFDO

Authors Piotr Hoffman

Publication date 30 July 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2267/22670152.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Verifying generative Casl architectural specifications.
• Architectural specifications in CASL
• scientific article; zbMATH DE number 1693525
• Hierarchical specification and verification of architectural design patterns
• scientific article; zbMATH DE number 1140074

Cited in

(12)

• Amalgamation in the semantics of CASL
• Hierarchical specification and verification of architectural design patterns
• Interactive verification of architectural design patterns in FACTum
• On relating functional specifications to architectural specifications: A case study
• Lambda expressions in Casl architectural specifications
• Specification architectures
• scientific article; zbMATH DE number 1140074 (Why is no real title available?)
• scientific article; zbMATH DE number 1949589 (Why is no real title available?)
• scientific article; zbMATH DE number 1929964 (Why is no real title available?)
• Modelling and verification of high-order typed software architecture and case study
• Verifying generative Casl architectural specifications.
• APML: an architecture proof modeling language

This page was built for publication:

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