Aleatorio

Biting the Silver Bullet - Toward a Brighter Future for System Development
O artigo de David Harel faz menção a um artigo escrito anteriormente, intitulado “No silver bullet” do autor Fred Brooks, onde dizia que não havia uma bala de prata para os problemas do desenvolvimento de software. O que Harel faz nesse artigo é ter uma visão mais otimista do problema e trazer as ideias mais atuais da situação.
O autor diz que a visão de Brooks em seu artigo, na maior parte dos pontos, está correta, porém ele pensa que a vale a pena tentar levantar os pontos positivos dessa ciência, expondo também os novos desenvolvimentos que aconteceram na área. Os argumentos utilizados por Brooks foram que o maior problema do desenvolvimento seria especificar, projetar e testa o sistema e a análise feita dos novos desenvolvimentos da área era bastante pessimista, e a impressão que Harel teve é de que o artigo de Brooks passa que as soluções possíveis são as já existentes, e que o problema da complexidade para o desenvolvimento nunca será resolvido. Harel afirma que nos anos que se passaram desde a publicação do artigo de Brooks ouve uma inegável melhora em uma ordem de magnitude no desenvolvimento de sistemas simples. Ele afirma que o ponto mais importante para gerar esse avanço foi o aparecimento dos frameworks conceituais de propósito comum, que foi chamado no texto de vanilla, ou baunilha em português. A base para este paradigma foram as noções da dicotomia de dados e controle. Surgiram então os tipos e as estruturas de dados, além de uma série de métodos aritméticos. O autor diz que será focado a ideia de programas reativos, que incluem os sistemas embutidos, de tempo real e concorrente, por serem particularmente problemáticos. Harel afirma que irá expor uma proposta de uma base para desenvolvimento deste tipo de sistema.
O autor começa explicando como será modelado o sistema, que para que seja capturado o conceito do sistema, precisa-se criar abstrações, para que elas sejam a