Pesquisas recentes na área de especificação são enfáticas no use pratico de especificações formais no projeto de programas. Uma maneira de satisfazer isto, e providenciando linguagens de especificação que sejam acessíveis simultaneamente a projetistas, a especificadores e a programadores. A abordagem Larch esta orientada a especificação de módulos de programas a serem implementados em uma linguagem de programação particular. Cada especificação Larch tem dois componentes: uma escrita em uma linguagem derivada de uma linguagem de programação, chamada Linguagem de Interface Larch; e outra escrita em uma linguagem comum e independente de qualquer linguagem de programação, chamada Linguagem Compartilhada Larch. Abstrações são formuladas na linguagem Compartilhada. As linguagens de Interface (orientadas a predicados) são usadas para descrever o comportamento de procedimentos. As descrições dadas nas linguagens de interface são dadas em termos destas abstrações e podem também incluir manipulações de erros, situações de exceção e limites de implementação. Este trabalho apresenta um estudo da família de linguagens Larch e uma aplicação das mesmas a um problema prático. Na primeira parte, faz-se uma descrição da Linguagem Compartilhada Larch (sintaxe, semântica, consistência, completeza, gramática, núcleo) a das linguagens de Interface Larch com exemplos orientados a linguagem de programação Pascal. Na segunda parte, apresenta - se a especificação do modelo relacional para banco de dados, também orientado a programadores em Pascal. O núcleo desta especificação esta contida em [GUT 85) e é um conjunto de módulos de relações e estruturas matemáticas. Depois segue a especificação de conjunto, lista, duas, relação e banco de dados relacional. Cada especificação, al6m das duas componentes já mencionadas tem uma parte de comentários que é utilizada somente para fins didáticos e entender melhor a especificação. / Recent research on the specification area is emphatic on the practical use of formal specifications in programs design. One way to satisfy this, is the supply of specification languages that could be accessible simultaneously to designers, specifiers and programmers. The Larch approach is geared towards specifying program modules to be implemented in particular programming languages. Each Larch specification has two components: one written in a language derived from a programming language, called Larch Interface Language; and another component written in a language independent of any programming language, called Larch Shared Language. Abstractions are formulated in the Shared Language. The Interface Language (predicate-oriented) is used to describe the intended behaviour of procedures. Descriptions given in the interface languages are given in terms of those abstractions and might also include error and exception handling situations and implementation limits. This work presents a study of the family of Larch Languages and their aplication to a practical problem. The first part is a description of Larch Shared Language (syntax, semantics, consistency, completeness, grammar, kernel) and Larch Interface Language with examples oriented to Pascal programming language. The second part presents the specification of the relational model for databse, also oriented to Pascal programmers. The kernel of this specification is taken from [GUT 85) and is a modules set of relations and mathematical structures. This is followed by specification of concept of set, list, tuple, relation and relational database. Each specification, besides the two component mentioned above, has a commentary used only for didactic purpose and to explain better the specification.

Made available in DSpace on 2016-08-29T11:03:54Z (GMT). No. of bitstreams: 1 tese_7548_LETICIA NASSAR MATOS MESQUITA.pdf: 63771193 bytes, checksum: d2891916fa1420702c5f65b8f9a66b5b (MD5) Previous issue date: 2014-03-21 / O presente estudo tem como temática o discurso prescritivo da mídia impressa direcionada ao público feminino jovem no Brasil. O corpus é a revista CAPRICHO, publicada pela Editora Abril desde 1952 e que atualmente é a publicação dirigida às jovens de maior circulação no País. Os exemplares em estudo correspondem ao período de janeiro de 2010 a dezembro de 2011, quando a revista completou 21 anos de reforma gráfica e editorial. Objetivamos analisar como as estratégias discursivas e narrativas investem valores em circulação na revista que dão as condições de desenvolver habilidades, comportamentos e atitudes na jovem leitora, tornando a publicação uma mídia cartilha que ensina certos modos de presença no mundo que configuram o jeito Capricho de ser. A nossa tese é de que a CAPRICHO é um veículo de comunicação didático, uma espécie de cartilha que dita comportamentos, modos de apresentação de ser e estar no mundo, evidenciando questões de gênero, especialmente no que se refere às jovens brasileiras. Para defender essa tese, foram testadas as seguintes hipóteses: a) esse jeito Capricho de ser é construído por reiterações de estratégias discursivas e narrativas que fazem circular os valores e axiologias do social; b) o sincretismo de linguagens exerce um papel de relevo no convencimento da leitora; c) a interação intersubjetiva de intimidade é o que caracteriza a interação entre enunciador e enunciatário no grau de proximidade que marca o aconselhar e o seguir o aconselhamento; d) a estratégia de manipulação por sedução encobre o discurso prescritivo que é valorizado como partícipe do dia a dia; e) por essa condição de presença valorizada na rotina como manual que faz sentido para ser no mundo, a revista é elevada a objeto de coleção; f) como manual de consulta ao alcance, ela pode sair da estante nas necessidades das jovens leitoras. Embasam as análises os aportes teóricos e metodológicos da semiótica discursiva, com ênfase nos estudos do sincretismo de linguagens. Esses exames nos levaram a concluir que a cartilha Capricho educa, a partir da relação entre uma plasticidade rica e de uma verbalidade extraída do enunciar jovem, assujeitando a leitora aos valores sociais destinados à mulher brasileira: amabilidade, sociabilidade atrelada à estética e a importância dos estudos para o mercado de trabalho. Todos embasados nos modos do parecer que têm nas propostas de consumo, inseridas em suas seções, a mola propulsora para fazer-crer à leitora ser ela a sua destinadora. A relevância da tese também está em provar que as análises das relações entre o visual e o verbal escrito são essenciais para a apreensão da significação de um texto sincrético e na construção de um sujeito-leitor crítico.

