Voltar
Artigo Acesso aberto Produção Nacional
BIBTEX RIS

Modelos orientados a estado na especificação de software

2004; UNIVERSIDADE ESTADUAL DE LONDRINA; Volume: 25; Issue: 2 Linguagem: Português

10.5433/1679-0375.2004v25n2p163

ISSN

1679-0375

Autores

Adilson Luiz Bonifácio, F.A.L. Gomes,

Tópico(s)

Advanced Software Engineering Methodologies

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.

Referência(s)