Modelagem de Sistemas Alcides Calsavara
Engenharia de Software Abstração: conceitos, construtos, métodos etc. Base matemática: raciocínio rigoroso sobre objetos e estruturas puramente abstratas. O processo mental que atualmente usamos em matemática deve ter sido adqüirido – e passado a ser usado – bem antes dos Sumérios introduzirem os números abstratos, algo entre 8.000 e 5.000 anos atrás. Alcides Calsavara
Realidade e Software Percepção da Realidade observador implementador Sistema de Software Alcides Calsavara
Modelagem e Formalização Percepção da Realidade observador Modelos formalizador implementador Sistema de Software Alcides Calsavara
Refinamento de Modelos Percepção da Realidade observador Modelo 1 ... formalizador Modelo n-1 implementador Sistema de Software Alcides Calsavara
Refinamento de Modelos Percepção da Realidade ( Modelo 0 ) observador Modelo 1 ... formalizador Modelo n-1 implementador Sistema de Software ( Modelo n ) Alcides Calsavara
Refinamento de Modelos Conceitual Percepção da Realidade ( Modelo 0 ) observador Modelo 1 ... formalizador Modelo n-1 implementador Sistema de Software ( Modelo n ) Físico Alcides Calsavara
Percepção da Realidade A percepção da realidade por um observador depende da sua interpretação dos fatos. O formalizador constrói um modelo de acordo com a sua percepção da percepção da realidade do observador. O formalizador passa a ter a sua própria percepção da realidade. Alcides Calsavara
Mutabilidade A realidade muda. A percepção da realidade muda. A percepção da percepção da realidade muda. Os recursos de software mudam. Conceitos Linguagens Métodos Ferramentas Plataformas Alcides Calsavara
Orientação a Objetos Paradigma dominante para implementação. Paradigma promissor para modelagem conceitual. Derivado da noção de tipo abstrato de dados: conceito algébrico que se aplica a objetos matemáticos. Mapeamento: objetos da realidade para objetos matemáticos. Alcides Calsavara
Sistema Orientado a Objetos Um sistema orientado a objetos é uma coleção de objetos (de software) que interagem entre si. Um objeto interage com outro através de uma mensagem que causa um estímulo. Alcides Calsavara
Referências Bibliográficas The Real Reason Why Software Engineers Need Math. Keith Devlin. Communications of the ACM, 44 (10), October 2001. The Emperor with No Clothes. Henry F. Ledgard. Communications of the ACM, 44 (10), October 2001. The Case for a New Business Model. Phillip G. Armour. Communications of the ACM, 43 (8), August 2000. Alcides Calsavara