The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement (Lecture Notes in Computer Science) free ebook download.

Home : Book details

The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement (Lecture Notes in Computer Science) free ebook download

Category:
Computer Science

Views: 16
Likes: 0

Catalogue

Author(s):	Simon Foster

Date:	2024	Format:	pdf	Language:	English	ISBN/ASIN:	3031671139
Pages:	392	OCR:		Quality:		ISBN13:
Uploader:	alex21s	Upload Date:	12/12/2024 8:09:15 PM

To download click on link in the Links Table below

Description: Click to see full description

3031671139 pdf
3031671139 pdf
This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators.
After a PhD on software verification at the University of Liverpool, Jim has combined a successful career in academia with outstanding industry research, in particular he has been a pioneer in applying mathematical modelling approaches in critical industries. At GEC's Hirst Research Centre he worked on a novel distributed telephone exchange and a service specification of a PABX exchange. In Oxford he collaborated with IBM Hursley Laboratories on modelling of the CICS transaction processing system, one of the most significant software systems ever. As part of the UK government's cybersecurity strategy, he used Z techniques to develop secure office automation systems and a secure version of UNIX. He worked with the Smith Institute and BR Research to verify the safety of railway signalling systems, approaches developed further in safety-critical control systems for the UK Nuclear Installation Inspectorate and British Energy. He provided a technically complete theory of correctness for Z, verifying its soundness from first principles, and completed the verification of Mondex, a smartcard-based electronic cash system, the first application of a general theory of program correctness to an industrial product. He coordinated the experimental work of the Verified Software Initiative, an international grand challenge. More recently he extended the collection of standard Unifying Theories of Programming (UTP) with work on object orientation and hybrid systems. Currently he is working on a UTP theory of probabilistic programs with application to robotics.
Read more

Links Table

	Title	Link	Password	Size (MB)	Thank to	Inform Admin
3285445	Book	https://nitroflare.com/view/2A34211A5763...		0.00	alex21s

Tags: Application Dedicated Essays Formal Lecture Methods Notes Occasion Retirement Woodcock

Title	Link	Password	Size	Reason

Those who downloaded this book also downloaded the following books:
Comments

New comment: