Abstraaao
Mostrando 25-30 de 30 artigos, teses e dissertações.
-
25. O primado da norma principiolÃgica na interpretaÃÃo jurÃdica de inspiraÃÃo democrÃtica
Os ordenamentos jurÃdicos modernos sÃo compostos de regras e de princÃpios, espÃcies do gÃnero norma jurÃdica, nÃo obstante tal premissa nÃo ser um topoi universal aceito. Os princÃpios sÃo normas de baixa densidade e elevado grau de abstraÃÃo que nÃo se prestam a solucionar diretamente casos concretos, mas encerram as opÃÃes valorativas da so
Publicado em: 2003
-
26. Efficient mechanised analysis of infinite CSPz specifications: strategy and tool support
In concurrent systems modelling, the use of different formal languages has been an alternative very used in the last years. Process algebras (like CSP and CCS) are adequate to model behaviour, while languages based on mathematical models (like Z and VDM) are more suitable to describe data aspects. Integrated languages have appeared in order to provide suppor
Publicado em: 2003
-
27. Development of geoinformation system as has supported to the management of the nets of water distribution / Desenvolvimento de sistema de geoinformaÃÃo como suporte ao gerenciamento das redes de distribuiÃÃo de Ãgua
A pesquisa apresenta o desenvolvimento de um aplicativo em SIG que possibilita o gerenciamento das redes de abastecimento de Ãgua. Com este sistema aplicativo tornar-se-Ã possÃvel determinar quais vÃlvulas devem ser acionadas em caso de vazamentos e manutenÃÃes na rede de abastecimento, e os consumidores que serÃo afetados com a manobra. Para a sua cr
Publicado em: 2003
-
28. GeraÃÃo e execuÃÃo de testes de aceitaÃÃo de sistemas web
A fim de tornar os sistemas Web mais robustos, a construÃÃo de testes de softwares Web e sua automaÃÃo vem sendo enfatizada por metodologias de desenvolvimento. A metodologia Extreme Programming (XP), por exemplo, tem destacado a atividade de teste (em particular, os testes de aceitaÃÃo e de unidade) como uma das prÃticas de programaÃÃo chaves para
Publicado em: 2002
-
29. Model checking CSPZ: Techniques to overcome state explosion
Hoje em dia, notamos um crescente interesse na tÃcnica de verificaÃÃo de modelos por acadÃmicos e por profissionais da indÃstria. A razÃo disso talvez esteja na habilidade dos verificadores de modelos|implementaÃÃes de algoritmos de verificaÃÃo de modelos|serem totalmente automÃticos: nÃo hà intervenÃÃo do usuÃrio durante a anÃlise. Com cert
Publicado em: 2001
-
30. 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