Modelos orientados a estado na especificação de software

Adilson Luiz Bonifácio; Fabio Adriano Lisboa Gomes

doi:10.5433/1679-0375.2004v25n2p163

Modelos orientados a estado na especificação de software

Autores

Adilson Luiz Bonifácio Universidade Estadual de Londrina
Fabio Adriano Lisboa Gomes Universidade Estadual de Campinas

DOI:

https://doi.org/10.5433/1679-0375.2004v25n2p163

Palavras-chave:

Máquina de estados finita, Modelagem formal, Especificação de sistemas

Resumo

Diversas técnicas de especificação estão sendo usadas no processo de desenvolvimento de software. Essas técnicas podem ser ou não formais, de acordo com o sistema em desenvolvimento. Neste trabalho, uma técnica de modelagem formal é aplicada num estudo de caso. Aqui, o modelo de Máquina de Estados Finita é usado para especificar as funcionalidades de uma calculadora, a qual modela as operações básicas de aritmética.

Downloads

Não há dados estatísticos.

Biografia do Autor

Adilson Luiz Bonifácio, Universidade Estadual de Londrina

Professor do Departamento de Ciência da Computação da Universidade Estadual de Londrina. Doutorando pelo Instituto de Computação da Unicamp.

Fabio Adriano Lisboa Gomes, Universidade Estadual de Campinas

Doutorando pelo Departamento de Comunicações (DECOM), Faculdade de Engenharia Elétrica e Computação (FEEC), Unicamp.

Downloads

Publicado

2004-12-15

Como Citar

Bonifácio, A. L., & Gomes, F. A. L. (2004). Modelos orientados a estado na especificação de software. Semina: Ciências Exatas E Tecnológicas, 25(2), 163–170. https://doi.org/10.5433/1679-0375.2004v25n2p163

Baixar Citação

Edição

v. 25 n. 2 (2004)

Seção

Artigos

Licença

Os Direitos Autorais para artigos publicados nesta revista são de direito do autor. Em virtude de aparecerem nesta revista de acesso público, os artigos são de uso gratuito, com atribuições próprias, em aplicações educacionais e não-comerciais. A revista se reserva o direito de efetuar, nos originais, alterações de ordem normativa, ortográfica e gramatical, com vistas a manter o padrão culto da língua e a credibilidade do veículo. Respeitará, no entanto, o estilo de escrever dos autores. Alterações, correções ou sugestões de ordem conceitual serão encaminhadas aos autores, quando necessário. Nesses casos, os artigos, depois de adequados, deverão ser submetidos a nova apreciação. As opiniões emitidas pelos autores dos artigos são de sua exclusiva responsabilidade.

Esta obra está licenciada com uma Licença Creative Commons Atribuição-NãoComercial 4.0 Internacional.