State-oriented models in software specification
DOI:
https://doi.org/10.5433/1679-0375.2004v25n2p163Keywords:
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.Metrics
Downloads
Published
How to Cite
Issue
Section
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.
