Introdução, Definições, SWEBOK Modelagem de Software Introdução, Definições, SWEBOK

Sobre o curso Prof. Dr. Michel Soares Contato: michel@facom.ufu.br - Sala 1B131 Terças-feiras: 10:40 as 12:20 Quintas-feiras: 8:50 as 10:40 Horário de atendimento extra-classe: Terças-feiras: 15:00 as 17:00

Falhas de Software SOFTWARE HORROR STORIES: http://www.cs.tau.ac.il/~nachumd/verify/horror.html History's Worst Software Bugs: http://www.wired.com/software/coolapps/news/2005/11/69355?currentPage=1

Complexidade do software 1993: Windows NT 3.1 - 6 million 1994: Windows NT 3.5 - 10 million 1996: Windows NT 4.0 - 16 million 2000: Windows 2000 - 29 million 2002: Windows XP - 40 million 2007: Windows Vista - ~50 million

Como resolver? Testes? Teste exaustivo é impossível 100 LOCs com alguns caminhos e um único loop executando menos de 20 vezes gera 10 elevado a 14 caminhos de execução. Testar todos os 100 trilhões de caminhos, assumindo que cada será avaliado em 1 mili-segundo, levará 3170 anos

Surgimento da Engenharia de Software Crise do software Conferências NATO (1968 e 1969)

Crise do software The major cause of the software crisis is that the machines have become several orders of magnitude more powerful! To put it quite bluntly: as long as there were no machines, programming was no problem at all; when we had a few weak computers, programming became a mild problem, and now we have gigantic computers, programming has become an equally gigantic problem. — Edsger Dijkstra, The Humble Programmer (EWD340), Communications of the ACM

Crise do software Projetos custando mais que o previsto Projetos demorando mais tempo que o previsto Software ineficiente Software de baixa qualidade Software não atingia todos os requisitos Projetos difíceis de gerenciar Código difícil de manter Software que nunca terminava

Conferências NATO 1968 - The Conference was attended by more than fifty people, from eleven different countries, all concerned professionally with software, either as users, manufacturers, or teachers at universities. 1969 - The conference was intended as a direct sequel to the NATO conference on software engineering held at Garmisch, Germany, from 7th to 11th October 1968. About sixty people from eleven countries attended the meeting.

NATO ? The North Atlantic Treaty Organization or NATO (Organisation du traité de l'Atlantique Nord (OTAN)), also called the (North) Atlantic Alliance, is an intergovernmental military alliance based on the North Atlantic Treaty which was signed on 4 April 1949.

Definições Software engineering is the application of a systematic, disciplined, quantifiable approach to development, operation, and maintenance of software; that is, the application of engineering to software (IEEE).

Definições Establishment and use of sound engineering principles to obtain economically software that is reliable and works on real machines efficiently. (Fritz Bauer)

O que Engenharia de Software não é? Apenas programação Engenharia de sistemas

SWEBOK – Parte 1

SWEBOK – Parte 2

Maiores empresas de software 1 Microsoft 54,270 10.6% 2 IBM 22,485 5.1% 3 Oracle 20,958 12.8% 4 SAP 12,558 10.5% 5 Ericsson 7,274 -4.2% 6 HP 6,669 7.9% 7 Symantec 5,636 1.3% 8 Nintendo 5,456 -19.8% 9 Activision 4,447 3.9% 10 EMC 4,356 10.0%

Foco do Curso Princípios de Modelagem de Software Linguagens de Modelagem Formais Semi-formais

Formato do curso Aulas expositivas Leitura de artigos Visão geral Nivelamento Introdução ao tema Leitura de artigos Clássicos Novos e relevantes Resumo de artigos (1 página) Discussão em sala dos artigos lidos

Avaliação Resumos dos artigos (20%) Projeto de modelagem (20%) Prova (40%) Todo o conteúdo, incluindo todos os artigos

Resumos dos artigos Entregar em PDF na sala de aula Não serão aceitas entregas: Por email Impressas Atrasadas 1 única página para artigos de até 10 páginas, 2 páginas para artigos maiores que 10 páginas Para facilitar, cada semana um aluno fica responsável pela coleta dos resumos 1 semana de prazo / entregas semanais de resumos Discussão em sala de aula Formato: Nome do Aluno – Art N.PDF Ex. MichelSoares – Art1. PDF

Política sobre o plágio Plágio não será tolerado O trabalho relativo será zerado Cópias de alunos também serão zeradas (todos trabalhos iguais serão zerados, independente de quem fez/copiou)

Projeto de Modelagem Sobre algum software/lista de requisitos, usando alguma linguagem de modelagem, exceto UML, DFDs, ER e outras Feito em duplas Converse com o professor sobre temas / linguagens Pode ser requisitos já modelados em alguma linguagem Definição de temas: até 05/04

Temas para projeto Exs.: Health Watcher Rain Sensing Wiper system (Balmelli) ARENA Requisitos encontrados na literatura, já modelados (ou a serem modelados) Não usar requisitos particulares Conversar com o professor para definir os temas Avaliação irá considerar dificuldade do projeto

Possíveis Linguagens Redes de Petri Coloridas Z B SysML SDL Modelica Álgebra de processos (CCS, ACP, CSP) Statecharts Alloy Outras…

Artigo 6 páginas Formato IEEE Data de apresentação a ser marcada Data de entrega a ser determinada (data única para todos) Assunto: projeto modelado

Seminários 30 minutos Datas a serem determinadas Ordem por sorteio no dia Apresentação do projeto/artigo

Prova final Individual Consulta aos artigos e resumos será permitida

Presença em sala de aula Será obrigatória Alunos com mais de 25% de faltas serão reprovados (Conceito final E) Chamadas apenas no início da aula Discussões dos artigos são fundamentais para entendimento e aprendizado Mestrado/Doutorado vs. Graduação Não é um curso básico de modelagem

Leitura Art1 – Boehm, B. A View of 20th and 21st Century Software Engineering. Art2 – Brooks, F. No Silver Bullet: Essence and Accidents of Software Engineering. Art3 – Cowling, A.J. The role of modelling in the software engineering curriculum. Art4 – Berry, D. The Inevitable Pain of Software Development: Why There Is No Silver Bullet