Matodos Formais
Mostrando 13-19 de 19 artigos, teses e dissertações.
-
13. DefiniÃao e implementacÃo do sistema de tipos da linguagem Circus
A busca constante pelo desenvolvimento de sistemas de software com qualidade vem despertando o interesse das grandes empresas na aplicaÃÃo de tÃcnicas formais. Dentre as linguagens formais, existem aquelas prÃprias para a modelagem de dados complexos, tal como Z, e outras prÃprias para a modelagem de comunicaÃÃo e concorrÃncia, tal como CSP. Circus �
Publicado em: 2006
-
14. A framework for the specification and validation of Real Time Systems using Circus Action / A framework for the specification and validation of Real Time Systems using Circus Action
Circus à uma linguagem de especificaÃÃo e programaÃÃo que combina CSP, Z, e construtores do CÃlculo de Refinamento. A semÃntica de Circus està baseada na Unifying Theories of Programming (UTP). Neste trabalho estendemos um subconjunto de Circus com operadores de tempo. A nova linguagem à denominada de Circus Time Action. Propomos um modelo novo do t
Publicado em: 2006
-
15. Desenvolvimento rigoroso com uml-rt
Como outros mÃtodos visuais orientados a objetos, UML tem influenciado tremendamente a prÃtica de modelagem na engenharia de software com ricos mecanismos de estruturaÃÃo. PorÃm, apesar de suas vantagens e adoÃÃo em larga escala, na prÃtica, a falta de uma semÃntica formal tem dificultado o desenvolvimento rigoroso baseado em modelos de aplicaÃÃes
Publicado em: 2005
-
16. Basic laws of object modeling
Laws of programming are important not only to define the axiomatic semantics of programming languages but also to assist in the software development process. In fact, these laws can be used as the foundation for informal development practices, such as refactorings, widely adopted due to modern methodologies, in special Extreme Programming. Although they have
Publicado em: 2004
-
17. Uma estratÃgia para a composiÃÃo formal de frameworks
Framework based development has been presented as the next step towards better software reuse. The increasing complexity of computer systems requires the level of reuse that framework composition can achieve. In this scenario, new framework documentation and specification techniques that can eliminate behavior ambiguities and imprecision are overdue. The str
Publicado em: 2004
-
18. Um modelo de referÃncia para sistemas hipermÃdia adaptativos educacionais.
A falta de representaÃÃo explÃcita e independente de um metamodelo instrucional na estrutura dos modelos de referÃncia para Sistemas HipermÃdia Adaptativos Educacionais (SHAEs) nÃo permite que as aplicaÃÃes derivadas possam utilizar diferentes modelos instrucionais. Em geral, os modelos de referÃncia para SHAEs permitem que as aplicaÃÃes derivadas
Publicado em: 2003
-
19. A semÃntica formal de MooZ
Este trabalho descreve uma semÃntica formal para MooZ, uma extensÃo Âa linguagem Z proposta pelo Grupo de EspecificaÃÃes Formais do DI/UFPE. Os conceitos fundamentais de orientaÃÃo a objetos foram incluÃdos em MooZ: abstraÃÃo, encapsulamento, modularidade e hierarquia. A semÃntica formal à apresentada como uma extensÃo à semÃntica de variedade
Publicado em: 1993