Current Practice: Issues and Guidelines

  • C. L. N. Ruggles


Standards are perceived as important for industry at large, and for software development in particular. They were singled out for special mention in a recent report by the Cabinet Office’s Advisory Committee for Applied Research and Development (ACARD) [ACA86]. Yet they come in for much criticism. All too frequently, they fail to do the job that they were intended for. The same is, of course, true of software itself, and in this area the ACARD report also had some strong recommendations, foremost amongst which were the exploitation of software components and the use of formal methods. Could formal methods also have a similar role to play in the development and use of standards?


Natural Language Formal Method Formal Description Formal Notation National Body 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© British Computer Society 1990

Authors and Affiliations

  • C. L. N. Ruggles
    • 1
  1. 1.Department of Computing StudiesUniversity of LeicesterLeicesterUK

Personalised recommendations