Roger C. Shaw - Böcker
Visar alla böcker från författaren Roger C. Shaw. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
4th Refinement Workshop
Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge
Häftad, Engelska, 1991
554 kr
Skickas inom 10-15 vardagar
This volume contains the papers presented at the 4th Refinement Workshop, organized by the Formal Aspects group of the British Computer Society, and held in Cambridge on January 9-11, 1991. "Refinement" is the term used to describe the systematic and formal methodology of specifying hardware and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hardware and software is now widely appreciated among both academics and many workers in industry, although such methods - and in particular their application to industrial-scale problems - are still in their infancy. This workshop brought together European workers in the field to present tutorials on the state of the art in both theory and industrial applications. The papers cover the development of both sequential and concurrent systems and the theoretical ideas and support tools for their effective use. This volume will be of interest to researchers in formal methods and software engineers wanting to keep track of developments in the application of formal methods in industry.
5th Refinement Workshop
Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992
Häftad, Engelska, 1992
554 kr
Skickas inom 10-15 vardagar
Refinement is the term used to describe systematic and formal methods of specifying hardware and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard-and software is widely appreciated by academics and workers in industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy. This volume contains the papers presented at the 5th Refinement Workshop held in London in January 1992. Its theme was the theory and practice of software specifications, which is the transformation of formal software specifications into more correct specifications, designs and codes. This has been an important area of research for the last 5 years and the workshop addressed specific issues and problems related to it.Among the topics discussed in this volume are: the role of refinement in software development, parallel designs and implementations, methods and tools for verifications of critical properties, refinement and confidentiality, concurrent processes as objects, the compliance of Ada programmes with Z specifications and a tactic-driven refinement tool.