Tim Denvir - Böcker
Visar alla böcker från författaren Tim Denvir. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
5th Refinement Workshop
Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992
Häftad, Engelska, 1992
551 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.
Formal Aspects of Measurement
Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
Häftad, Engelska, 1992
551 kr
Skickas inom 10-15 vardagar
This volume is based on the proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, held at South Bank University in May 1991. Research into software measurement is becoming increasingly important as the range of theories and techniques available to software engineers expands. This workshop was distinguished by the fact that it brought together many of the leading researchers in this area, both from Europe and the USA. The resulting volume contains the 8 papers presented at the meeting, along with 5 additional papers which offer further insight into the topics raised there. It also contains a significant contribution from the NATO-funded "Grubstake Group", which was set up in 1988 to promote formalism in software measurement. The volume has been designed to reflect 4 different formal aspects of measurement: section 1 discusses principles of measurement; section 2 looks at how these principles are reflected in the design and implementation of actual measurements; section 3 deals with measurement validation and verification; and section 4 discusses the mathematical and logical foundations, which are an underlying theme in all the preceding sections.Among the actual topics covered are: software measurement - why a formal approach?; complexity measures on trees; multi-dimensional software metrics; algebraic models and metric validation; properties of software measures; specifying internal, external and predictive software metrics; and measurement theory and software metrics. "Formal Aspects of Measurement" provides a snapshot of recent research on this increasingly important field. It should be of interest to postgraduate students, and researchers in formal and mathematical methods.
FME '94: Industrial Benefit of Formal Methods
Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Häftad, Engelska, 1994
1 095 kr
Skickas inom 10-15 vardagar
This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value.