Programa de Pós-Graduação em História. Departamento de História, Instituto de Ciências Humanas e Sociais, Universidade Federal de Ouro Preto. / Submitted by Oliveira Flávia (flavia@sisbin.ufop.br) on 2015-04-08T21:38:25Z No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_DefesaHonraProcessos.pdf: 1766181 bytes, checksum: 911198a1bc1eec18eafd469856021ee1 (MD5) / Approved for entry into archive by Gracilene Carvalho (gracilene@sisbin.ufop.br) on 2015-04-09T10:56:37Z (GMT) No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_DefesaHonraProcessos.pdf: 1766181 bytes, checksum: 911198a1bc1eec18eafd469856021ee1 (MD5) / Made available in DSpace on 2015-04-09T10:56:37Z (GMT). No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_DefesaHonraProcessos.pdf: 1766181 bytes, checksum: 911198a1bc1eec18eafd469856021ee1 (MD5) Previous issue date: 2014 / A presente dissertação investiga as ações de injúria propostas no foro secular, durante o século XVIII, em Mariana, com o propósito de analisar a aplicação do direito na defesa da honra, considerando as virtudes que delimitavam o papel da honra naquela sociedade. O estudo discute os aspectos ligados ao Antigo Regime e a natureza das relações entre a jurisdição e a administração sugerindo características para a diferenciação entre os sistemas de mercês e os contratos, partindo dos estudos sobre a dádiva e pagamento. A sociedade mineira no século XVIII estava em formação. No mesmo período, o império português estava em transformação. Na pouca presença dos estratos mais rígidos Antigo Regime português, a sociedade mineira apresentou mais mobilidade social, além de características próprias, oriundas da presença indelével da escravidão. Contudo, os valores do Antigo Regime se mantiveram presentes, embora já atingidos pelas mudanças do pensamento liberal, cuja evidência pode ser vista através da mudança no sistema de mercês que passou a conviver com um regime francamente contratual. ____________________________________________________________________________ / ABSTRACT: This dissertation investigates the actions of injury proposed in secular court, during the eighteenth century, in Mariana, for the purpose of analyzing the application of law in defense of honor, considering the virtues which marked the honor role in that society. The study discusses aspects related to the Old Regime and the nature of relations between the jurisdiction and the administration suggesting features for differentiation between systems favors and contracts, based on the studies of the gift and payment. The society of Minas in the eighteenth century was in generating. In the same period, the Portuguese empire was changing. The little presence of the strictest layer Portuguese Ancient Regime, the society of Minas had more social mobility, in addition to its own characteristics, arising from the indelible presence of slavery. However, the values of the Old Regime remained present, although already achieved by changes of liberalism, whose evidence can be seen through the change in the system that favors started living with a frankly contractual basis.

