A rational design process: how and why to fake it

摘要: Software Engineers have been searching for the ideal software development process: a process in which programs are derived from specifications same way that lemmas and theorems axioms published proofs. After explaining why we can never achieve it, this paper describes such process. The is described terms of sequence documents should be produced on to producing software. We show serve several purposes. They provide basis preliminary design review, as reference material during coding, guide maintenance programmer his work. discuss how these constructed using principles design. resulting documentation worth much more than "afterthought" usually produced. If take care keep all up-to-date, create appearance fully rational