Sustentabilidade e responsabilidade socioambiental: crenças provendo a formação de graduandos em administração

This research aims to focus on the education problem, since its source of development is the Research Base: Teachers Training and Qualification of UFRN. Therefore, we seek guidance in the beliefs in sustainability to propose plausible alternatives to promote the education process of UFRN administration undergraduates in order to meet the demands of a market-oriented society, since the market trend is to evolve from environmental guided activities, and future administrators should be trained to meet those conditions. The need to develop an instrument capable of understanding the beliefs of undergraduates on the sustainability problem becomes the object of analysis. This research aims to develop a normative questionnaire to study administration students beliefs in sustainability. The complexity and sensitivity of this research required the integration of various methodological procedures. These proposals were made as follows: analysis and selection of literature, expert validation procedures and psychometric methods and statistics. As for the literature, types of sustainability were identified and categorized, such as: political, social, economic and environmental sustainability. However, it is understood that the educational type, although included in all of those, needed to be converted into another type to fit the theme, since education is believed to be the best way to raise awareness about sustainability. Thus, it was required the categorization of the types, which was defined using criteria such as: contexts, objectives, goals, pathways and hypotheses. The normative questionnaire was the guiding instrument to investigate the role of administration students, regarding the level of knowledge established and regulated by social educational context, especially by becoming a basic condition for carrying out research on beliefs. The study confirmed that the types of sustainability - political, social, economic, environmental and educational - for having institutionalized literatures as sources, in international and national levels, are representative in the identification of future administrators. Therefore, it is believed that the types of sustainability categorized to provide a characterization of sustainability include the structuring of knowledge for undergraduates. The economic and political types, however, were not as representative with respect to their typicality and polarity indices as the educational, environmental and social ones. Although the beliefs of the undergraduates show how much they share ideas on all types, they present more identification with the educational and environmental types. Finally, it is expected that this instrument be subject to application in similar contexts so that it can ascertain whether such statements are part of the knowledge structure of future administrators from other institutions. Therefore, it is expected this strategy to strengthen the validation of the normative questionnaire

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation

On rich modal logics

I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I’d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Donátila and Aline are my nuclear family in Natal. I thank my fiancée Luclécia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn’t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski