Modelos orientados a estado na especificação de software

Adilson Luiz Bonifácio, Fabio Adriano Lisboa Gomes

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.

Palavras-chave


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

Texto completo:

PDF


DOI: http://dx.doi.org/10.5433/1679-0375.2004v25n2p163

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

Semin., Ciênc. Exatas Tecnol.

Londrina - PR

E-ISSN: 16790375

DOI: 10.5433/1679-0375

E-mail: seminaexatas@uel.br

 

 

Este obra está licenciado com uma Licença Creative Commons Atribuição-NãoComercial 4.0 Internacional