Jim Davies

Specification and Proof in Real Time CSP

• Broschiertes Buch

Produktbeschreibung

The research contained in this book represents work on the specification and verification of real-time systems using CSP.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 200
• Erscheinungstermin: 8. November 2011
• Englisch
• Abmessung: 244mm x 170mm x 11mm
• Gewicht: 355g
• ISBN-13: 9781107403864
• ISBN-10: 1107403863
• Artikelnr.: 34448555

Autorenporträt

Prof.JimDaviesisProfessorofSoftwareEngineeringandthedirectorofthe Software Engineering Programme in the Department of Computer Science, University of Oxford. He is a Fellow of Kellogg College. His research interests include the development of automatic generation of systems from re-usable models of structure and functionality, and he is the Principal Investigator on CancerGrid, a consortium to develop open standards for clinical cancer informatics.

Inhaltsangabe

1. The language of CSP
2. The timed failure model
3. Recursive processes
4. Specification
5. Proof
6. Structuring specification
7. Case study
8. Broadcast information
9. Discussion.