Programa de Pós-Graduação em História. Departamento de História, Instituto de Ciências Humanas e Sociais, Universidade Federal de Ouro Preto. / Submitted by Oliveira Flávia (flavia@sisbin.ufop.br) on 2015-10-13T18:35:06Z No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_RomantismoCiênciaDoutor.pdf: 4904684 bytes, checksum: d4a03e57a201331ac0c3d2cbb689abf9 (MD5) / Approved for entry into archive by Gracilene Carvalho (gracilene@sisbin.ufop.br) on 2015-10-26T13:02:26Z (GMT) No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_RomantismoCiênciaDoutor.pdf: 4904684 bytes, checksum: d4a03e57a201331ac0c3d2cbb689abf9 (MD5) / Made available in DSpace on 2015-10-26T13:02:26Z (GMT). No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_RomantismoCiênciaDoutor.pdf: 4904684 bytes, checksum: d4a03e57a201331ac0c3d2cbb689abf9 (MD5) Previous issue date: 2014 / A presente dissertação discute a perspectiva de ciência encontrada no romance-folhetim O doutor Benignus (1875), obra literária escrita no Brasil por Augusto Emílio Zaluar e à época apresentada como meio de “vulgarização científica”. Ao narrar os desdobramentos de uma expedição científica dirigida ao sertão brasilei-ro, tal ficção constrói uma concepção de ciência fortemente estruturada pelas no-vas experiências epistemológicas (surgimento do homem como sujeito e objeto do conhecimento), temporais (afastamento entre o espaço de experiência e o horizon-te de expectativa, movimento radicalizado pela ideia de progresso) e literárias (Romantismo) fomentadas pelo mundo moderno. ______________________________________________________________________________________________ / ABSTRACT: This research discusses the science prospect found in the serial novel O doutor Benignus (1875), a literary work, written in Brazil by Augusto Emilio Zaluar, which was presented at the time as a means of "vulgarização científica" (i.e. scientific vulgarization: a historical Portuguese term used to refer to the evo-lution of the public understanding of science). By narrating the unfolding of a scientific expedition to the Brazilian backlands, such fiction constructs a science conception strongly structured by new epistemological experiences (the emergen-ce of man as subject and object of knowledge), temporal experiences (the distance between the space of experience and the horizon of expectation, a movement radi-calized by the idea of progress), and literary experiences (Romanticism) fostered by the modern world.

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. / Made available in DSpace on 2012-10-18T22:28:55Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T02:23:42Z : No. of bitstreams: 1 150950.pdf: 7650809 bytes, checksum: 542b0f25306ed93ca6f3203b350e3f4f (MD5)

O trabalho descreve a implementação do Sistema Pascal Concorrente de Brinch Hansen no minicomputador LABO-B034 (Nixdorf B870/1). O sistema e composto por Bois compiladores - um para Pascal Concorrente a outro Para Pascal Seqüencial - o um sistema operacional básico, mono-usuário, clue Paden' ser usados Para desenvolvimento de outros sistemas operacionais, em linguagem de alto nível. 0 trabalho de implementação inclui o estudo do sistema de Brinch Hansen, a criação de dois programas em Assembler do LABO-8034 - um "kernel", clue executa as funções básicas do sistema, e um interpretador para o código virtual morado pelos compitadores - e a definição a inicialização de um disco com o sistema. / The implementation of the Brinch Hansen's Concurrent Pascal System on the LABO-8034 computer (Nixdorf 8870/1) is described. The system comprises two compilers - the Concurrent Pascal compiler and the Sequential Pascal compiler - and a basic operating system, single user oriented, suitable for the development of operating systems using a high level language (Pascal). The work includes the understanding of the Brinch Hansen's system, the development of two assembly programs - a kernel that executes the basic functions of operating systems and an interpreter for the virtual code generated by the Pascal compilers - and also the definition and generatic of the system.

