Modelos orientados a estado na especificação de software

Adilson Luiz Bonifácio; Fabio Adriano Lisboa Gomes

doi:10.5433/1679-0375.2004v25n2p163

State-oriented models in software specification

Authors

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

Keywords:

Finite state machine, Formal modeling, System specification, Software development.

Abstract

Several specification techniques are being used in software development process. These techniques can be formal or not according to the developing system. In this work, a formal modeling technique is applied in a case study. The Finite State Machine model is used to specify the calculator functionalities, which models the basic arithmetical operations.

Downloads

Download data is not yet available.

Author Biographies

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

PDF (Português (Brasil))

Published

2004-12-15

How to Cite

Bonifácio, A. L., & Gomes, F. A. L. (2004). State-oriented models in software specification. Semina: Ciências Exatas E Tecnológicas, 25(2), 163–170. https://doi.org/10.5433/1679-0375.2004v25n2p163

Download Citation

Issue

Vol. 25 No. 2 (2004)

Section

Original Article

License

The Copyright Declaration for articles published in this journal is the author’s right. Since manuscripts are published in an open access Journal, they are free to use, with their own attributions, in educational and non-commercial applications. The Journal has the right to make, in the original document, changes regarding linguistic norms, orthography, and grammar, with the purpose of ensuring the standard norms of the language and the credibility of the Journal. It will, however, respect the writing style of the authors. When necessary, conceptual changes, corrections, or suggestions will be forwarded to the authors. In such cases, the manuscript shall be subjected to a new evaluation after revision. Responsibility for the opinions expressed in the manuscripts lies entirely with the authors.

This journal is licensed with a license Creative Commons Attribution-NonCommercial 4.0 International.