Ponad 4 miliony tytułów w języku angielskim i innych językach! Odkryj swoją nową historię już dziś!

Z User Workshop, Oxford 1990

Name: Z User Workshop, Oxford 1990
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540196723
Price: 214.72 PLN
Availability: InStock

Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990

Autor: J.E. Nicholls

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

214.72 zł

The approach described in [JonSl, JonS3a, JonS3b] set out to extend operation decom position methods...

Informacje o książce

Autor

J.E. Nicholls

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

1991

strony

389

EAN

9783540196723

ISBN

3540196722

Enbook ID

02006899

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

688

Wymiary

170 x 244 x 22

Pełny opis

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.

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Z User Workshop, Oxford 1990

Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990

Informacje o książce

Pełny opis

Możesz być zainteresowany

Mathematics Grade 2 Pupil's Book

The Man Born to Be King: Wade Annotated Edition

Practice of the Presence of God

Read with Oxford: Stage 5: Winnie and Wilbur: Winnie's Awful Auntie

Cutting to the Chase

Pupils of Peter the Great

History of Worcester in the War of the Rebellion

WJEC Physics for AS Level: Study and Revision Guide

Action

Cloth in West African History

Get off Your Ass

Fundamentals of Boundary Surveying, 1

Complete Guide to Living Well Gluten-Free

Differential Geometry, Peniscola 1985

Klienci, którzy kupili tę książkę, kupili również

Toute la cuisine de Paul Bocuse

ACTA Germanica

Bordel de Dieu

Karl Marx

Synopsis Historiae Universalis, Methodo Erotematica Exposita (1771)

Spiral Tower

«misteri» di Roma. Personaggi e stereotipi della Roma ottocentesca