Exercício de Engenharia de Software 79

Prévia do material em texto

87 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
27.2 Você recebeu a tarefa de 'vender' técnicas de especificação formal para um 
organização de desenvolvimento de software. Descreva como você faria 
explicando as vantagens das especificações formais para os céticos e praticantes 
engenheiros de software. 
 
 
Para explicar as vantagens da especificação formal para engenheiros praticantes, é 
importante focar no que isso traz para a prática de desenvolvimento de software, em vez de 
do que em vantagens mais abstratas, como a capacidade de analisar matematicamente o 
especificação. As vantagens que podem ser destacadas são: 
1. A análise detalhada dos requisitos necessários para produzir um 
especificação formal. Isso resulta na descoberta e resolução de 
ambiguidades e erros numa fase inicial do processo. 
2. A especificação inequívoca de interfaces. Problemas de interface são um dos 
os principais problemas na integração do sistema e uma redução em tais problemas 
pode reduzir significativamente os custos de software. 
 
3. A capacidade de misturar especificações formais e informais. Todo o sistema 
não precisam ser formalmente especificadas, mas apenas as partes onde o maior benefício pode 
ser ganho. 
 
 
 
27.4 Um tipo de dados abstrato que representa uma pilha possui as seguintes operações 
associado a isso: 
 
Novo: 
Empurrar: 
 
Principal: 
Retrair: 
pilha modificada 
Vazio: 
 
Traga uma pilha à existência 
Adicione um elemento ao topo da pilha 
Avalie o elemento no topo da pilha 
Remova o elemento superior da pilha e retorne o 
Verdadeiro se não houver elementos na pilha