| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
31/07/1996 |
|
Data da última atualização: |
28/09/2007 |
|
Autoria: |
SHIBUYA, R.; PENTEADO, R. D.; MASIERO, P. C. |
|
Título: |
Geração de código a partir de modelos comportamentais especificados por estatecharts. |
|
Ano de publicação: |
1994 |
|
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 8., WORKSHOP DE QUALIDADE DE SOFTWARE, 1994, Curitiba. Anais... Curitiba: Centro Internacional de Técnologia de Software, 1994. |
|
Páginas: |
p.253-267. |
|
Idioma: |
Português |
|
Conteúdo: |
Um algoritmo eficiente para execução de statecharts, adaptação de um proposto por Drusinsky e Harel para sintese de hardware e apresentado. Esse algoritmo decompõe um statechart em um conjunto de máquinas de estados finito executando concorrentemente e comunicando-se entre si. Mostra-se também como o algoritmo e usado genericamente para, dentro do ambiente StatSim, gerar código em Occam para núcleos de sistemas reativos especificados por statecharts. Diferenças, vantagens e desvantagens deste algoritmo em relação ao de Drusinsky e Harel são discutidas e um exemplo e apresentado para ilustrar o seu uso. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01202naa a2200157 a 4500
001 1003121
005 2007-09-28
008 1994 bl uuuu u00u1 u #d
100 1 $aSHIBUYA, R.
245 $aGeração de código a partir de modelos comportamentais especificados por estatecharts.
260 $c1994
300 $ap.253-267.
520 $aUm algoritmo eficiente para execução de statecharts, adaptação de um proposto por Drusinsky e Harel para sintese de hardware e apresentado. Esse algoritmo decompõe um statechart em um conjunto de máquinas de estados finito executando concorrentemente e comunicando-se entre si. Mostra-se também como o algoritmo e usado genericamente para, dentro do ambiente StatSim, gerar código em Occam para núcleos de sistemas reativos especificados por statecharts. Diferenças, vantagens e desvantagens deste algoritmo em relação ao de Drusinsky e Harel são discutidas e um exemplo e apresentado para ilustrar o seu uso.
700 1 $aPENTEADO, R. D.
700 1 $aMASIERO, P. C.
773 $tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 8., WORKSHOP DE QUALIDADE DE SOFTWARE, 1994, Curitiba. Anais... Curitiba: Centro Internacional de Técnologia de Software, 1994.
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 : 3 | |
| Registros recuperados : 3 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
