| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
04/12/1997 |
|
Data da última atualização: |
15/08/2007 |
|
Autoria: |
MARTINS, R. F.; CAMARGO, M. S. de; FARINES, J-M. |
|
Título: |
Uma ferramenta para auxilio no processo de verificação de especificações em RT-LOTOS. |
|
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, SP: USP-ICMSC-DCCE, 1996. |
|
Páginas: |
p.259-274. |
|
Idioma: |
Português |
|
Notas: |
Editado por Jose Carlos Maldonado e Paulo Cesar Masiero. |
|
Conteúdo: |
Os principios básicos da verificação. A linguagem de especificação RT-LOTOS. A tradução de RT-LOTOS em automatos temporizados. Automatos temporizados. A traducao de RT-LOTOS para automatos temporizados. A verificação. Estudo de casos. Algorítmo de exclusão mútua.Sistema telefônico simplificado. |
|
Palavras-Chave: |
Engenharia de software. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 00952naa a2200181 a 4500
001 1005470
005 2007-08-15
008 1996 bl uuuu u00u1 u #d
100 1 $aMARTINS, R. F.
245 $aUma ferramenta para auxilio no processo de verificação de especificações em RT-LOTOS.
260 $c1996
300 $ap.259-274.
500 $aEditado por Jose Carlos Maldonado e Paulo Cesar Masiero.
520 $aOs principios básicos da verificação. A linguagem de especificação RT-LOTOS. A tradução de RT-LOTOS em automatos temporizados. Automatos temporizados. A traducao de RT-LOTOS para automatos temporizados. A verificação. Estudo de casos. Algorítmo de exclusão mútua.Sistema telefônico simplificado.
653 $aEngenharia de software
700 1 $aCAMARGO, M. S. de
700 1 $aFARINES, J-M.
773 $tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 10., 1996, São Carlos, SP. Anais... São Carlos, SP: USP-ICMSC-DCCE, 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 : 2 | |
| 2. |  | CAMARGO, M. S.; COUTINHO, I. D.; LOURENÇO, S. A.; SOARES, M. K. M.; COLNAGO, L. A.; APPEZZATO-DA-GLÓRIA, B.; CAVALHEIRO, A. J.; AMORIM, L. Potential prophylactic role of silicon against brown rust (Puccinia melanocephala) in sugarcane. European Journal of Plant Pathology, v. 157, n. 1, 2020. 77 - 88| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 2 |
| Biblioteca(s): Embrapa Instrumentação. |
|    |
| Registros recuperados : 2 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
