Wyniki wyszukiwania:

SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosophy of Utrecht University with financial support from the Nationale Faciliteit Informatica of the Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO), and under the auspices of the British Computer Society'S specialist group in Formal Aspects of Computing Science (BCS FACS). The concern of the workshop was the semantics of specification languages, and the issues closely related to this...

Passing the Torch is a series of interviews with established sportswomen across a variety of disciplines, whether in their prime or post competition, and gives a lively insight into their initial motivation, the highs and lows of competing, the physical and mental benefits of exercise and the camaraderie of female sport. Initiated by Dame Mary Peters, who has inspired a generation of athletes, to help to ensure her passion for sport is passed down to young people for many years to come. Foreword by HRH The Princess Royal

A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is...