Busca avançada
Ano de início
Entree

Abordagem canônica para especificação de sistemas críticos de tempo real

Processo: 93/00341-7
Modalidade de apoio:Bolsas no Exterior - Pesquisa
Data de Início da vigência: 01 de setembro de 1993
Data de Término da vigência: 31 de agosto de 1995
Área de conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
Pesquisador responsável:Tereza Goncalves Kirner
Beneficiário:Tereza Goncalves Kirner
Pesquisador Anfitrião: Alan Mark Davis
Instituição Sede: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brasil
Instituição Anfitriã: University of Colorado, Colorado Springs (UCCS), Estados Unidos  
Assunto(s):Engenharia de software   Sistemas de tempo-real
Palavra(s)-Chave do Pesquisador:Engenharia De Requisitos | Engenharia De Software | Especificacao De Requisitos | Ferramenta De Software | Sistema De Tempo Real

Resumo

Pretende-se estudar o processo de especificação de software, particularmente o de sistemas críticos de tempo Real (HRTS). Isto incluirá a análise de métodos, técnicas e ferramentas existentes; estudo detalhado da abordagem canônica para especificação de requisitos (CR) e da ferramenta TINA (propostas por Alan M. Davis, da UCCS) e extensão e adaptação de CR e TINA, visando o atendimento de HRTS. (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)