Modelos orientados a estado na especificação de software
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 F...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Estadual de Londrina
2004-12-01
|
| Series: | Semina: Ciências Exatas e Tecnológicas |
| Subjects: | |
| Online Access: | https://ojs.uel.br/revistas/uel/index.php/semexatas/article/view/1571 |