Verwandte Artikel zu Refinement in Z and Object-Z: Foundations and Advanced...

Refinement in Z and Object-Z: Foundations and Advanced Applications - Hardcover

Derrick, John; Boiten, Eerke A.

 
9781447153542: Refinement in Z and Object-Z: Foundations and Advanced Applications
Hardcover
ISBN 10: 1447153545 ISBN 13: 9781447153542
Verlag: Springer, 2013

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

John Derrick works in the field of formal methods and software engineering. He has interests across a range of subjects including: refinement, verification of concurrent algorithms, integrated formal methods, testing, and distributed systems. He has published over 140 journal and conference articles, edited a number of collected works and research monographs. He currently works at the University of Sheffield, where he is Vice President and Head of the Faculty of Science.

Eerke Boiten has been doing research in formal methods for 30 years, working on topics such as program transformation, viewpoint specification, and in particular: refinement. He has published some 70 refereed journal articles and conference papers as well as a research monograph in this area. In recent years, he has branched out into computer security and privacy, and engages widely on those topics beyond the academic circles. He is currently Professor of Cyber Security at De Montfort University, Leicester, UK.

Von der hinteren Coverseite

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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
1447153545
ISBN 13 
9781447153542
Einband
Gebundene Ausgabe
Auflage
2
Anzahl der Seiten
510
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland