Skip to main content

Currently Skimming:

3 Summary of Closing Session
Pages 21-24

The Chapter Skim interface presents what we've algorithmically identified as the most significant single chunk of text within every page in the chapter.
Select key terms on the right to highlight them within pages of the chapter.


From page 21...
... Some suggested that even consumer software was an appropriate target for certification, as it has a substantial impact on the quality of life, while others advocated certification of operating systems and development platforms. Some participants cautioned that too-strict certification requirements could have negative impacts, such as the expenditure of resources on the production of ultimately unhelpful documents.
From page 22...
... Several participants contended that formal methods have a role to play in certification and that although there are limits to what they can achieve, "we should continue the long march of formal methods." It was suggested that scale and adoptability should be the primary aim of continued research in this area, with a focus on "small theorems about large programs." There was also controversy over the maturity of certification techniques and of software development in general. Some felt that generally reliable software can be achieved using existing software development techniques but that certification could be used to "raise the bar." Others emphasized the need for more research on the use of tools and techniques to increase software quality.
From page 23...
... Changes will take a long time to implement, and so the goal should be to set out a road map. It is important to clearly distinguish between what can be done now and what is desirable but requires technology that does not yet exist.


This material may be derived from roughly machine-read images, and so is provided only to facilitate research.
More information on Chapter Skim is available.