Verificaaao Formal
Mostrando 13-17 de 17 artigos, teses e dissertações.
-
13. Capital Humano e Rendimento dos trabalhadores das regiÃes Nordeste e Sudeste do Brasil: um modelo simultÃneo / Human capital and Income of the workers of the regions Northeast and Southeastern of Brazil: a simultaneous model
A teoria econÃmica e as evidÃncias empÃricas mostram que o capital humano à decisivo para determinar tanto os rendimentos individuais quanto a renda agregada. Como decorrÃncia, o capital humano à determinante do bem-estar individual. Nesse sentido, o presente estudo foge ao comum ao definir capital humano como um vetor de duas variÃveis tidas a priori
Publicado em: 2006
-
14. 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
-
15. 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
-
16. Modelagem e anÃlise de objetos como processos em CSP: padrÃo de projeto e estudo de caso
A fim de viabilizar maior interaÃÃo entre profissionais da Ãrea de saÃde, foram propostos protocolos de comunicaÃÃo,dentre os quais destacamos: HL7, DICOM, CORBAMed e GEHR. Decidimos especificar formalmente um subconjunto de um sistema de prontuÃrio eletrÃnico, baseado no modelo GEHR, pois existe um interesse real nesta formalizaÃÃo, pela comunidad
Publicado em: 2003
-
17. 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