Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366201608> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- W4366201608 abstract "A atividade de teste é fundamental no desenvolvimento de sistemas críticos, tais como controladores de transito ou médico-hospitalares, uma vez que a ocorrência de falhas em tais sistemas é inadmissível, devido as graves conseqüências que acarretam para o ambiente em que estão inseridos. Dessa forma, são essenciais a utilização de técnicas rigorosas de teste e validação, e, em especial, a disponibilidade de ferramentas de apoio. Em geral, a especificação do aspecto comportamental desses sistemas é feita com uso de máquinas de transição de estado, tais como Máquinas de Estado Finito, Statecharts, Redes de Petri, etc. Com o objetivo de apoiar o teste e a validação de sistemas reativos especificados com o uso de Máquinas de Estado Finito, desenvolveu-se a ferramenta MGASet, que realiza a verificação de propriedades e a geração de seqüências típicas e de seqüências de teste." @default.
- W4366201608 created "2023-04-19" @default.
- W4366201608 creator A5012165860 @default.
- W4366201608 creator A5069386121 @default.
- W4366201608 creator A5074756110 @default.
- W4366201608 date "2001-10-03" @default.
- W4366201608 modified "2023-10-01" @default.
- W4366201608 title "MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito" @default.
- W4366201608 doi "https://doi.org/10.5753/sbes.2001.24007" @default.
- W4366201608 hasPublicationYear "2001" @default.
- W4366201608 type Work @default.
- W4366201608 citedByCount "0" @default.
- W4366201608 crossrefType "proceedings-article" @default.
- W4366201608 hasAuthorship W4366201608A5012165860 @default.
- W4366201608 hasAuthorship W4366201608A5069386121 @default.
- W4366201608 hasAuthorship W4366201608A5074756110 @default.
- W4366201608 hasBestOaLocation W43662016081 @default.
- W4366201608 hasConcept C138885662 @default.
- W4366201608 hasConcept C15708023 @default.
- W4366201608 hasConcept C41008148 @default.
- W4366201608 hasConceptScore W4366201608C138885662 @default.
- W4366201608 hasConceptScore W4366201608C15708023 @default.
- W4366201608 hasConceptScore W4366201608C41008148 @default.
- W4366201608 hasLocation W43662016081 @default.
- W4366201608 hasOpenAccess W4366201608 @default.
- W4366201608 hasPrimaryLocation W43662016081 @default.
- W4366201608 hasRelatedWork W2473335724 @default.
- W4366201608 hasRelatedWork W2609344916 @default.
- W4366201608 hasRelatedWork W2748952813 @default.
- W4366201608 hasRelatedWork W2780307509 @default.
- W4366201608 hasRelatedWork W2899084033 @default.
- W4366201608 hasRelatedWork W4210390885 @default.
- W4366201608 hasRelatedWork W59019880 @default.
- W4366201608 hasRelatedWork W766819059 @default.
- W4366201608 hasRelatedWork W2308060692 @default.
- W4366201608 hasRelatedWork W2478882070 @default.
- W4366201608 isParatext "false" @default.
- W4366201608 isRetracted "false" @default.
- W4366201608 workType "article" @default.