Please enable JavaScript.
Coggle requires JavaScript to display documents.
Capítulo 2 - Software Specification (Linguagens de implementação de…
-
-
1 - Escreva de forma informal as funcionalidades do sistema, sem considerar o hardware
-
-
3 - Fazer uma estimativa para saber se há um "sistema de suporte", tanto de hardware quanto de software, que provavelmente atenderá os requisitos 1 e 2. Se não for, então refaça o 1 e/ou 2 ou construa um novo sistema de suporte.
-
4 - Escrever de forma informal uma máquina abstrata, que aceite as funcionalidades de 1. Se o resultado for insatisfatório, então vá para 1.
-
5 - Escreva de forma formal a descrição da máquina abstrata, removendo contradições e minimizando a complexidade da mesma. Se o resultado é insatisfatório, então vá para 4.
-
6 - Utilizar uma linguagem de especificação de software, para definir uma primeira análise da implementação para a máquina abstrata em módulos de programa. Deve-se colocar os limites de desempenho e tamanho nesses módulos.
-
7 - Utilizando o passo 6, simule o comportamento dos módulos sob uma carga de trabalho e para suportar as características do sistema. Se o resultado for insatisfatório, volte para o passo 6 e repita o passo 7.
-
-
9 - Simule o comportamento. Se for satisfatório, então vá para o passo 11.
-
-
11 - Se o nível de detalhe não for satisfatório, vá para o passo 8.
-
-
-
-
-
-
-
Necessidade de haver linguagens distintas para implementação do software e para a especificação de software
-
Falkoff disse que havia espaço para duas linguagens, considerando uma linguagem natural (por exemplo o inglês) e uma linguagem formal para ser utilizada como linguagem de programação
-
-
-
-
-
-
Graduação: Universidade Trinity, em Matemática com Física
-
Foi colaborador na invenção da linguagem CPL (Linguagem de Programação Combinada), participando do grupo de Christopher Strachey
-
Contribuiu nas simulações de computadores, implementação de programas e design de linguagens de programação
-
Foi professor fundador na Universidade de Warwick e King's College London, do curso de Ciência da Computação
-
-
-
-
-
Criou muitas linguagens de programação, principalmente Pascal
-
-
Teve participações em artigos de algoritmos, estrutura de dados e aprendizado de linguagens
-
-
-
-
-
Contribuiu em programas e algoritmos, linguagens de programação (prêmio Turing), sistemas distribuídos e sistemas operacionais
-
-
-
-
-