Diversas técnicas de especificação estão sendo usadas no processo de desenvolvimento de software.... more 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. Palavras-chave: máquina de estados finita; modelagem formal; especificação de sistemas; desenvolvimento de software.
Diversas técnicas de especificação estão sendo usadas no processo de desenvolvimento de software.... more 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. Palavras-chave: máquina de estados finita; modelagem formal; especificação de sistemas; desenvolvimento de software.
Diversas técnicas de especificação estão sendo usadas no processo de desenvolvimento de software.... more 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. Palavras-chave: máquina de estados finita; modelagem formal; especificação de sistemas; desenvolvimento de software.
Diversas técnicas de especificação estão sendo usadas no processo de desenvolvimento de software.... more 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. Palavras-chave: máquina de estados finita; modelagem formal; especificação de sistemas; desenvolvimento de software.
Diversas técnicas de especificação estão sendo usadas no processo de desenvolvimento de software.... more 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. Palavras-chave: máquina de estados finita; modelagem formal; especificação de sistemas; desenvolvimento de software.
Diversas técnicas de especificação estão sendo usadas no processo de desenvolvimento de software.... more 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. Palavras-chave: máquina de estados finita; modelagem formal; especificação de sistemas; desenvolvimento de software.
Diversas técnicas de especificação estão sendo usadas no processo de desenvolvimento de software.... more 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. Palavras-chave: máquina de estados finita; modelagem formal; especificação de sistemas; desenvolvimento de software.
Diversas técnicas de especificação estão sendo usadas no processo de desenvolvimento de software.... more 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. Palavras-chave: máquina de estados finita; modelagem formal; especificação de sistemas; desenvolvimento de software.
Uploads
Papers by Fabio Adriano