Contains the papers from a Refinement Workshop, organized by the British Computer Society in Cambridge, 1991. "Refinement" describes the systematic and formal methodology of specifying hardware and software and transforming the specifications into designs and implementations.
Contains the papers from a Refinement Workshop, organized by the British Computer Society in Cambridge, 1991. "Refinement" describes the systematic an...
Refinement is the term used to describe systematic and formal methods of specifying hard- 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, 8-10 January 1992. Its theme was the theory and practice of software...
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into design...
