Especificação Formal. Especificação no Processo de Software
|
|
- Rita Caminha Eger
- 8 Há anos
- Visualizações:
Transcrição
1 Especificação Formal Técnicas para a especificação não ambígua de software Objectivos Explicar o lugar da especificação formal de software no processo de software Explicar quando a utilização de especificação formal é vantajosa d ponto de vista dos custos Descrever o modelo de processo baseado na transformação das especificações formais num sistema executável 1 Especificação no Processo de Software A especificação e a concepção estão inextrincavelmente interligados A concepção arquitectural é essencial para estruturar a especificação As especificações formais são expressas em notação matemática com vocabulário definido com precisão, sintaxe e semânticas 2
2 Especificação e Concepção Increasingcontractor involvement Decreasing client involvement Requirements definition Requirements Architectural design Software High-level design Specification Design 3 Especificação no Processo de Sofware Requirements Formal Requirements definition High-le vel design System modelling Architectural design 4
3 Especificação Formal em Avaliação As técnicas formais não são largamente utilizadas no desenvolvimento de software à escala industrial Dada a relevância da matemática em outras disciplinas ligadas à engenharia, porquê esta situação? 5 O Porquê da sua não Utilização? Conservadorismo inerente da gestão. É difícil de demonstrar as vantagens da especificação formal de uma forma objectiva Muitos engenheiros não têm treino nas matemáticas discretas necessárias à especificação formal Os clientes do sistema podem ser relutantes em financiar as actividades de especificação Algumas classes de software (particularmente sistemas interactivos e sistemas concorrentes) são difíceis de especificar utilizando técnicas correntes 6
4 O Porquê da sua não Utilização? Há uma ignorância em larga escala da aplicabilidade das especificações formais Há pouco suporte de ferramentas disponíveis para notações formais Alguns cientistas da computação que são familiares com métodos formais têm falta de conhecimento dos problemas do mundo real aos quais eles podem ser aplicados e então empregam a técnica em sistemas não reais, de que não se encontra aplicabilidade. 7 Vantagens da Especificação Formal Proporciona discernimento nos requisitos de software e sua concepção As especificações formais podem ser analisadas matematicamente e a consistência e a perfeição aliada à integralidade da especificação demonstrada. Pode ser possível provar que a implementação corresponde à especificação As especificações formais podem ser utilizadas para guiar o pessoal encarregado dos testes dos componentes na identificação dos casos de teste apropriados As especificações formais podem ser processadas utilizando ferramentas de software. Pode ser possível animar especificação para proporcionar um protótipo do software 8
5 Sete mitos do métodos formais Software perfeito resulta dos métodos formais Sem sentido - a especificação formal é um modelo do mundo real e pode incorporar incompreensões, erros e omissões. Contudo, uma abordagem formal é efectiva dado que faz com que os erros de especificação sejam mais fáceis de detectar e podem constituir uma base não ambígua para concepção do sistema. Métodos formais significam proporcionar programas Especificar formalmente um sistema é valioso sem verificação formal do programa dado que força uma análise detalhada prematura no processo de desenvolvimento Métodos formais só podem ser justificados em sistemas onde a segurança é um factor critico A experiência industrial sugere que os custos de desenvolvimento para todas as classes de sistemas diminuem se for utilizada a especificação formal 9 Sete mitos do métodos formais Métodos formais são para matemáticos Sem sentido. Só matemática simples é necessária. Métodos formais aumentam os custos de desenvolvimento Não provado. Contudo, o padrão de custos é alterado, com mais custo em fases iniciais do processo de software. Os clientes não podem compreender as especificações formais Podem, se as especificações estiverem parafraseadas em linguagem natural ou por animação de especificações. Métodos formais só foram ainda utilizados em sistemas triviais Há agora muitos exemplos publicados de experiências com métodos formais em sistemas não triviais. 10
6 O Veredicto! As razões invocadas para a não utilização de métodos e especificações formais são fracas e de natureza não técnica. Contudo, há boas razões para a não utilização desses métodos, derivadas das alterações havidas no mercado e da prática em engenharia de software A migração para sistemas interactivos. As técnicas de especificação formal não abrangem de forma efectiva especificação com interface gráfica O sucesso de métodos de engenharia de software no processo de concepção e desenvolvimento. O investimento em outras técnicas de engenharia de software pode revelar-se mais vantajosa do ponto de vista relação custos-proveitos 11 Utilização dos Métodos Formais Estes métodos não deverão ser largamente utilizados num futuro previsível. De igual forma não se revelarão vantajosos na relação custos-proveitos para a maioria de classes de sistemas (ex. sistemas interactivos e de negócio) Tornar-se-ão a abordagem normal ao desenvolvimento de sistemas onde a segurança, fiabilidade sejam críticos e na definição de standards, eu devem ser não ambíguos e precisos Isto irá alterar o padrão de custos ao longo do processo do software 12
7 Custos de Desenvolvimento com Especificação Formal Cost Validation Design and Implementation Validation Design and Implementation Specification Specification Without formal With formal 13 Abordagens de Especificações Formais Abordagem algébrica O sistema é descrito em termos das operações e os seus relacionamentos Abordagem baseada em modelos Um modelo para o sistema actua como uma especificação. Este modelo é construído utilizando entidades matemáticas bem conhecidas tais como conjuntos e sequências 14
8 Linguagens de Especificação Formal Sequential Algebraic Larch (Guttag et al., 1985), OBJ (Futatsugi et al., 1985) Model-based Z (Spivey, 1989) VDM (Jones, 1980) Concurrent Lotos (Bolognesi and Brinksma, 1987), CSP (Hoare, 1985) Petri Nets (Peterson, 1981) 15 Pontos Chave A especificação formal do sistema complementa as técnicas informais de especificação As especificações formais são precisas e não ambíguas. Eliminam áreas de dúvida numa especificação A especificação formal força a uma análise dos requisitos do sistema numa fase prematura. A correcção dos erros nessa fase é mais barato do que modificar um sistema já entregue As técnicas de especificação formal não são vantajosas do ponto de vista da relação custos-proveitos, no desenvolvimento de sistemas interactivos. São mais aplicáveis no desenvolvimento de sistemas de segurança crítica e standards. 16
Capítulo 10. Especificações Formais
Capítulo 10 Especificações Formais Baseado nos slides Traduzidos por Jacinta Pereira em 2007.1 do livro do Sommerville de 2000 Revisado e modificado por Rossana Andrade em 2009.1 Ian Sommerville 2000 Software
Leia maisObservações. Referência Título / Campo de Aplicação Emissor Data de adoção
NP 4239:1994 Bases para a quantificação dos custos da qualidade CT 80 1995-01-01 NP 4397:2008 Sistemas de gestão da segurança e saúde do trabalho. Requisitos CT 42 2008-12-31 NP 4410:2004 Sistemas de gestão
Leia maisObservações. Referência Título / Campo de Aplicação Emissor Data de adoção
NP 4239:1994 Bases para a quantificação dos custos da qualidade CT 80 1995-01-01 NP 4397:2008 Sistemas de gestão da segurança e saúde do trabalho. Requisitos CT 42 2008-12-31 NP 4410:2004 Sistemas de gestão
Leia maisDe Arte a Ciência: Regras para o Desenho de Software
De Arte a Ciência: Regras para o Desenho de Software Neste artigo é apresentado um conjunto de regras de desenho um padrão de desenho universal associado ao princípio fundamental e aos requisitos axiomáticos.
Leia maisEngenharia de Software
Conceitos básicos sobre E.S: Ambiência Caracterização do software Fases de desenvolvimento 1 Introdução Aspectos Introdutórios Crise do Software Definição de Engenharia do Software 2 Crise do Software
Leia maisIndicadores Gerais para a Avaliação Inclusiva
Preâmbulo A avaliação inclusiva é uma abordagem à avaliação em ambientes inclusivos em que as políticas e as práticas são concebidas para promover, tanto quanto possível, a aprendizagem de todos os alunos.
Leia maisMetodologia de Desenvolvimento de Software. Prof. M.Sc. Sílvio Bacalá Jr
Metodologia de Desenvolvimento de Software Prof. M.Sc. Sílvio Bacalá Jr Objetivos Discutir aspectos de Engenharia de Software Aplicar um método de desenvolvimento para especificação e projeto de software
Leia maisCASO DE ESTUDO SOBRE SIG
Laboratório Regional de Engenharia Civil Agência Regional da Energia e Ambiente da Região Autónoma da Madeira Câmara Municipal do Funchal Sistema Integrado para a Implementação de Sustentabilidade CASO
Leia maisNorma Interpretativa 2 Uso de Técnicas de Valor Presente para mensurar o Valor de Uso
Norma Interpretativa 2 Uso de Técnicas de Valor Presente para mensurar o Valor de Uso Esta Norma Interpretativa decorre da NCRF 12 - Imparidade de Activos. Sempre que na presente norma existam remissões
Leia maisGerenciamento de Requisitos
Gerenciamento de Requisitos Jaelson Castro 2013 1 Gerenciamento de requisitos Relaciona-se ao processo de gerenciar a mudança dos requisitos de um sistema As principais preocupações do gerenciamento de
Leia maisCAPÍTULO V CONCLUSÕES, IMPLICAÇÕES E SUGESTÕES
CAPÍTULO V CONCLUSÕES, IMPLICAÇÕES E SUGESTÕES 5.1. Introdução Neste último capítulo, pretendemos esboçar as principais conclusões sobre os resultados obtidos na investigação orientada para o objectivo
Leia maisEngenharia de Software e Gerência de Projetos Prof. Esp. André Luís Belini Bacharel em Sistemas de Informações MBA em Gestão Estratégica de Negócios
Engenharia de Software e Gerência de Projetos Prof. Esp. André Luís Belini Bacharel em Sistemas de Informações MBA em Gestão Estratégica de Negócios Cronograma das Aulas. Hoje você está na aula Semana
Leia maisCaracterísticas do texto Académico-Científico
Características do texto Académico-Científico Algumas noções breves Ana Leitão Mestre em Língua e Cultura Portuguesa Essencial para uma adequada indexação posterior em bases de dados; Nem muito abrangentes
Leia maisUFCD 8 Controlo e armazenagem de mercadorias Carga horária 50 horas ARMAZENAGEM DAS MERCADORIAS
ARMAZENAGEM DAS MERCADORIAS O que é a armazenagem? A armazenagem é constituída por um conjunto de funções: - de recepção, - descarga, - carregamento, matérias-primas, - arrumação produtos acabados ou semi-acabados
Leia maisCapítulo 2. Processos de Software. 2011 Pearson Prentice Hall. Todos os direitos reservados. slide 1
Capítulo 2 Processos de Software slide 1 Tópicos apresentados Modelos de processo de software. Atividades de processo. Lidando com mudanças. Rational Unified Process (RUP). Um exemplo de um processo de
Leia maisGestão do Risco e da Qualidade no Desenvolvimento de Software
Gestão do Risco e da Qualidade no Desenvolvimento de Software Questionário Taxinómico do Software Engineering Institute António Miguel 1. Constrangimentos do Projecto Os Constrangimentos ao Projecto referem-se
Leia maisMetadados. 1. Introdução. 2. O que são Metadados? 3. O Valor dos Metadados
1. Introdução O governo é um dos maiores detentores de recursos da informação. Consequentemente, tem sido o responsável por assegurar que tais recursos estejam agregando valor para os cidadãos, as empresas,
Leia maisPROGRAMA DE ACÇÃO COMUNITÁRIO RELATIVO À VIGILÂNCIA DA SAÚDE. PROGRAMA DE TRABALHO PARA 2000 (Nº 2, alínea b), do artigo 5º da Decisão nº 1400/97/CE)
PROGRAMA DE ACÇÃO COMUNITÁRIO RELATIVO À VIGILÂNCIA DA SAÚDE VERSION FINALE PROGRAMA DE TRABALHO PARA 2000 (Nº 2, alínea b), do artigo 5º da Decisão nº 1400/97/CE) 1. INTRODUÇÃO As actividades da União
Leia maisReferenciais da Qualidade
2008 Universidade da Madeira Grupo de Trabalho nº 4 Controlo da Qualidade Referenciais da Qualidade Raquel Sousa Vânia Joaquim Daniel Teixeira António Pedro Nunes 1 Índice 2 Introdução... 3 3 Referenciais
Leia maisRequisitos do usuário, do sistema e do software [Sommerville, 2004]
Requisitos Objetivos ou restrições estabelecidas por clientes e usuários do sistema que definem as diversas propriedades do sistema Condição ou capacidade necessária que o software deve possuir para que
Leia maisSistemas de Ficheiros. Sistemas de Bases de Dados
Sistemas de Bases de Dados Sistemas de Ficheiros Sistemas de Bases de Dados Conceitos Base Dados: são valores discretos que só se transformam em informação quando relacionados ou interpretados de alguma
Leia maisOrientações para desenvolver uma Política de DPC Provas requeridas para a acreditação Acrescentando valor: conjunto de boas práticas
CRITÉRIO 2: COMISSÃO DE INTERNA Este capítulo inclui: Visão geral Orientações para desenvolver uma Política de Provas requeridas para a acreditação Acrescentando valor: conjunto de boas práticas VISÃO
Leia maisMinistério da Administração do Território
Ministério da Administração do Território A Lei da Observação Eleitoral LEI N.º 4/05 De 4 de Julho Convindo regular a observação eleitoral quer por nacionais quer por estrangeiros; Nestes termos, ao abrigo
Leia maisUnidade II MODELAGEM DE PROCESSOS
Unidade II 3 MODELAGEM DE SISTEMAS 1 20 A fase de desenvolvimento de um novo sistema de informação (Quadro 2) é um momento complexo que exige um significativo esforço no sentido de agregar recursos que
Leia maisMODELAGEM DE SISTEMA Apresentação
MODELAGEM DE SISTEMA Apresentação Prof Daves Martins Msc Computação de Alto Desempenho Email: daves.martins@ifsudestemg.edu.br Apresentação da Disciplina Apresentação da Disciplina Apresentação da Disciplina
Leia maisIntrodução à Programação. João Manuel R. S. Tavares
Introdução à Programação João Manuel R. S. Tavares Sumário 1. Ciclo de desenvolvimento de um programa; 2. Descrição de algoritmos; 3. Desenvolvimento modular de programas; 4. Estruturas de controlo de
Leia maisUNIVERSIDADE FEDERAL DE SANTA MARIA CENTRO DE TECNOLOGIA AULA 14 PROFª BRUNO CALEGARO
UNIVERSIDADE FEDERAL DE SANTA MARIA CENTRO DE TECNOLOGIA AULA 14 PROFª BRUNO CALEGARO Santa Maria, 01 de Novembro de 2013. Revisão aula passada Projeto de Arquitetura Decisões de projeto de Arquitetura
Leia maisOBJETIVO VISÃO GERAL SUAS ANOTAÇÕES
OBJETIVO Assegurar a satisfação do cliente no pós-venda, desenvolvendo um relacionamento duradouro entre o vendedor e o cliente, além de conseguir indicações através de um sistema de follow-up (acompanhamento).
Leia maisGM IMOBILIZADO. O parceiro ideal nas tecnologias de Informação. O GM Imobilizado é a solução para a eficaz gestão do Imobilizado de uma organização.
GM O GM Imobilizado é a solução para a eficaz gestão do Imobilizado de uma organização A solução alia um interface simples e intuitivo a um conjunto de funcionalidades que possibilitam o acompanhamento
Leia maisSistemas de Gestão da Qualidade
Sistemas de estão da Qualidade Transparências de apoio à disciplina de estão da Qualidade rupo de ontrolo e estão Normas de arantia da Qualidade Historicamente Imposição dos grandes compradores e detentores
Leia maisDossiê de Preços de Transferência
Dossiê de Preços de Transferência Fiscalidade 2011 3 Índice Pág. 1. Preços de Transferência 03 1.1 Conceito 03 1.2 O que são Preços de Transferência 03 1.3 Porquê os Preços de Transferência? 03 1.4 Entidades
Leia maisAula 2 Revisão 1. Ciclo de Vida. Processo de Desenvolvimento de SW. Processo de Desenvolvimento de SW. Processo de Desenvolvimento de SW
Ciclo de Vida Aula 2 Revisão 1 Processo de Desenvolvimento de Software 1 O Processo de desenvolvimento de software é um conjunto de atividades, parcialmente ordenadas, com a finalidade de obter um produto
Leia maisINSTRUTIVO N.º xx/20xx de xx de xxxx
INSTRUTIVO N.º xx/20xx de xx de xxxx ASSUNTO: DIVULGAÇÕES DE INSTRUMENTOS FINANCEIROS Havendo a necessidade de estabelecer um conjunto de procedimentos na elaboração das divulgações sobre instrumentos
Leia maisA construção de um manual sobre a utilização dos modelos também poderá alavancar o uso das representações. Este conteria a explicação detalhada da
6 Conclusões No âmbito do framework teórico da Engenharia Semiótica, este trabalho faz parte de um esforço conjunto para desenvolver ferramentas epistêmicas que apóiem a reflexão do designer durante o
Leia maisTrabalhos Extracurriculares. grids.web.ua.pt. GRIDS Trabalhos extracurriculares e Áreas temáticas 2015/2016 1
Trabalhos Extracurriculares grids.web.ua.pt GRIDS Trabalhos extracurriculares e Áreas temáticas 2015/2016 1 Introdução O grupo de investigação GRIDS promove o contacto e trabalho com estudantes desde o
Leia maisCurso de Especialização em Tecnologia da Informação. Engenharia de Software
Universidade Federal de Pernambuco Departamento de Informática Curso de Especialização em Tecnologia da Informação Engenharia de Software Questionário para Discussão e Reflexão Aluna: Danielle Novaes de
Leia maisIV Fórum do Sector Segurador e Fundos de Pensões. Lisboa, 15 de Abril de 2009
IV Fórum do Sector Segurador e Fundos de Pensões Lisboa, 15 de Abril de 2009 Foi com todo o gosto e enorme interesse que aceitei o convite do Diário Económico para estar presente neste IV Fórum do sector
Leia maisUNIÃO EDUCACIONAL DO NORTE UNINORTE AUTOR (ES) AUTOR (ES) TÍTULO DO PROJETO
UNIÃO EDUCACIONAL DO NORTE UNINORTE AUTOR (ES) AUTOR (ES) TÍTULO DO PROJETO RIO BRANCO Ano AUTOR (ES) AUTOR (ES) TÍTULO DO PROJETO Pré-Projeto de Pesquisa apresentado como exigência no processo de seleção
Leia maisEngenharia de aplicações web
Engenharia de aplicações web Departamento de Matemática Universidade dos Açores Hélia Guerra helia@uac.pt aplicações web As Aplicações Web (WebApp) cresceram em complexidade e importância, abrangendo as
Leia maisWorkshop sobre Empreendedorismo
Workshop sobre Empreendedorismo Vasco Pinto 11 e 12/ Dez/ 2012 O que é o Empreendedorismo? O que é ser Empreendedor? Principais Características de um Empreendedor Diferenças entre Empreendedor e Empresário
Leia maisEMENTAS DAS DISCIPLINAS
EMENTAS DAS DISCIPLINAS CURSO DE GRADUAÇÃO DE ANÁLISE E DESENVOLVIMENTO DE SISTEMAS INTRODUÇÃO À COMPUTAÇÃO A disciplina aborda o estudo da área de Informática como um todo, e dos conceitos fundamentais,
Leia maisUnidade I Conceitos BásicosB. Conceitos BásicosB
à Engenharia de Software Unidade I Conceitos BásicosB Pedro de Alcântara dos Santos Neto pasn@ufpi.edu.br 1961 a 1963 Surgimento de novos Hardwares 1963-1968 Crise do Software! Incapacidade de se utilizar
Leia maisA EVOLUÇÃO DOS PRODUTOS NA INDÚSTRIA TRANSFORMADORA
A EVOLUÇÃO DOS PRODUTOS NA INDÚSTRIA TRANSFORMADORA O ciclo de fabrico característico abrange as seguintes fases: Compra de matérias e serviços Transformação das matérias-primas em produtos acabados Venda
Leia maisCONSIDERAÇÕES DE QC PARA TESTES POINT-OF-CARE Tradução literal *Sarah Kee
CONSIDERAÇÕES DE QC PARA TESTES POINT-OF-CARE Tradução literal *Sarah Kee O teste para o paciente está cada vez mais sendo realizado no de cabeceira. Na verdade, a disponibilidade de testes point-of-care
Leia maisInovação em sistemas de informação aplicada ao apoio do cliente de retalho
Universidade do Porto Faculdade de Engenharia Mestrado Integrado em Engenharia Electrotécnica e de Computadores Inovação em sistemas de informação aplicada ao apoio do cliente de retalho Relatório de Acompanhamento
Leia maisIBM Unica Histórico da Interação Attribution Modeler Versão 1 Release 0 15 de maio de 2012. Tabelas de Sistema do
IBM Unica Histórico da Interação Attribution Modeler Versão 1 Release 0 15 de maio de 2012 Tabelas de Sistema do Observação Antes de usar estas informações e o produto por elas suportado, leia as informações
Leia maisO Comité Nacional de Coordenação (CNC) espera que o Programa ART PAPDEL alcance os seguintes resultados:
Introdução A iniciativa ART (Articulação de Redes Territoriais e Temáticas para o Desenvolvimento Humano) surge, no âmbito da cooperação internacional e visa articular programas e actividades de diversos
Leia maisCódigo Europeu de Boas Práticas para Contratos de Desempenho Energético. 2ª Versão DRAFT
2ª Versão DRAFT Projecto Transparense Este documento foi realizado no âmbito do projecto "Transparense - Aumentar a transparência dos mercados de serviços energéticos", apoiado pelo programa comunitário
Leia maisSISTEMAS DE INFORMAÇÃO GERENCIAIS
SISTEMAS DE INFORMAÇÃO GERENCIAIS Aluno: Luiza Cavalcanti Marques Orientador: Silvio Hamacher Introdução A modelagem e a utilização de bancos de dados em atividades gerenciais têm sofrido um aumento significativo
Leia maisMarketing Pessoal. aumentem de valor.
P U B L I C A Ç Ã O N º 3 2 3 D E Z E M B R O 2 0 0 9 Marketing Pessoal PONTOS DE INTERESSE: Conceito Na Prática Definir Objectivos Marca Pessoal Marketing Pessoal pode ser definido como o processo de
Leia mais2 Engenharia de Software
20 2 Engenharia de Software 2.1 Design de Sistemas Orientados a Objetos Os Sistemas Orientados a Objetos não são mais novidade hoje em dia já estando há muitos anos no mercado. A orientação a objetos permite
Leia maisInvenções Implementadas por Computador (IIC) Patentes
Invenções Implementadas por Computador (IIC) Patentes O que é uma IIC? Uma IIC é uma invenção que recorre a um computador, a uma rede de computadores ou a qualquer outro dispositivo programável (por exemplo
Leia maisARQUITECTURAS DE SOFTWARE
ARQUITECTURAS DE SOFTWARE AULAS Nº 5, 6 e 7 16-23-30/11/2007 F. Mário Martins Ligação das partes Use Case Diagram Use Case Specification Passo 1: ---------- Passo 2: ---------- Passo 3: ---------- Domain
Leia maisEGEA ESAPL - IPVC. Orçamentos Anuais Parciais de Actividade
EGEA ESAPL - IPVC Orçamentos Anuais Parciais de Actividade Elaboração de Orçamentos Os resultados de uma empresa, ou de qualquer uma das suas actividades, podem ser apurados (ou calculados de forma previsional)
Leia maisHOTELARIA SOLUÇÃO PARA O CONTROLO DA LEGISLAÇÃO. Destinatários. Benefícios
HOTELARIA Destinatários Todas as empresas de Hotelaria e Turismo Empresas certificadas ( ISO 9001 ) Todas as empresas que actuam na fileira do Turismo (Restauração e Bebidas, Habitação Periódica, Animação
Leia maisFigura 5 - Workflow para a Fase de Projeto
5. Fase de Projeto A Fase de Projeto caracteriza-se por transformar as informações modeladas durante a Fase de Análise em estruturas arquiteturais de projeto com o objetivo de viabilizar a implementação
Leia mais3 Trabalhos relacionados
3 Trabalhos relacionados Neste capítulo são apresentados trabalhos relacionados ao apresentado nesta tese, separados pelas áreas de análise de modelos baseada em ontologias e de verificação de modelos.
Leia maisFactores de produção
Factores de produção 1. Classificação quanto ao seu papel no funcionamento da empresa Trabalho Capital Empresário 1 1.1. Trabalho Todo o esforço humano aplicado na obtenção de produtos agrícolas. É necessário
Leia maisX CONGRESSO DOS REVISORES OFICIAIS DE CONTAS. 1.ª Sessão Supervisão do sistema financeiro
X CONGRESSO DOS REVISORES OFICIAIS DE CONTAS 1.ª Sessão Supervisão do sistema financeiro Permitam-me uma primeira palavra para agradecer à Ordem dos Revisores Oficiais de Contas pelo amável convite que
Leia maisIntrodução Ciclo de vida tradicional de desenvolvimento Prototipagem Pacotes de software Desenvolvimento de 4ª geração Terceirização
Prof. Ricardo José Pfitscher Material elaborado com base em: José Luiz Mendes Gerson Volney Lagemann Introdução Ciclo de vida tradicional de desenvolvimento Prototipagem Pacotes de software Desenvolvimento
Leia maisPRINCÍPIOS PARA DISPOSIÇÕES SOBRE PROPRIEDADE INTELECTUAL EM ACORDOS BILATERAIS E REGIONAIS
PRINCÍPIOS PARA DISPOSIÇÕES SOBRE PROPRIEDADE INTELECTUAL EM ACORDOS BILATERAIS E REGIONAIS Introdução Durante vários anos, a pesquisa no Instituto Max Planck para o Direito da Propriedade Intelectual
Leia maisBanco de Dados Orientado a Objetos
Banco de Dados Orientado a Objetos MODELAGEM, ANÁLISE, PROJETO e CLASSIFICAÇÃO Interação combinando lógica, através de objetos que contém os dados. Estes divididos conforme seus tipos e métodos (classe),
Leia maisFEUP - 2010 RELATÓRIO DE CONTAS BALANÇO
relatório de contas 2 FEUP - 2010 RELATÓRIO DE CONTAS BALANÇO FEUP - 2010 RELATÓRIO DE CONTAS 3 4 FEUP - 2010 RELATÓRIO DE CONTAS DEMONSTRAÇÃO DOS RESULTADOS POR NATUREZAS DEMONSTRAÇÃO DOS FLUXOS DE CAIXA
Leia maisnatureza do projeto e da aplicação métodos e ferramentas a serem usados controles e produtos que precisam ser entregues
Modelo De Desenvolvimento De Software É uma representação abstrata do processo de desenvolvimento que define como as etapas relativas ao desenvolvimento de software serão conduzidas e interrelacionadas
Leia maisGestão da inovação A avaliação e a medição das actividades de IDI
Gestão da inovação A avaliação e a medição das actividades de IDI Projecto GAPI 2.0 Universidade de Aveiro, 19 de Fevereiro de 2010 João M. Alves da Cunha Introdução Modelo de Interacções em cadeia Innovation
Leia maisCentro de Incubação de Negócios para os Jovens
Centro de Incubação de Negócios para os Jovens Q&A 1. Os serviços prestados pelo Centro de Incubação de Negócios para os Jovens (adiante designado por CINJ) destinam-se apenas para residentes de Macau?
Leia maisFICHA DOUTRINÁRIA. Processo:
FICHA DOUTRINÁRIA Diploma: CIVA Artigo: 6º Assunto: Transportes intracomunitários de bens F055 2005163 despacho do SDG dos Impostos, em substituição do Director- Geral, em 15-05-06 Conteúdo: 1. A questão
Leia maisSíntese da Conferência
Síntese da Conferência Sob o lema Saneamento para Todos, Responsabilidade de Todos realizou-se de 14 a 16 de Maio de 2014, a Conferência Nacional de Saneamento, no Centro de Conferências Joaquim Chissano,
Leia maisLEAN OFFICE - ELIMINANDO OS DESPERDÍCIOS NAS ATIVIDADES ADMINISTRATIVAS
LEAN OFFICE - ELIMINANDO OS DESPERDÍCIOS NAS ATIVIDADES ADMINISTRATIVAS 1. Por que adotar o Lean Office? Parabéns! Você já conseguiu estabelecer o fluxo contínuo em suas atividades do chão de fábrica.
Leia maisProf. Antonio Almeida de Barros Jr. Prof. Antonio Almeida de Barros Junior
Prof. Antonio Almeida de Barros Jr. Introdução Dados Informações Banco de Dados Conceitos Básicos em Bancos de Dados Definição BD - Banco de Dados SGBD - Sistema de Gerenciamento de BD Programa de Aplicação
Leia maisInovações Tecnológicas Prof. Dr. Umberto Klock. AT086 Gestão de Projetos
Inovações Tecnológicas Prof. Dr. Umberto Klock AT086 Gestão de Projetos Gestão da Inovação uma breve história Desenvolvida inicialmente nos EUA, na década de 80. Surgiu a partir do medo do GAP tecnológico
Leia maisPlano Nacional de Saúde e as. Estratégias Locais de Saúde
Plano Nacional de Saúde e as Estratégias Locais de Saúde (versão resumida) Autores Constantino Sakellarides Celeste Gonçalves Ana Isabel Santos Escola Nacional de Saúde Pública/ UNL Lisboa, Agosto de 2010
Leia maisEspecificação Formal de Software
Especificação Formal de Software Carlos Figueiredo, Jorge Neves, Luís Magalhães, Vitor Pinto Licenciatura em Engenharia Informática e Computação Faculdade de Engenharia da Universidade do Porto E-mail:
Leia maisNCRF 19 Contratos de construção
NCRF 19 Contratos de construção Esta Norma Contabilística e de Relato Financeiro tem por base a Norma Internacional de Contabilidade IAS 11 - Contratos de Construção, adoptada pelo texto original do Regulamento
Leia mais2ºCiclo (5º e 6º Anos de escolaridade) 3ºCiclo (7º e 8º Anos de escolaridade)
Escola Básica e Secundária de Velas Linhas de Exploração do Quadro de da Disciplina de Tecnologias de Informação e Comunicação (TIC) Oferta de Escola 2ºCiclo (5º e 6º Anos de escolaridade) 3ºCiclo (7º
Leia maisCampus Capivari Análise e Desenvolvimento de Sistemas (ADS) Prof. André Luís Belini E-mail: prof.andre.luis.belini@gmail.com /
Campus Capivari Análise e Desenvolvimento de Sistemas (ADS) Prof. André Luís Belini E-mail: prof.andre.luis.belini@gmail.com / andre.belini@ifsp.edu.br MATÉRIA: GESTÃO DE PROJETOS Aula N : 10 Tema: Gerenciamento
Leia maisMelhoria da Qualidade e Redução de Custos
Melhoria da Qualidade e Redução de Custos Gestão da Qualidade 2005 Adaptado de Juran e Gryna, 1993. Quality Planning and Analysis Distinção entre problemas crónicos e esporádicos Os custos da qualidade
Leia maisAnexo 2 - Avaliação de necessidades de formação em H.S.T.
Anexo 2 - Avaliação de necessidades de formação em H.S.T. 54 3Inquérito às necessidades de formação profissional em higiene e segurança do trabalho 59 Inquérito às necessidades de formação profissional
Leia maisA gestão da implementação
A Gestão de Projectos Técnicas de programação em Gestão de Projectos Luís Manuel Borges Gouveia A gestão da implementação Estrutura de planeamento de projectos avaliação e gestão de risco a gestão de projectos
Leia maisCurso de Especialização Tecnológica em Aplicações Informáticas de Gestão (CET-AIG)
Curso de Especialização Tecnológica em Aplicações Informáticas de Gestão (CET-AIG) 1. Plano Curricular do curso O curso de especialização tecnológica em Aplicações Informáticas de Gestão integra as componentes
Leia maisModelos de Desenho Curricular
Modelos de Desenho Curricular Introdução Quando se planificam aulas, parte-se, frequentemente, de uma concepção restrita de currículo que tende a preocupar-se apenas em definir o programa, isto é, em decidir
Leia maisADN. Ficha de Trabalho. 1 - Identifique algumas das aplicações das análises de ADN?
Pág 1 ADN Ficha de Trabalho 1 - Identifique algumas das aplicações das análises de ADN? R: As aplicações são efectuadas em: Medicina Forense, testes de ADN e Engenharia genética. 1- Quais as potencialidades
Leia maisGUIA DE PROJECTO INTEGRADO PARA O CLIENTE VERSÃO FINAL
GUIA DE PROJECTO INTEGRADO PARA O CLIENTE VERSÃO FINAL AUTORES Andy Sutton BRE, Reino Unido TRADUÇÃO E ADAPTAÇÃO PARA A VERSÃO PORTUGUESA Carlos Laia CONTACTO Carlos Laia CEEETA ECO, Consultores em Energia,
Leia maisEmpresas Responsáveis Questionário de Sensibilização
Empresas Responsáveis Questionário de Sensibilização 1. Introdução O presente questionário ajudá-lo-á a reflectir sobre os esforços desenvolvidos pela sua empresa no domínio da responsabilidade empresarial,
Leia maisOs Conceitos Fundamentais da Excelência
Os Conceitos Fundamentais da Excelência Os Conceitos Fundamentais são princípios que estão subjacentes ao Modelo de Excelência e esboçam o alicerce da excelência organizacional. Alcançar Resultados Equilibrados
Leia maisMódulo 2 Análise de Grupos de Interesse
Módulo 2 Análise de Grupos de Interesse No Módulo 2... Porquê realizar uma análise de grupos de interesse? Identificação dos grupos de interesse Avaliação da importância e influência dos grupos de interesse
Leia maisNOVA CONTABILIDADE DAS AUTARQUIAS LOCAIS
CONTACTOS DAS ENTIDADES QUE INTEGRAM O Direcção-Geral das Autarquias Locais Morada: Rua José Estêvão,137, 4.º a 7.º 1169-058 LISBOA Fax: 213 528 177; Telefone: 213 133 000 E-mail: helenacurto@dgaa.pt Centro
Leia maisCONCEITOS BÁSICOS DE UM SISTEMA OPERATIVO
4 CONCEITOS BÁSICOS DE UM SISTEMA OPERATIVO CONCEITOS BÁSICOS MS-DOS MICROSOFT DISK OPERATION SYSTEM INSTALAÇÃO E CONFIGURAÇÃO DE UM SISTEMA OPERATIVO LIGAÇÕES À INTERNET O que é um sistema operativo?
Leia mais4 Metodologia e estratégia de abordagem
50 4 Metodologia e estratégia de abordagem O problema de diagnóstico para melhoria da qualidade percebida pelos clientes é abordado a partir da identificação de diferenças (gaps) significativas entre o
Leia maisUNESCO Brasilia Office Representação da UNESCO no Brasil Uma nova política para a sociedade da informação
UNESCO Brasilia Office Representação da UNESCO no Brasil Uma nova política para a sociedade da informação Diogo Vasconcelos Gestor da Unidade de Missão Inovação e Conhecimento Brasília 2003 Artigo publicado
Leia maisInovação. Desenvolvimento Sustentado da Inovação Empresarial
Inovação Desenvolvimento Sustentado da Inovação Empresarial INICIATIVA APOIO Inovação, Empreendedorismo e Qualidade As Práticas que nos Inspiram Práticas de Gestão de Inovação Isabel Caetano Instituto
Leia maisEscola Secundária c/ 3º ciclo do Fundão. Palavras-chave: transição, instrução, empenhamento motor, exemplificação, comunicação.
Escola Secundária c/ 3º ciclo do Fundão Quinta-feira 05 De Novembro de 2009 Turma: 12ºCSEAV --» Aula do professor estagiário Nuno Rodrigues. Palavras-chave: transição, instrução, empenhamento motor, exemplificação,
Leia maisPlanificação de. Aplicações Informáticas B
Escola básica e secundária de Velas Planificação de Aplicações Informáticas B Ano letivo 2011/2012 1- Introdução à Programação Planificação de Aplicações Informáticas B Unidade Sub-Unidades Objetivos Conteúdos
Leia maisANÁLISE DO MERCADO DE REMESSAS PORTUGAL/BRASIL
Banco Interamericano de Desenvolvimento Fundo Multilateral de Investimentos Financiado pelo Fundo Português de Cooperação Técnica ANÁLISE DO MERCADO DE REMESSAS PORTUGAL/BRASIL SUMÁRIO EXECUTIVO Equipa
Leia maisProgramação Extrema. Luis Fernando Machado. Engenharia de Software
Programação Extrema Luis Fernando Machado Engenharia de Software Desenvolvimento Ágil Programação Extrema, ou Extreme Programming (XP) é um modelo de desenvolvimento ágil. Desenvolvimento ágil foi criado
Leia maisModelos de Processo (métodos)
Modelos de Processo (métodos) Um modelo de processo ou método define um conjunto de atividades específicas. Principais modelos: Cascata (Waterfall) Espiral (Spiral) Evolutivo Incremental Processo Unificado
Leia maisCÂMARA MUNICIPAL DE MOURA
CÂMARA MUNICIPAL DE MOURA Regulamento de Estágio para Ingresso nas Carreiras do Grupo de Pessoal Técnico Superior, Técnico e de Informática do Quadro de Pessoal da Câmara Municipal de Moura PREÂMBULO Publicado
Leia maisAMBIENTE São os locais onde estão localizadas as estruturas e apresentam complexo contexto, caracterizados por mudanças e por uma multiplicidade de
AMBIENTE São os locais onde estão localizadas as estruturas e apresentam complexo contexto, caracterizados por mudanças e por uma multiplicidade de forças que determinam o funcionamento, tendo um caráter
Leia maisCurso Técnico em Informática Organização Curricular. A carga horária total dos módulos é oferecida conforme quadro síntese abaixo:
FEDERAÇÃO DOS CÍRCULOS OPERÁRIOS DO RIO GRANDE DO SUL ESCOLA TÉCNICA SANTO INÁCIO Estrada Costa Gama, nº 1009 Belém Velho - Porto Alegre RS Fone: (51) 3374-2858 escola@stoinacio.com.br www.stoinacio.com.br
Leia mais