Applications Of Formal Methods

By Michael G Hinchey, J.P. Bowen

Interest in formal methods continues to grow; unfortunately myths and misconceptions regarding their benefits and application continue to grow also. Applications of Formal Methods is a collection o...

Z User Workshop, London 1992: Proceedings Of The Seventh Annual Z User Meeting, London 14-15 December 1992

By J.P. Bowen, Z User Meeting (7th 1992 London, England), Z User Workshop, J.P. Bowen And J.E. Nicholls (Eds.)

1 online resource (viii, 350 pages) The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used...

Z User Workshop, Cambridge 1994: Proceedings Of The Eighth Z User Meeting, Cambridge 29-30 June 1994

By J.P. Bowen, Z User Workshop (8th 1994 Cambridge, England), Z User Workshop

Towards Verified Systems

By J.P. Bowen, Jonathan Bowen, Jonathan Bowen (Eds.)

As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially for safety-critical applications where...

Z User Workshop London 1992

By J.P. Bowen, J.E. Nicholls

Electronic Visualisation in Arts and Culture

By Jonathan P. Bowen, Suzanne Keene, Kia Ng

Presenting the latest technological developments in arts and culture, this volume demonstrates the advantages of a union between art and science. Electronic Visualisation in Arts and Culture is pre...

Formal Specification and Documentation Using Z

By Jonathan Bowen

Industrial-Strength Formal Methods In Practice (Formal Approaches To Computing And Information Technology (FACIT))

By Michael G Hinchey, J.P. Bowen, Jonathan P. Bowen, Michael G. Hinchey (Auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (Eds.)

**Industrial Strength Formal Methods in Practice** provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is writ...

Z User Workshop, London 1992

By J.P. Bowen, Z User Meeting (7th 1992 London, England), Z User Workshop, J.P. Bowen And J.E. Nicholls (Eds.)

1 online resource (viii, 350 pages) The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used...

Z User Workshop, Cambridge, 1994

By Z User Workshop 8th 1994 Cambridge England