|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
01/12/1997 |
Data da última atualização: |
08/08/2007 |
Autoria: |
SILVA FILHO, A. M. da. |
Título: |
On deriving statecharts supervision models from SDL specifications using SSM. |
Ano de publicação: |
1996 |
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 10., 1996, São Carlos, SP. Anais... São Carlos: USP, 1996. |
Páginas: |
p.73-83. |
Idioma: |
Inglês |
Notas: |
Editado por José Carlos Maldonado e Paulo Cesar Masiero. |
Conteúdo: |
This paper presents a discussion of using software supervision as a means of improving the software reliability of reactive systems during the in-use phase. Supervision software consists of monitoring both the inputs and outputs of a target system and cheeking them against the targert system's specification. All discrepancies between observed sequences of signals and the target system's specification are reported as falures. The emphasis of this paper on showing the suitability of using statecharts as a formal technique to specify the reactive system supervisor. The target reactive system is assumed to be specified in SDL (Specification and Description Language). Statecharts-based Supervisor Modeling (SSM) is presented by using examples. As well, benefits of this approach are discussed. |
Palavras-Chave: |
Engenharia de software. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01356naa a2200157 a 4500 001 1005442 005 2007-08-08 008 1996 bl uuuu u00u1 u #d 100 1 $aSILVA FILHO, A. M. da 245 $aOn deriving statecharts supervision models from SDL specifications using SSM. 260 $c1996 300 $ap.73-83. 500 $aEditado por José Carlos Maldonado e Paulo Cesar Masiero. 520 $aThis paper presents a discussion of using software supervision as a means of improving the software reliability of reactive systems during the in-use phase. Supervision software consists of monitoring both the inputs and outputs of a target system and cheeking them against the targert system's specification. All discrepancies between observed sequences of signals and the target system's specification are reported as falures. The emphasis of this paper on showing the suitability of using statecharts as a formal technique to specify the reactive system supervisor. The target reactive system is assumed to be specified in SDL (Specification and Description Language). Statecharts-based Supervisor Modeling (SSM) is presented by using examples. As well, benefits of this approach are discussed. 653 $aEngenharia de software 773 $tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 10., 1996, São Carlos, SP. Anais... São Carlos: USP, 1996.
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 : 110 | |
33. | | MORETO, P.; KOENIGKAN, L. V.; SANTOS, T. T. Estudos para um controlador de código-aberto em imageador de custo acessível para fenotipagem de plantas. In: CONGRESSO BRASILEIRO DE AGROINFORMÁTICA, 12., 2019, Indaiatuba. Anais... Ponta Grossa: SBIAGRO, 2019. p. 533-534. Organizadores: Maria Fernanda Moura, Jayme Garcia Arnal Barbedo, Alaine Margarete Guimarães, Valter Castelhano de Oliveira. SBIAgro 2019.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Agricultura Digital. |
| |
36. | | ANGELOTTI, F.; GAVA, C. A. T.; BATISTA, D. da C.; SANTOS, T. T. C. Avaliação de sistemas de alerta para o míldio da videira no Vale do São Francisco. Tropical Plant Pathology, Brasília, DF, v. 34, p. S117, ago. 2009. Suplemento. Edição dos Resumos do 42 Congresso Brasileiro de Fitopatologia, Rio de Janeiro, ago. 2009.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Semiárido. |
| |
37. | | ANGELOTTI, F.; GAVA, C. A. T.; SANTOS, T. T C.; BATISTA, D. da C. Avaliação de sistemas de alerta e previsão para o oídio da videira no Vale do São Francisco. Tropical Plant Pathology, Brasília, DF, v. 34, p. S117, ago. 2009. Suplemento. Edição dos Resumos do 42 Congresso Brasileiro de Fitopatologia, Rio de Janeiro, ago. 2009.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Semiárido. |
| |
38. | | SANTOS, T. T.; KOENIGKAN, L. V.; BARBEDO, J. G. A.; RODRIGUES, G. C. 3D plant modeling: localization, mapping and segmentation for plant phenotyping using a single hand-held camera. In: EUROPEAN CONFERENCE ON COMPUTER VISION, 13., 2014, Zurich. Computer Vision: ECCV 2014: proceedings. Switzerland: Springer, 2015. p. 247-263. (Lecture notes in computer science, v. 8928). Part IV. Editores: Lourdes Agapito, Michael M. Bronstein, Carsten Rother.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Agricultura Digital. |
| |
39. | | ANGELOTTI, F.; SANTOS, T. T. de C.; FATINANSI, J. C.; TESSMANN, D. J. Análise da favorabilidade das condições climáticas à ocorrência de míldio da videira no vale do são francisco no período de 2003 a 2007. In: CONGRESSO BRASILEIRO DE FRUTICULTURA, 20.; ANNUAL MEETING OF THE INTERAMERICAN SOCIETY FOR TROPICAL HORTICULTURE, 54., 2008, Vitória. Frutas para todos : estratégias, tecnologias e visão sustentável: anais. Vitória: INCAPER: Sociedade Brasileira de Fruticultura, 2008. 1 DVD.Tipo: Artigo em Anais de Congresso / Nota Técnica |
Biblioteca(s): Embrapa Semiárido. |
| |
Registros recuperados : 110 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|