Pesquisas recentes na área de especificação são enfáticas no use pratico de especificações formais no projeto de programas. Uma maneira de satisfazer isto, e providenciando linguagens de especificação que sejam acessíveis simultaneamente a projetistas, a especificadores e a programadores. A abordagem Larch esta orientada a especificação de módulos de programas a serem implementados em uma linguagem de programação particular. Cada especificação Larch tem dois componentes: uma escrita em uma linguagem derivada de uma linguagem de programação, chamada Linguagem de Interface Larch; e outra escrita em uma linguagem comum e independente de qualquer linguagem de programação, chamada Linguagem Compartilhada Larch. Abstrações são formuladas na linguagem Compartilhada. As linguagens de Interface (orientadas a predicados) são usadas para descrever o comportamento de procedimentos. As descrições dadas nas linguagens de interface são dadas em termos destas abstrações e podem também incluir manipulações de erros, situações de exceção e limites de implementação. Este trabalho apresenta um estudo da família de linguagens Larch e uma aplicação das mesmas a um problema prático. Na primeira parte, faz-se uma descrição da Linguagem Compartilhada Larch (sintaxe, semântica, consistência, completeza, gramática, núcleo) a das linguagens de Interface Larch com exemplos orientados a linguagem de programação Pascal. Na segunda parte, apresenta - se a especificação do modelo relacional para banco de dados, também orientado a programadores em Pascal. O núcleo desta especificação esta contida em [GUT 85) e é um conjunto de módulos de relações e estruturas matemáticas. Depois segue a especificação de conjunto, lista, duas, relação e banco de dados relacional. Cada especificação, al6m das duas componentes já mencionadas tem uma parte de comentários que é utilizada somente para fins didáticos e entender melhor a especificação. / Recent research on the specification area is emphatic on the practical use of formal specifications in programs design. One way to satisfy this, is the supply of specification languages that could be accessible simultaneously to designers, specifiers and programmers. The Larch approach is geared towards specifying program modules to be implemented in particular programming languages. Each Larch specification has two components: one written in a language derived from a programming language, called Larch Interface Language; and another component written in a language independent of any programming language, called Larch Shared Language. Abstractions are formulated in the Shared Language. The Interface Language (predicate-oriented) is used to describe the intended behaviour of procedures. Descriptions given in the interface languages are given in terms of those abstractions and might also include error and exception handling situations and implementation limits. This work presents a study of the family of Larch Languages and their aplication to a practical problem. The first part is a description of Larch Shared Language (syntax, semantics, consistency, completeness, grammar, kernel) and Larch Interface Language with examples oriented to Pascal programming language. The second part presents the specification of the relational model for databse, also oriented to Pascal programmers. The kernel of this specification is taken from [GUT 85) and is a modules set of relations and mathematical structures. This is followed by specification of concept of set, list, tuple, relation and relational database. Each specification, besides the two component mentioned above, has a commentary used only for didactic purpose and to explain better the specification.

Made available in DSpace on 2015-09-25T02:04:58Z (GMT). No. of bitstreams: 1 000475171-Texto+Completo-0.pdf: 23619666 bytes, checksum: 28243e1337b86bf3d0ef2cd45f2a0717 (MD5) Previous issue date: 2015 / Argumentation appears in two main lines of research in the field of multi-agent systems: argumentation-based reasoning and argumentation-based dialogues. In this document we present an approach exploring both of those lines of research. First, we develop an argumentation-based reasoning mechanism in an agent-oriented programming language based on the BDI architecture. This reasoning mechanism is based on a defeasible logic formalism and the notion of defeasible semantics. Using that argumentation-based reasoning mechanism, agents can reason under uncertainty and can use arguments to supports their claims when engaging in multi-agent dialogues. Second, we give operational semantics to a set of speech acts found in the literature on argumentation-based dialogues. That semantics is also given in the context ofBDI-inspired agentorlented programming languages. Next, we define a protocol for argumentation-based dialogues for task reallocation, using the reasoning mechanism and the operational semantics. We prove that the protocol terminates and that it can reach ideal solutions under certain assumptions. Finally, we descrlbe an application domain used as case study, and we evaluate our work with some examples of real problems from that application scenario. / Argumentação aparece em duas principais linhas de pesquisa no campo de sistemas multi-agentes: raciocínio baseado em argumentação e diálogos baseados em argumentação. Neste documento nós apresentamos uma abordagem que explora essas duas linhas de pesquisa. Primeiro) nós desenvolvemos um mecanismo de raciocínio baseado em argumentação em uma linguagem de programação orientada a agentes, a qual é baseada na arquitetura BDI. Este mecanismo de raciocínio é baseado no formalismo de defeasible logic e na noção da semântica defeasible. Usando este mecanismo de raciocínio baseado em argumentação, agentes podem raciocinar sobre incertezas e podem usar argumentos para dar suporte às suas alegações quando envolvidos em diálogos multiagentes. Segundo, nós damos semântica operacional para um conjunto de atos de fala encontrados na literatura de diálogos baseados em argumentação. Esta semântica é também dada no contexto de linguagens de programação orientada a agentes inspiradas pela arquitetura BDI. Além dissot nós definimos um protocolo para diálogos baseados em argumentação para realocação de tarefas, considerando o mecanismo de raciocínio e a semântica operacional apresentados. Provou-se que o protocolo termina e que atinge soluções ideais, dados alguns pressupostos desse trabalho. Finalmente, nós descrevemos um domínio de aplicação usado como estudo de caso, e avaliamos nosso trabalho com alguns exemplos de problemas reais dentro desse cenário da aplicação.

