No description available.

No description available.

No description available.

Thesis (Ph. D.)--University of Toronto, 2007. / Source: Dissertation Abstracts International, Volume: 68-05, Section: A, page: 1771. Includes bibliographical references (leaves 136-153).

Thesis (Ed. D.)--Teachers College, Columbia University. / Typescript; issued also on microfilm. Sponsor: Chang-tu Hu. Dissertation Committee: George Bereday. Bibliography: leaves 441-460.

Thesis (M.A.)--Trinity Evangelical Divinity School, 1993. / Abstract. Includes bibliographical references (leaves 76-88).

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-29T15:08:38Z (GMT). No. of bitstreams: 1 tese_3089_Dissertação Karen Muniz Feriguetti.pdf: 509324 bytes, checksum: 9e50b7adaac9a601385cb6667da12276 (MD5) Previous issue date: 2008-05-20 / A nascente do fenômeno da pressuposição está na Filosofia, inicialmente na Lógica, com Frege (1892). Desde então, esse autor tem sido associado a correntes tanto filosóficas quanto lingüísticas, e, ainda no século passado, participa de um grande desenvolvimento tanto da Semântica quanto da Pragmática. Sob o enfoque da Lógica e sob a perspectiva da Lingüística Formal, embora haja um diferencial nos estudos de Ducrot (1977, 1981, 1987), na Semântica Argumentativa, a pressuposição é percebida em termos de imanência. Diferentemente, com o desenvolvimento dos estudos em Lingüística Cognitiva, com Lakoff (1980 e 1987) e Fauconnier (1994, 1997), a pressuposição passa a tomar parte no processamento cognitivo da produção de sentido, com suas intenções e com seus usos comunicativos, a ser compreendida em termos de gatilhos, ativadores de Modelos Cognitivos Idealizados e introdutores de Espaços Mentais.

Esta pesquisa tem por objetivo geral analisar a dinâmica de funcionamento das atividades não formais do Colégio Estadual Guadalajara e apontar para possíveis pontes-diálogo entre educação formal e não formal nesse espaço escolar. Para atingir esse objetivo a dissertação contemplou: a) a descrição das atividades do Núcleo de Cultura do Guadá desde a sua implementação, b) a análise das possíveis relações estabelecidas entre as atividades não formais e as atividades oferecidas pela instituição a partir do proposto pela rede oficial de ensino e c) a influência do Programa Mais Educação na promoção das atividades não formais de ensino pela escola. Nesse sentido, a investigação em foco, ressalta o regime colaborativo entre o ideal de educação integral proposto pelo programa e a perspectiva de formação holística do indivíduo presente nas atividades não formais do C.E. Guadalajara. Para isso conta com aporte teórico de autores como Gohn (2010), Trilla (2008), Gadotti (2005) e Libâneo (2010) para conceituar e categorizar educação formal e não formal. E, com Ferreira (2007), Guará (2006), Cavaliere (2002) e Coelho (s/d) para esclarecer a perspectiva de educação integral e problematizá-la. Os procedimentos metodológicos adotados foram: observação não-participante, análise documental, história oral e aplicação de entrevistas semi-estruturada realizadas com as duas animadoras culturais do Núcleo de Cultura. Os resultados revelam que, de fato existem articulações pontuais entre educação formal e não formal na escola pesquisada. Este aspecto está relacionado com a participação de professores no planejamento das atividades não formais e a melhoria do rendimento dos alunos nas disciplinas formais em virtude da participação nas oficinas ofertadas pelo núcleo. No tocante a colaboração do Programa Mais Educação para a promoção das atividades não formais da escola foi constatado que o programa serviu como auxílio para subsidiar atividades que já ocorriam no espaço escolar sem seu financiamento. / This research has the objective to analyze the dynamics of the operation of non-formal activities of the State College Guadalajara and point to possible dialogue - bridges between formal and non-formal education in the school environment. To achieve this goal the dissertation included: a) a description of the activities of the Center for Culture of Guada since its implementation, b) analysis of the possible relations between the non-formal activities and the activities offered by the institution from the network proposed by official teaching and c) the influence of More Education program in the promotion of non-formal education activities for school. In this sense, the research focus, emphasizes the collaborative arrangements between the ideal of comprehensive education offered by the program and the prospect of holistic training of this individual in the non-formal activities of the EC Guadalajara. For it has theoretical support of authors like Gohn (2010), Trilla (2008), Gadotti (2005) and Libâneo (2010) to conceptualize and categorize formal and non-formal education. And Ferreira (2007), Guara (2006), Cavaliere (2002) and Coelho (s/d) to clarify the perspective of integral education and problematize it. The methodological procedures were non - participant observation, document analysis, oral history and application of semi - structured interviews with both cultural encouraging of Nucleus of Culture. The results show that indeed there are specific links between formal and non-formal education in the school studied. This is linked with the participation of teachers in the planning of non-formal activities and improving student performance in formal disciplines by participating in workshops offered by the core. Regarding the collaboration of More Education Programme for the promotion of non-formal school activities was found that the program served as an aid to subsidize activities that have occurred at school without their funding.

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.