Verificaaao Formal
Mostrando 1-12 de 17 artigos, teses e dissertações.
-
1. Ensino e aprendizagem em artes visuais: adultos com sÃndrome de Down em interaÃÃo / Teaching and learning in the visual arts: adults with Down syndrome in interaction
Esta pesquisa objetiva realizar atividades de ensino e aprendizagem de Artes Visuais com pessoas adultas que tem sÃndrome de Down em ambiente nÃo formal de ensino. Busca apontar e investigar formas de mediaÃÃo necessÃrias e possÃveis no ensino da arte para estes sujeitos, a importÃncia das interaÃÃes grupais na aprendizagem, as expectativas instituc
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/10/2012
-
2. Contratos formais para derivaÃÃo e verificaÃÃo de componentes paralelos. / Formal Contracts for Derivation and Verification of Parallel Componentes
A aplicaÃÃo de nuvens computacionais para oferecer serviÃos de ComputaÃÃo de Alto Desempenho (CAD) à um assunto bastante discutido no meio acadÃmico e industrial. Esta dissertaÃÃo està inserida no contexto do projeto de uma nuvem computacional para o desenvolvimento e execuÃÃo de aplicaÃÃes de CAD baseadas em componentes paralelos, doravante de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/09/2012
-
3. PRECISE - Um processo de verificaÃÃo formal para modelos de caracterÃsticas de aplicaÃÃes mÃveis e sensÃveis ao contexto / PRECISE - A Formal Verification Process for Feature Models for Mobile and Context-Aware Applications
As LPSs, alÃm do seu uso em aplicaÃÃes tradicionais, tÃm sido utilizadas no desenvolvimento de aplicaÃÃes que executam em dispositivos mÃveis e sÃo capazes de se adaptarem sempre que mudarem os elementos do contexto em que estÃo inseridas. Essas aplicaÃÃes, ao sofrerem alteraÃÃes devido a mudanÃas no seu ambiente de execuÃÃo, podem sofrer ada
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/08/2012
-
4. Abstraction of infinite and communicating CSPZ processes
Esta tese trata de um problema muito comum em verificaÃÃo formal: explosÃo de estados. O problema desabilita a verificaÃÃo automÃtica de propriedades atravÃs da verificaÃÃo de modelos. Isto à superado pelo uso de abstraÃÃo de dados, em que o espaÃo de estados de umsistema à reduzido usandoumprincÃpio simples: descartando detalhes de tal forma
Publicado em: 2009
-
5. Mapeando CSP em UML-RT
A integraÃÃo de mÃtodos formais com notaÃÃes semi-formais visuais à uma tendÃncia em engenharia de software. MÃtodos formais apresentam uma semÃntica precisa e permitem verificaÃÃo de propriedades. No entanto, nÃo sÃo considerados intuitivos. Por outro lado, notaÃÃes semi-formais visuais, como UML, sÃo facilmente integradas no processo de des
Publicado em: 2008
-
6. MODELOG : model-oriented development with executable logical object generation
UML (Unified Modeling Language) transpÃs sua proposta inicial de servir como notaÃÃo visual para construir rascunhos de modelos de alto nÃvel para software orientado a objetos. Uma sÃrie de extensÃes para a linguagem e o escopo de suas aplicaÃÃes foram propostas com forte sinergia entre si, tais como OCL, XMI, ASL, MOF, perfis UML e diferentes propos
Publicado em: 2007
-
7. Modelagem e anÃlise do software embarcado de piloto automÃtico de um VANT.
Entre as principais dificuldades do desenvolvimento de software de qualidade està a especificaÃÃo e o projeto conceitual. Neste contexto, a modelagem de sistemas tem um papel importante, pois torna possÃvel a anÃlise das caracterÃsticas do projeto e sua validaÃÃo antes da fase de implementaÃÃo. Esta tese aborda o problema de modelagem e anÃlise do
Publicado em: 2007
-
8. Modelling and Integrating Formal Models: from Test Cases and Requirements Models
A especificaÃÃo formal de um sistema ou seu modelo formal à uma forma abstrata de representar suas propriedades (caracterÃsticas). MÃtodos formais à um ramo da Engenharia de Software com foco no desenvolvimento de sistemas tendo uma especificaÃÃo formal do mesmo como ponto de partida. Inicialmente, as vantagens de usar notaÃÃes abstratas antes da i
Publicado em: 2007
-
9. Mapeamento UML-RT para p-calculus.
A UML (Unified Modeling Language) Ã uma linguagem de modelagem para especificar, construir e documentar artefatos de sistemas de software. A UML-RT, usada pela ferramenta Rational Rose RealTime (RoseRT), Ã uma extensÃo da UML que permite a modelagem de sistemas de tempo real distribuÃdos e guiados por evento. A UML-RT nÃo possui semÃntica formal, logo
Publicado em: 2006
-
10. VerificaÃÃo de modelos para programas em um subconjunto de JCSP
A veriÂcaÂc~ao de modelos formais gerados a partir de programas concorrentes tem sido bem aceita na indÃstria e na academia durante a fase de testes. A busca por qualidade de software tem motivado este uso, principalmente pelo fato de que testar programas concorrentes nÃo à uma tarefa trivial e à suscetÃvel a erros. Os modelos sÃo descritos atravÃs
Publicado em: 2006
-
11. GeraÃÃo automÃtica de casos de teste CSP orientada por propÃsitos
O processo de desenvolvimento de software està sujeito a inserÃÃo de erros diversos cuja presenÃa compromete a qualidade final dos produtos de software. Teste à uma atividade dinÃmica e bastante custosa dentro das vÃrias empregadas pela Garantia da Qualidade de Software. O objetivo de teste à demonstrar que um comportamento especÃfico (cenÃrio) de
Publicado em: 2006
-
12. O FenÃmeno da Mentoria Informal no Desenvolvimento Profissional e Pessoal dos IndivÃduos: Um Estudo de Caso na SuperintendÃncia Regional da Receita Federal na 4Â RegiÃo Fiscal
Este estudo verificou como ocorrem as relaÃÃes informais de mentoria nos relacionamentos profissionais entre colegas mais experientes e novatos na SuperintendÃncia Regional da Receita Federal na 4Â RegiÃo Fiscal â SRRF04, conforme o modelo de KRAM (1985) e validado por NOE (1988) (chamado de Modelo Internacional). A partir dessa verificaÃÃo, foram co
Publicado em: 2006