O trabalho descreve a implementação do Sistema Pascal Concorrente de Brinch Hansen no minicomputador LABO-B034 (Nixdorf B870/1). O sistema e composto por Bois compiladores - um para Pascal Concorrente a outro Para Pascal Seqüencial - o um sistema operacional básico, mono-usuário, clue Paden' ser usados Para desenvolvimento de outros sistemas operacionais, em linguagem de alto nível. 0 trabalho de implementação inclui o estudo do sistema de Brinch Hansen, a criação de dois programas em Assembler do LABO-8034 - um "kernel", clue executa as funções básicas do sistema, e um interpretador para o código virtual morado pelos compitadores - e a definição a inicialização de um disco com o sistema. / The implementation of the Brinch Hansen's Concurrent Pascal System on the LABO-8034 computer (Nixdorf 8870/1) is described. The system comprises two compilers - the Concurrent Pascal compiler and the Sequential Pascal compiler - and a basic operating system, single user oriented, suitable for the development of operating systems using a high level language (Pascal). The work includes the understanding of the Brinch Hansen's system, the development of two assembly programs - a kernel that executes the basic functions of operating systems and an interpreter for the virtual code generated by the Pascal compilers - and also the definition and generatic of the system.

Pesquisas recentes na área de especificação são enfáticas no use pratico de especificações formais no projeto de programas. Uma maneira de satisfazer isto, e providenciando linguagens de especificação que sejam acessíveis simultaneamente a projetistas, a especificadores e a programadores. A abordagem Larch esta orientada a especificação de módulos de programas a serem implementados em uma linguagem de programação particular. Cada especificação Larch tem dois componentes: uma escrita em uma linguagem derivada de uma linguagem de programação, chamada Linguagem de Interface Larch; e outra escrita em uma linguagem comum e independente de qualquer linguagem de programação, chamada Linguagem Compartilhada Larch. Abstrações são formuladas na linguagem Compartilhada. As linguagens de Interface (orientadas a predicados) são usadas para descrever o comportamento de procedimentos. As descrições dadas nas linguagens de interface são dadas em termos destas abstrações e podem também incluir manipulações de erros, situações de exceção e limites de implementação. Este trabalho apresenta um estudo da família de linguagens Larch e uma aplicação das mesmas a um problema prático. Na primeira parte, faz-se uma descrição da Linguagem Compartilhada Larch (sintaxe, semântica, consistência, completeza, gramática, núcleo) a das linguagens de Interface Larch com exemplos orientados a linguagem de programação Pascal. Na segunda parte, apresenta - se a especificação do modelo relacional para banco de dados, também orientado a programadores em Pascal. O núcleo desta especificação esta contida em [GUT 85) e é um conjunto de módulos de relações e estruturas matemáticas. Depois segue a especificação de conjunto, lista, duas, relação e banco de dados relacional. Cada especificação, al6m das duas componentes já mencionadas tem uma parte de comentários que é utilizada somente para fins didáticos e entender melhor a especificação. / Recent research on the specification area is emphatic on the practical use of formal specifications in programs design. One way to satisfy this, is the supply of specification languages that could be accessible simultaneously to designers, specifiers and programmers. The Larch approach is geared towards specifying program modules to be implemented in particular programming languages. Each Larch specification has two components: one written in a language derived from a programming language, called Larch Interface Language; and another component written in a language independent of any programming language, called Larch Shared Language. Abstractions are formulated in the Shared Language. The Interface Language (predicate-oriented) is used to describe the intended behaviour of procedures. Descriptions given in the interface languages are given in terms of those abstractions and might also include error and exception handling situations and implementation limits. This work presents a study of the family of Larch Languages and their aplication to a practical problem. The first part is a description of Larch Shared Language (syntax, semantics, consistency, completeness, grammar, kernel) and Larch Interface Language with examples oriented to Pascal programming language. The second part presents the specification of the relational model for databse, also oriented to Pascal programmers. The kernel of this specification is taken from [GUT 85) and is a modules set of relations and mathematical structures. This is followed by specification of concept of set, list, tuple, relation and relational database. Each specification, besides the two component mentioned above, has a commentary used only for didactic purpose and to explain better the specification.