3 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
em Universidade Federal do Pará
Resumo:
Uma série de iniciativas para melhoria do processo de software surgiu recentemente visando melhorar a qualidade e a produtividade em organizações de desenvolvimento de software. Alguns modelos e normas têm buscado a implantação de melhorias no processo de desenvolvimento de software, o MPS.BR é um deles. Esse modelo de melhoria de processo é voltado para as micro, pequenas e médias empresas, de forma a atender as suas necessidades de negócio e foi o modelo escolhido para ser explorado nesse trabalho. Várias são as vantagens adquiridas com a implantação de um modelo de melhoria, umas delas é a definição de um processo sistemático de desenvolvimento de software, que auxilie tanto na qualidade e produtividade do processo quanto na qualidade do produto desenvolvido. Com um modelo de processo definido a organização pode contar com diversos benefícios associados à padronização, como, por exemplo, a otimização, a redução de custos com retrabalho, a redução de defeitos nos produtos, dentre outros. Mas não existem modelos prontos que possam ser aplicados diretamente a uma empresa específica de desenvolvimento de software e, por isso, é necessário modelar o processo, customizando-o, com o objetivo final de gerar um modelo que adequadamente represente o processo da organização. Uma das dificuldades para a implantação de modelos como o MPS.BR é a falta de metodologia que mostre como a implantação de melhoria deve ser feita e não apenas o que deve ser feito. Este trabalho propõe uma metodologia para a implementação do modelo MPS.BR baseada no modelo de implantação IDEAL, através de uma ferramenta específica, chamada WebAPSEE. A metodologia foi experimentada no CTIC - Centro de Tecnologia da Informação e Comunicação da UFPA que ao final do trabalho foi avaliado Nível G do MPS.BR.
Resumo:
Este trabalho apresenta o desenvolvimento de um algoritmo computacional para análise do espalhamento eletromagnético de nanoestruturas plasmônicas isoladas. O Método dos Momentos tridimensional (MoM-3D) foi utilizado para resolver numericamente a equação integral do campo elétrico, e o modelo de Lorentz-Drude foi usado para representar a permissividade complexa das nanoestruturas metálicas. Baseado nesta modelagem matemática, um algoritmo computacional escrito em linguagem C foi desenvolvido. Como exemplo de aplicação e validação do código, dois problemas clássicos de espalhamento eletromagnético de nanopartículas metálicas foram analisados: nanoesfera e nanobarra, onde foram calculadas a resposta espectral e a distribuição do campo próximo. Os resultados obtidos foram comparados com resultados calculados por outros modelos e observou-se uma boa concordância e convergência entre eles.
Resumo:
A tese investiga os desenhos curriculares do curso de Ciências Sociais da Universidade Federal do Pará. campus de Belém no período de 1963-2011. com o objetivo principal de refletir sobre o lugar da formação docente no referido curso. tendo em vista a relação que se estabelece entre o bacharelado e a licenciatura. De forma mais especifica, o estudo intenciona investigar e analisar as principais orientações que foram estabelecidas pelas propostas curriculares para 3 formação docente, assim como identificar como foram estruturados os desenhos curriculares para o referido curso e a forma como são contempladas as disciplinas voltadas para a licenciatura. A pesquisa foi feita a partir de levantamento bibliográfico sobre a temática em bibliotecas físicas e banco de dados virtuais, pesquisa documental realizada sobre os desenhos curriculares. Resoluções, ementas entre outros. Utilizou-se também de entrevistas semiestruturadas realizadas com docentes do curso com o objetivo de aprofundar e esclarecer questões não contidas nos documentos. O estudo utilizou como referencial teórico principal as contribuições da teoria critica do currículo, principalmente das obras de Michael Young, Basil Bernstein, António Flávio Moreira entres outros. Os resultados da pesquisa revelaram que as configurações locais dos desenhos curriculares do curso de Ciências Sociais deve-se em grande parte à fatores estruturais do sistema educacional brasileiro e que a consolidação da pós-graduação, em meados da década de 1960 e inicio de 1970, contribuiu para a aumentar a hierarquização entre as atividades de ensino e pesquisa, entre a graduação e a pós-graduação, entre o campo acadêmico e o escolar nos cursos de Ciências Sociais. As reformulações curriculares ocorridas no curso de Ciências Sociais mantiveram os padrões curriculares para a maioria dos cursos de Ciências Sociais no país desde sua criação. Os desenhos curriculares do curso de Ciências Sociais analisados se orientam por unia concepção de formação docente pautada no modelo de racionalidade técnica que favorece a separação entre a formação conteudista e a formação pedagógica, entre teoria e prática. Apesar das inúmeras reformulações curriculares ocorridas no curso de Ciências Sociais estas alterações mantiveram uma estrutura de organização disciplinar sob a tipologia do currículo coleção. em que as disciplinas singulares são orientadas para seu próprio desenvolvimento e protegidas por limites e hierarquias fortes. O currículo coleção caracterizado pelo enquadramento e classificação forte promove o isolamento entre as áreas do conhecimento o que contribuiu para a demarcação de fronteiras rígidas entre o campo das Ciências Sociais e Educação, entre a formação voltada para pesquisador e a formação orientada para professor.