Prototyping versus Formal Development

摘要

Guidance on safety-critical development usually advocates very formal development methods, but heavyweight methods can be expensive, and on many projects informal development also plays a part. This paper looks at the advantages and disadvantages of various development styles, and discusses how they can be blended to create a methodology which is both safe and practical.