• Sign In
  • Help
  • My Basket0
Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990 - Workshops in Computing (Paperback)
  • Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990 - Workshops in Computing (Paperback)
zoom

Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990 - Workshops in Computing (Paperback)

(editor)
£69.99
Paperback 389 Pages / Published: 31/07/1991
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket

Check Marketplace availability

The approach described in [JonSl, JonS3a, JonS3b] set out to extend operation decom- position methods for sequential programs - such as are used in VDM [Jon90] - to cover concurrent shared-variable systems. The essential step in [JonSl] was to recognise that 1 inter/erence had to be specified. This is necessary in order to achieve a notion of compo- sitionality - contrast [Owi75]. Rather than the many erudite definitions of composition- ality (e. g. [ZwiSS]), the view taken here is that, when a development task is decomposed into sub-tasks, these must be simpler than the original 'task. This is easy to achieve for sequential programs: decomposing a specified operation S into (Sl; S2), the specifica- tions of the Sj should neither include unnecessary information from each other nor from the context (i. e. S). An interesting discussion of the 'Quest for Compositionality' (in the context of concurrency) is contained in [dRS5, dRS6]. The rely/guarantee idea provided an existence proof that specifications and developments could be made powerful enough to cope with some forms of interference. The work initially attracted little attention but 2 3 there have recently been some critiques and attempts to extend the work * Most notably, Ketil St~len's thesis [St~90] addresses the main shortcomings of [JonSl]: the fact that no attempt had been made to handle synchronization has been remedied by adding a wait condition and other limitations of expressiveness have been shown to succumb to the judicious use of auxiliary variables.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540196723
Number of pages: 389
Weight: 687 g
Dimensions: 216 x 138 x 21 mm

You may also be interested in...

Continuous Delivery
Added to basket
£43.99
Hardback
Agile Product Management with Scrum
Added to basket
The Art of Unit Testing
Added to basket
Designing Data-Intensive Applications
Added to basket
Refactoring
Added to basket
£47.99
Hardback
User Story Mapping
Added to basket
£27.99
Paperback
Impact Mapping
Added to basket
£9.99
Paperback
User Stories Applied
Added to basket
£40.99
Paperback
Succeeding with Agile
Added to basket
£38.99
Paperback
Concise Guide to Databases
Added to basket
Clean Code
Added to basket
£36.99
Paperback
The Mythical Man-Month
Added to basket
The Book of Satoshi
Added to basket
Kanban
Added to basket
£33.55
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.