|
|
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 : 1 | |
Registros recuperados : 1 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|