An inheritance-based technique for building simulation proofs incrementally
Proceedings of the 22nd international conference on Software engineering
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Increasing client-side confidence in remote component implementations
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Validating software pipelining optimizations
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Theories, Implementations, and Transformations
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Thinking Tools for the Future of Computing Science
Informatics - 10 Years Back. 10 Years Ahead.
Wanted: a compositional approach to concurrency
Programming methodology
Theoretical Computer Science
Alloy as a Refactoring Checker?
Electronic Notes in Theoretical Computer Science (ENTCS)
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Transforming Data by Calculation
Generative and Transformational Techniques in Software Engineering II
A Single Complete Relational Rule for Coalgebraic Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Data Refinement of Invariant Based Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstraction and refinement for local reasoning
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Property transformation under specification change
Frontiers of Computer Science in China
Abstract local reasoning for program modules
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Decoupling in object orientation
FM'05 Proceedings of the 2005 international conference on Formal Methods
Pointfree factorization of operation refinement
FM'06 Proceedings of the 14th international conference on Formal Methods
| Hi-index | 0.00 |
From the Publisher:This is a comprehensive and systematic account of the important and highly applicable method of data refinement, which is one of the most powerful formal methods for system development. The authors concentrate on principles and begin with an explanation of the fundamental notions behind data refinement and simulation. Accessibility and comprehension are emphasised in order to guide newcomers to the area. The remaining chapters are comparitive in nature, looking at a variety of formal methods and how they may be best applied.The book is self-contained, going from advanced undergraduate level but taking the reader to the state-of-the-art in methods for proving simulation.