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

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Semina: Ciências Exatas e Tecnológicas/

Semina: Exact and Technological Sciences
Londrina - PR
ISSN Impresso/Print ISSN: 16765451

ISSN Eletrônico/EISSN: 16790375