Property transformation under specification change

DOI10.1007/S11704-010-0112-5MaRDI QIDQ352027zbMATH OpenOpenAlexFDO

Authors Zheng Fu, Graeme Smith

Publication date 4 July 2013

Published in Frontiers of Computer Science in China (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11704-010-0112-5

zbMATH Keywords

formal methodsrefinementtemporal logicsystem propertyZ

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• Algebra and Coalgebra in Computer Science
• scientific article; zbMATH DE number 3936487
• Formal Methods for Components and Objects
• Properties of carry value transformation
• CTL-property transformations along an incremental design process
• Some Properties of Conversion

Cites work

• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 2013587 (Why is no real title available?)
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• Data Refinement
• Engineering and theoretical underpinnings of retrenchment
• Myths about the mutual exclusion problem
• Specification by interface separation
• ZB 2005: Formal Specification and Development in Z and B

Cited in

(10)

• Incremental requirement specification for evolving systems
• Algebra and Coalgebra in Computer Science
• Phase Selective Oscillations in Two Noise Driven Synaptically Coupled Spiking Neurons
• Proof transformations for evolutionary formal software development
• A theory of change for prioritised resilient and evolvable software systems
• scientific article; zbMATH DE number 1708004 (Why is no real title available?)
• Formal Methods for Components and Objects
• Evolving Specification Engineering
• Transformations of specifications and proofs to support an evolutionary formal software development.
• scientific article; zbMATH DE number 1617292 (Why is no real title available?)

Describes a project that uses

Uses Software

• Z

This page was built for publication: Property transformation under specification change

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