Will CASE help me develop more reliable software?

The production of highly reliable engineering software using CASE needs some specific techniques which are not in common use in conventional software development. The authors look briefly at some of these techniques and the automated tools needed to support them. These techniques on their own are not sufficient, however: all the usual issues of project planning, coordination, configuration management, quality assurance and so on must also be properly handled, to create an environment in which misunderstandings and mistakes are avoided and faults can be detected. The discussion of these issues is based on experience of auditing a commercial project in which many problems arose in introducing CASE. Automated tools are needed for developing highly reliable software and the authors highlight some of the pitfalls which must be avoided if their use is to be successful