Current Practice: Issues and Guidelines
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?
KeywordsNatural Language Formal Method Formal Description Formal Notation National Body
Unable to display preview. Download preview PDF.