Proof transformations for evolutionary formal software development

DOI10.1007/3-540-45719-4_30MaRDI QIDQ2996126zbMATH OpenOpenAlexFDO

Authors Axel Schairer, Dieter Hutter

Publication date 6 May 2011

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45719-4_30

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Transformations of specifications and proofs to support an evolutionary formal software development.
• scientific article; zbMATH DE number 1617292
• Property transformation under specification change
• scientific article; zbMATH DE number 1980916
• scientific article; zbMATH DE number 1614667

Cited in

(7)

• Security of multi-agent systems: a case study on comparison shopping
• scientific article; zbMATH DE number 1617292 (Why is no real title available?)
• scientific article; zbMATH DE number 1980916 (Why is no real title available?)
• scientific article; zbMATH DE number 2016095 (Why is no real title available?)
• Deduction as an engineering science
• Towards Formal Proof Script Refactoring
• Transformations of specifications and proofs to support an evolutionary formal software development.

This page was built for publication: Proof transformations for evolutionary formal software development

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