|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
17/07/1996 |
Data da última atualização: |
04/10/2007 |
Autoria: |
SANTOS, S. C. dos; SILVA, F. Q. B. da. |
Título: |
Um enfoque multiformalismos para especificação de sistemas de segurança crítica. |
Ano de publicação: |
1995 |
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995. |
Páginas: |
p. 91-106. |
Idioma: |
Português |
Conteúdo: |
Chamamos de sistemas de segurança crítica, aqueles sistemas cuja falha pode causar danos ao ambiente ou perigo de vida aos seres humanos ou ambos. Tais sistemas requerem um alto grau de confiabilidade em seu desenvolvimento, antes de serem colocados em uso. Este artigo descreve a utilização de métodos formais para aumentar a confiabilidade no desenvolvimento de sistemas de segurança crítica. O enfoque e inovador no sentido em que propõe a utilização de formalismos distintos para descrever aspectos diferentes do sistema e produz a integração das várias especificações através de provas de consistência. Os resultados descritos aqui fazem parte do trabalho desenvolvido em [4]. |
Palavras-Chave: |
confiabilidade; Desenvolvimento; Sistemas. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01288naa a2200181 a 4500 001 1002963 005 2007-10-04 008 1995 bl uuuu u00u1 u #d 100 1 $aSANTOS, S. C. dos 245 $aUm enfoque multiformalismos para especificação de sistemas de segurança crítica. 260 $c1995 300 $ap. 91-106. 520 $aChamamos de sistemas de segurança crítica, aqueles sistemas cuja falha pode causar danos ao ambiente ou perigo de vida aos seres humanos ou ambos. Tais sistemas requerem um alto grau de confiabilidade em seu desenvolvimento, antes de serem colocados em uso. Este artigo descreve a utilização de métodos formais para aumentar a confiabilidade no desenvolvimento de sistemas de segurança crítica. O enfoque e inovador no sentido em que propõe a utilização de formalismos distintos para descrever aspectos diferentes do sistema e produz a integração das várias especificações através de provas de consistência. Os resultados descritos aqui fazem parte do trabalho desenvolvido em [4]. 653 $aconfiabilidade 653 $aDesenvolvimento 653 $aSistemas 700 1 $aSILVA, F. Q. B. da 773 $tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
Registros recuperados : 27 | |
5. | | LIMA FILHO, J. M. P.; MOUCO, M. A. do C.; SANTOS, S. C. A. dos. Bioassay for paclobutrazol detection in soil. In: SEMANA INTERNACIONAL DA FRUTICULTURA, FLORICULTURA E AGROINDÚSTRIA, 11.; INTERNATIONAL WEEK OF FRUIT CROP, FLORICULTURE AND AGROINDUSTRY, 11.; INTERNATIONAL SYMPOSIUM ON TROPICAL AND SUBTROPICAL FRUITS, 3.; SIMPÓSIO INTERNACIONAL DE FRUTAS TROPICAIS E SUBTROPICAIS, 3., 2004, Fortaleza. Frutal 2004: programa and abstracts. Fortaleza: Instituto FRUTAL: HPP, 2004. 1 CD-ROM.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Semiárido. |
| |
6. | | SANTOS, C. A.; SANTOS, S. C.; BRAZ. S.; PINHEIRO, E. F. M.; BODDEY, R. Estoque de fração leve da matéria orgânica do solo em áreas sob pastagens e mata, em chapadão do sul (MS). In: CONGRESSO BRASILEIRO DE CIÊNCIA DO SOLO, 33., 2011, Uberlândia. Solos nos biomas brasileiros: sustentabilidade e mudanças climáticas: anais. [Uberlândia]: SBCS: UFU, ICIAG, 2011.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Agrobiologia. |
| |
8. | | SANTOS, S. C. dos; CHAVES, K. C.; COSTA, J. L. da S. Reação do feijoeiro a Sclerotium rolfsii Sacc., agente causal da podridão do colo. Fitopatologia Brasileira, Brasília, DF, v. 23, p. 280, ago. 1998. Suplemento, ref. 396. Edição dos Resumos do XXXI Congresso Brasileiro de Fitopatologia, Fortaleza, ago. 1998.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Arroz e Feijão. |
| |
9. | | MOUCO, M. A. do C.; LIMA, M. A. C. de; SILVA, A. L. da; SANTOS, S. C. A. dos. Amino acids on mango yield and fruit quality at Submedio São Francisco region, Brazil. Acta Horticulturae, n. 820, p. 437-442, abr. 2009. Edição do Proceedings of the 8 International Mango Symposium, Sun City, South Africa, Abril, 2009.Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 2 |
Biblioteca(s): Embrapa Semiárido. |
| |
11. | | SANTOS, S. C.; FERRI, P. H.; SANTOS, M. R.; FARIA, L. C.; OLIVEIRA, I. P. de; THUNG, M. D. T. Multivariate characterization of bean varieties according to yield production, mineral and phenolic contents. Journal of the Brazilian Chemical Society, v. 21, n. 10, p. 1917-1922, 2010.Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 1 |
Biblioteca(s): Embrapa Arroz e Feijão. |
| |
12. | | MENEZES, J. F. S.; VANIN, A.; BENITES, V. de M.; LIMA, L. M.; SANTOS, S. C. G. Teores de Ca, Mg e K na água percolada em solo adubado com dejetos líquidos de suínos e adubo mineral em sistema de plantio direto. In: REUNIÃO BRASILEIRA DE FERTILIDADE DO SOLO E NUTRIÇÃO DE PLANTAS, 29., 2010, Guarapari, ES. Anais... Guarapari, ES: FertBio, 2010.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Solos. |
| |
14. | | MOUCO, M. A. do C.; LIMA, M. A. C. de; SILVA, A. L. da; SANTOS, S. C. A. dos; RODRIGUES, F. M. Amino acids on mango yield and fruit quality at Submedio São Francisco region, Brazil. In: INTERNATIONAL MANGO SYMPOSIUM, 8th, 2006, Sun City, South Africa. Programme - abstract book... Siyanamukela: ISHS; South African Mango Growers Association, 2006. p. 97.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Semiárido. |
| |
15. | | MOUCO, M. A. do C.; LIMA, M. A. C. de; SANTOS, S. C. A. dos; RODRIGUES, F. M.; SILVA, A. L. da; AZEVEDO, S. S. N. Amino acid sprays on mango (Mangifera indica L.) yield and quality. In: SEMANA INTERNACIONAL DA FRUTICULTURA, FLORICULTURA E AGROINDÚSTRIA, 11.; INTERNATIONAL WEEK OF FRUIT CROP, FLORICULTURE AND AGROINDUSTRY, 11.; INTERNATIONAL SYMPOSIUM ON TROPICAL AND SUBTROPICAL FRUITS, 3.; SIMPÓSIO INTERNACIONAL DE FRUTAS TROPICAIS E SUBTROPICAIS, 3., 2004, Fortaleza. Frutal 2004: programa and abstracts. Fortaleza: Instituto FRUTAL: HPP, 2004. 1 CD-ROM.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Semiárido. |
| |
16. | | CARVALHO, R. L. de; CARVALHO, J. F. D.; RODRIGUES, H. C. A.; BIAZATTI, R. M.; SANTOS, S. C.; PEREIRA, J. A.; LIMA, N. D.; PINHEIRO, B. L. Arroz de terras altas sob níveis de nitrogênio e zinco na cultivar BRS A503. Revista Eletrônica Interdisciplinar, v. 15, n. 2, p. 268-276, 2023.Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 4 |
Biblioteca(s): Embrapa Meio-Norte. |
| |
18. | | SANTOS, S. C. dos; AMORIM NETO, M. F. de; XAVIER, M. E. V.; NORONHA, M. de A.; COSTA, J. G. da. Caracterização morfológica de acessos de inhame provenientes dos municípios produtores de Alagoas e Sergipe. In: SEMINÁRIO DE INICIAÇÃO CIENTÍFICA E PÓS-GRADUAÇÃO DA EMBRAPA TABULEIROS COSTEIROS, 7., 2017, Aracaju. Anais... Brasília, DF: Embrapa, 2017.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Tabuleiros Costeiros. |
| |
19. | | SIQUEIRA, B. dos S.; BASSINELLO, P. Z.; SANTOS, S. C.; MALGARESI, G.; FERRI, P. H.; RODRIGUEZ, A. G.; FERNANDES, K. F. Do enzymatic or non-enzymatic pathways drive the postharvest darkening phenomenon in carioca bean tegument? LWT - Food Science and Technology, v. 69, p. 593-600, June 2016.Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 1 |
Biblioteca(s): Embrapa Arroz e Feijão. |
| |
20. | | LYRA, C. C. G. V.; VIEIRA, R. F.; OLIVEIRA, C. B. A. de; SANTOS, S. C.; SERAPHIN, J. C.; FERRI, P. H. Infraspecific variability in the essential oil composition of Lychnophora ericoides. Journal of the Brazilian Chemical Society, v. 19, n. 5, p. 842-848, 2008.Tipo: Artigo em Periódico Indexado | Circulação/Nível: Internacional - A |
Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
| |
Registros recuperados : 27 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|