ATPS

Fundamentos de Programação Estruturada em C
Luiz Fernando Martha
Referências Básicas
• Gries, D., The Science of Programming, Springer-Verlag, New York, 1985.
• Hehl, M.E., Linguagem de Programação Estruturada FORTRAN 77, McGraw-Hill, 1986.
• Arakaki, R. et. alli., Fundamentos de Programação em C, Livros Técnicos e Científicos.
• Kernighan, B.W.; Ritchie, D.M., The C Programming Language, Prentice-Hall, Second Edition,
1988.
• Savitch, W.J., Pascal: An Introduction of the Art and Science of Programming, The Benjamin /
Cummings Publishing Company, 1984.
Introdução
Principal desafio:
“Como escrever eficientemente programas grandes?” Um enfoque:
1. Pegue uma tarefa longa, quebre em pedaços
(blocos) menores.
2. Repita 1. até que os pedaços sejam unidades inteligíveis e fáceis de serem manipuladas.
Programa bem projetado:
Unidades pequenas, independentes e bem documentadas.
Programação estruturada:
Formaliza a idéia de dividir em blocos. Isto força o programador a saber exatamente o estado do programa antes e depois de cada bloco e evita o chamado “código espaguete”, onde não se tem noção em que estágio da execução o programa se encontra em uma determinada instrução. Diagrama de blocos:
• Utilizado para mostrar graficamente o fluxo de controle de um programa.
• Adotado a notação de diagrama de blocos
N-S (Nassi-Schneiderman) [Arakaki, Apêndice
B].
Comentários em C:
/* Este é um comentário no meio de um código em C */
Programação seqüencial
O fluxo de controle de um programa estruturado é feito de bloco em bloco, seqüencialmente, onde cada bloco pode ser:
• uma instrução;
• um conjunto de instruções;
• um aninhamento de outros blocos;
• uma rotina (função);
• um programa.
Diagrama N-S:
Bloco 1
Bloco 2
Bloco n
• • •
Para se poder garantir que o fluxo de controle é feito de forma seqüencial, associado a cada bloco existe uma asserção de pré-condição e uma asserção de pós-condição:
/* pre: asserção de pré-condição */