Derek J. Andrews – författare
Visar alla böcker från författaren Derek J. Andrews. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Semantics of Specification Languages (SoSL)
Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993
Häftad, Engelska, 1994
554 kr
Skickas inom 10-15 vardagar
This volume is based on the proceedings of the International Workshop on Semantics of Specification Languages (SoSL) in Utrecht, the Netherlands, 25-27 October 1993. The aim of the workshop - the first in a proposed series - was to assess various attempts to formally define specification languages, and to identify a programme of work for further investigation. The papers provide a comprehensive overview of research into this important topic, with particular emphasis on recent developments in formal proof systems, proof checking, type consistency, static semantics, ad stepwise developments of specifications. In addition to the submitted papers, the volume includes three invited papers, each of which outlines the development of the semantics of a major specification language.
554 kr
Skickas inom 10-15 vardagar
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 assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.