Eerke Boiten's Books

Refinement

Semantics, Languages and Applications

By: John Derrick,Eerke Boiten

Write a review Read reviews Take a Quiz Solve Book Puzzle

Refinement

Semantics, Languages and Applications

By: John Derrick,Eerke Boiten

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

276

Publisher

Springer

Published Date

ISBN 10

3319927116

ISBN 13

9783319927114

Refinement in Z and Object-Z

Foundations and Advanced Applications

By: John Derrick,Eerke A. Boiten

Write a review Read reviews Take a Quiz Solve Book Puzzle

Refinement in Z and Object-Z

Foundations and Advanced Applications

By: John Derrick,Eerke A. Boiten

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: Data refinement and its application to Z Generalisations of refinement that change the interface and atomicity of operations Refinement in Object-Z Modelling state and behaviour by combining Object-Z with CSP Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students. This second edition is a comprehensive update to the first and includes the following new material: Early chapters have been extended to also include trace refinement, based directly on partial relations rather than through totalisation Provides an updated discussion on divergence, non-atomic refinements and approximate refinement Includes a discussion of the differing semantics of operations and outputs and how they affect the abstraction of models written using Object-Z and CSP Presents a fuller account of the relationship between relational refinement and various models of refinement in CSP Bibliographic notes at the end of each chapter have been extended with the most up to date citations and research

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

498

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1447153553

ISBN 13

9781447153559

Refinement in Z and Object-Z

Foundations and Advanced Applications

By: John Derrick,Eerke A. Boiten

Write a review Read reviews Take a Quiz Solve Book Puzzle

Refinement in Z and Object-Z

Foundations and Advanced Applications

By: John Derrick,Eerke A. Boiten

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

498

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1447153553

ISBN 13

9781447153559

Refinement

Semantics, Languages and Applications

By: John Derrick,Eerke Boiten

Write a review Read reviews Take a Quiz Solve Book Puzzle

Refinement

Semantics, Languages and Applications

By: John Derrick,Eerke Boiten

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

276

Publisher

Springer

Published Date

ISBN 10

3319927116

ISBN 13

9783319927114

Mathematics of Program Construction

6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

By: Eerke A. Boiten,Bernhard Möller

Write a review Read reviews Take a Quiz Solve Book Puzzle

Mathematics of Program Construction

6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

By: Eerke A. Boiten,Bernhard Möller

This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Germany, in July 2002. The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book; also presented are one invited paper and the abstracts of two invited talks. Among the topics covered are programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

273

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540438572

ISBN 13

9783540438571

Integrated Formal Methods

4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

By: Eerke Boiten,John Derrick,Graeme Smith

Write a review Read reviews Take a Quiz Solve Book Puzzle

Integrated Formal Methods

4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

By: Eerke Boiten,John Derrick,Graeme Smith

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004. The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

553

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540213775

ISBN 13

9783540213772

Book's by Eerke Boiten

Refinement

Refinement

Refinement in Z and Object-Z

Refinement in Z and Object-Z

Refinement in Z and Object-Z

Refinement in Z and Object-Z

Refinement

Refinement

Mathematics of Program Construction

Mathematics of Program Construction

Integrated Formal Methods

Integrated Formal Methods

Username

Password

Username

Password

Password again

Birthday

Email