State-oriented models in software specification
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.
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Estadual de Londrina
2004-01-01
|
| Series: | Semina: Ciências Exatas e Tecnológicas |
| Subjects: | |
| Online Access: | http://www.uel.br/revistas/uel/index.php/semexatas/article/view/1571 |
| _version_ | 1818232050397741056 |
|---|---|
| author | Adilson Luiz Bonifácio Fabio Adriano Lisboa Gomes |
| author_facet | Adilson Luiz Bonifácio Fabio Adriano Lisboa Gomes |
| author_sort | Adilson Luiz Bonifácio |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-12T11:00:07Z |
| format | Article |
| id | doaj.art-fad35006aa2c4ede83af42ae6d203ae9 |
| institution | Directory Open Access Journal |
| issn | 1676-5451 1679-0375 |
| language | English |
| last_indexed | 2024-12-12T11:00:07Z |
| publishDate | 2004-01-01 |
| publisher | Universidade Estadual de Londrina |
| record_format | Article |
| series | Semina: Ciências Exatas e Tecnológicas |
| spelling | doaj.art-fad35006aa2c4ede83af42ae6d203ae92022-12-22T00:26:34ZengUniversidade Estadual de LondrinaSemina: Ciências Exatas e Tecnológicas1676-54511679-03752004-01-01252163170State-oriented models in software specificationAdilson Luiz BonifácioFabio Adriano Lisboa GomesThese 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.http://www.uel.br/revistas/uel/index.php/semexatas/article/view/1571Máquina de estados finitaModelagem formalEspecificação de sistemas |
| spellingShingle | Adilson Luiz Bonifácio Fabio Adriano Lisboa Gomes State-oriented models in software specification Semina: Ciências Exatas e Tecnológicas Máquina de estados finita Modelagem formal Especificação de sistemas |
| title | State-oriented models in software specification |
| title_full | State-oriented models in software specification |
| title_fullStr | State-oriented models in software specification |
| title_full_unstemmed | State-oriented models in software specification |
| title_short | State-oriented models in software specification |
| title_sort | state oriented models in software specification |
| topic | Máquina de estados finita Modelagem formal Especificação de sistemas |
| url | http://www.uel.br/revistas/uel/index.php/semexatas/article/view/1571 |
| work_keys_str_mv | AT adilsonluizbonifacio stateorientedmodelsinsoftwarespecification AT fabioadrianolisboagomes stateorientedmodelsinsoftwarespecification |