Who Builds a House without Drawing Blueprints?

The author reflects on the process of programming, focusing on the the need for software specifications in computer programming. Topics include the author's assertion that programmers need to think about their programs in broader terms than just code; the type of specifications that should be writte...

Descripción completa

Detalles Bibliográficos
Publicado en:Communications of the ACM Vol. 58; no. 4; pp. 38 - 42
Autor principal: Lamport, Leslie
Formato: Artículo
Publicado: Association for Computing Machinery Apr2015
Materias:
Acceso en línea:Ver este registro en EBSCOhost
Descripción
Sumario:The author reflects on the process of programming, focusing on the the need for software specifications in computer programming. Topics include the author's assertion that programmers need to think about their programs in broader terms than just code; the type of specifications that should be written for varying degrees of project complexity, such as multithreaded or distributed programs; and the need for specification-writing classes in higher education. The use of mathematics and mathematical notation in checking and testing programs is also discussed.