Made available in DSpace on 2016-04-28T18:22:19Z (GMT). No. of bitstreams: 1 ClaudiaGalvan.pdf: 1019209 bytes, checksum: 15cc574991305ab9c9df1f97ab149bf8 (MD5) Previous issue date: 2005-10-05 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Esta dissertação tem por objetivos: 1) analisar uma proposta de curso instrumental baseado em tarefas, com o propósito de desenvolver as competências profissionais aliadas às competências comunicativas, em espanhol, necessárias para trabalhar no contexto de uma recepção hoteleira, e (2) verificar a percepção dos alunos com relação às competências desenvolvidas. Esta pesquisa foi realizada durante o primeiro semestre de 2004, em uma instituição particular de nível superior localizada na cidade de São Paulo, no curso de Bacharelado em Hotelaria, na disciplina Língua Estrangeira Moderna - Espanhol. O quadro de participantes é constituído por alunos do segundo semestre do curso citado e pela pesquisadora. Outros professores e profissionais da área também contribuíram com informações complementares. Como construto teórico para esta dissertação, baseio-me no conceito de competência profissional de Arruda (2005), Alessandrini (2002), Roggero (2003), Fleury (2000, 2001), Stroobants (1997) e Ansarah (2002). No que se refere à competência comunicativa, adoto o modelo desenvolvido por Canale & Swain (1980) e revisado por Canale (1983). Para a definição da Abordagem Instrumental para o ensino de línguas, apóio-me em Hutchinson & Waters (1987), Strevens (1988) e Dudley-Evans & St. John (1998). O conceito de tarefa deriva de Nunan (1989). A pesquisa pretende ter contribuído para a área hoteleira, em que o espanhol tem relevância em função de uma necessidade econômica e na qual há uma escassez de cursos específicos que contemplem as suas necessidades

Submitted by Filipe dos Santos (fsantos@pucsp.br) on 2018-02-16T19:28:54Z No. of bitstreams: 1 Rubens Fernando de Souza Lopes.pdf: 4494759 bytes, checksum: 7fb31a627bc87494155d5c97cb953194 (MD5) / Made available in DSpace on 2018-02-16T19:28:54Z (GMT). No. of bitstreams: 1 Rubens Fernando de Souza Lopes.pdf: 4494759 bytes, checksum: 7fb31a627bc87494155d5c97cb953194 (MD5) Previous issue date: 2018-02-08 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This thesis aims to analyze how technical college students and their professor collaborate to develop their linguistic repertoire in English class, using theatrical performance activities and reflections conducive to the creation of an online crowdfunding project video. The development of this research paper involved twenty-one undergraduate students attending a Database course at a technical college in the State of São Paulo. Originating from a divergence between the college and its students on the curriculum for the English course, the necessity to design a specific syllabus to appease both parties was determined. On the one hand, the institution prescribed its English class format with an emphasis on speaking and the use of Business English material; on the other hand, students expressed their desired educational focus on reading, writing, and learning the English used within the Information Technology (IT) field. The proposal to tackle this issue derived from a student’s suggestion: to make an online crowdfunding project video, which would relate to the IT field and allow not only the emphasis on their oral skills, but also the development of their reading and writing skills. For this to transpire, a syllabus was designed (with a duration of one school semester), which initially included the study of the 'crowdfunding project video' genre, and the linguistic elements necessary for its production. These two components were part of the foundation for the creation of in-between theatrical performance activities and reflections for the participants. In this research paper, which focuses on the agency of individuals in the collective, all those involved construct knowledge by participating together in the proposed activities. We can categorize this work as Critical Collaboration Research that, according to Magalhães and Fidalgo (2010), focuses on the transformation of individuals and their collaboration in the process in which they participate. Using the socio-historical-cultural perspective, this research seeks to understand the concept of collaboration, development and relational agency from discussions carried out by Vygotsky (1933/2007, 1934/2007, 1935/2007, 1966/2007), Edwards and D'Arcy (2004), Edwards and Mackenzie (2005), Edwards (2011), Pontecorvo (2005), Orsolini (2005), Magalhães (2016), Van Oers and Duijkers (2013), Ninin and Magalhães (2017), among others. To discuss the linguistic repertoire, we rely mainly on Busch (2012; 2015), Blommaert e Backus (2011; 2013) and Blommaert (2017). The discussion that we propose of genre is based mainly on the constructs of Bakhtin (1952-53/2016, 1953/1997). When we approach language teaching and learning, theatrical performance and reflection, we refer to Larsen-Freeman (2008), Newman and Holzman (1993/2002), Vygotsky (1933/2007), Newman (1996), Holzman (2009), and Lobman and Lundquist (2007). Results show that the students and their professor, through performance and reflection activities, established collaboration and became active subjects in their teaching-learning process, making use of discursive actions promoting the development of their linguistic repertoire, with resources in the English language surpassing those needed for the production of the genre in question – the online crowdfunding project video / Esta pesquisa tem como objetivo analisar como alunos e professor de ensino superior tecnológico colaboram para o desenvolvimento do repertório linguístico em aulas de inglês que envolvem atividades de performance e reflexão conducentes à elaboração de um vídeo projeto de crowdfunding online (financiamento coletivo). O desenvolvimento desta investigação ocorreu em uma faculdade de tecnologia no Estado de São Paulo, com vinte e um alunos do curso de Banco de Dados. A necessidade de elaborar um plano de ensino específico para esses alunos surgiu de um conflito de interesses entre a faculdade e os estudantes – por um lado, a instituição prescrevia a ênfase na produção oral e uso de um material de inglês para negócios; por outro, os alunos apontavam para a necessidade de aprender inglês da área de Tecnologia e Informação (TI) e de desenvolver a compreensão e produção escrita. A proposta para lidar com a questão partiu de uma sugestão vinda dos próprios alunos – elaborar um vídeo projeto de crowdfunding, algo relacionado à área de TI que, enfatizando o desenvolvimento da oralidade, possibilitaria momentos de compreensão e produção escrita. Para que isso ocorresse, foi elaborado um plano de ensino (com duração de um semestre letivo), que incluiu, primeiramente, o estudo do gênero ‘vídeo projeto de crowdfunding’, apontando para elementos linguísticos necessários para a sua produção e que foram tomados como base para a proposta de atividades intermediárias de performance e reflexão. Nesta pesquisa, que valoriza a agência de indivíduos no coletivo, todos os envolvidos constroem conhecimento ao participarem, juntos, das atividades propostas. Podemos entender este trabalho como uma Pesquisa Crítica de Colaboração (PCCol) que, conforme Magalhães e Fidalgo (2010), visa à transformação dos indivíduos e à colaboração no processo em que participam. Esta pesquisa, pautada na perspectiva sócio-histórico-cultural, busca compreender colaboração, desenvolvimento e agência relacional a partir de discussões realizadas por Vygotsky (1933/2007; 1934/2008; 1935/2007; 1966/2007), Edwards e D’Arcy (2004), Edwards e Mackenzie (2005), Edwards (2011), Pontecorvo (2005), Orsolini (2005), Magalhães (2016), Van Oers e Duijkers (2013), Ninin (2013), Ninin e Magalhães (no prelo), entre outros. Para discutir o repertório linguístico, apoiamo-nos principalmente em Busch (2012; 2015), Blommaert e Backus (2011; 2013) e Blommaert (2017). A discussão que propomos de gênero está fundamentada principalmente nos construtos de Bakhtin (1952-53/2016; 1953/1997). Ao abordarmos o ensino-aprendizagem de línguas, performance teatral e reflexão, consultamos Larsen-Freeman (2008), Newman e Holzman (1993/2002), Vygotsky (1933/2007), Newman (1996), Holzman (2009) e Lobman e Lundquist (2007). Resultados mostram que alunos e professor, em atividades de performance e reflexão, estabelecem colaboração e tornam-se sujeitos ativos em seu processo de ensino-aprendizagem, fazendo uso de ações discursivas que promovem o desenvolvimento de seu repertório linguístico, com recursos em língua inglesa que vão além daqueles necessários para a produção do gênero em questão, o vídeo projeto de crowdfunding online

La presente Tesis Doctoral profundiza en el estudio de las relaciones comerciales establecidas entre los miembros del canal de distribución, con especial atención a la relación fabricante-distribuidor. El tema elegido responde a la evolución de escenarios competitivos y empresariales dentro del canal de distribución. El trabajo efectuado parte de una revisión teórica del estado de la cuestión de la investigación en canales de distribución, incluyendo los enfoques teóricos aplicados a canales de distribución, la naturaleza de los intercambios comerciales entre fabricantes y distribuidores, y las variables clave de las relaciones comerciales entre fabricantes y distribuidores. Sobre la base de la revisión teórica efectuada, se propone el modelo teórico y se establecen las hipótesis de investigación. Con objeto de dar respuesta a estas cuestiones se realiza una investigación cualitativa y cuantitativa en el sector de la panadería y repostería industrial. La fase de investigación cuantitativa utiliza un nivel de análisis diádico fabricante-distribuidor y la recogida de información se realiza mediante encuestas personales y postales.

Made available in DSpace on 2016-06-02T19:06:01Z (GMT). No. of bitstreams: 1 4765.pdf: 5526051 bytes, checksum: eca7635e3ad1f0a28a9f3871c97aac57 (MD5) Previous issue date: 2012-11-12 / Universidade Federal de Sao Carlos / Autonomous mobile robots are machines capable of executing repetitive/dangerous tasks more efficiently. Most of them have an embedded software which is responsible for their execution. Over the last years, the complexity of these applications has continuously growing and they are presenting challenges that are uncommon to traditional information systems development. Therefore, any technique that can support their development is a great contribution. A technique that improves the productivity is to use domain-specific languages (DSLs). These are modeling and programming languages whose constructs are concepts and abstractions of a particular domain. It frees developers from worrying about generic programming concepts (classes, objects, attributes, etc.) and allows them to focus on the problem to be solved. As creating a DSL is not a trivial task and pointing the idiosyncrasies of mobile robots, this dissertation presents an approach for engineering DSLs to mobile robots. The aim is to make the activity of creating DSLs to this domain more systematic and controlled. In this approach, an application is taken as input and a series of domain statements is extracted from it. These statements are classified into categories and each one of them are analized in order to extract commonalities and variabilities, wich are transformed into components of a DSL. An important characteristic of the approach is that it asks for just one application to reach a first version of a running DSL. We suggest that the same DSL can be evolved just by applying the approach again using another application as input. So new components could be created and the existing ones could be modified. We also present a generic language model providing a foundation architecture that allows one to easily create new DSLs by extending it. Two proofs of concept are presented in order to exemplify the application of our approach. / Robôs móveis autônomos são máquinas com potencial para realizar atividades repetitivas ou de alta periculosidade com mais eficácia. Muitos possuem um software embarcado responsável pelo seu funcionamento. Nos últimos anos, a complexidade dessas aplicações robóticas embarcadas tem crescido continuamente e apresentam desafios que são incomuns ao desenvolvimento dos tradicionais sistemas de informação. Portanto, toda técnica que dê suporte a esse tipo de desenvolvimento pode contribuir significativamente. Uma técnica que permite o aumento de produtividade é a utilização de linguagens específicas de domínio (DSLs). Essas são linguagens de modelagem e programação cujas construções são conceitos e abstrações de um domínio de aplicação em particular. Isso desobriga o desenvolvedor de se preocupar com conceitos genéricos de programação (classes, objetos, atributos, etc.) para focar-se no problema a ser resolvido. Como o desenvolvimento de uma DSL não é uma tarefa trivial e tendo em vista as idiossincrasias dos robôs móveis autônomos, esta dissertação apresenta uma abordagem para construção de DSLs para robôs móveis. O objetivo é deixar mais sistemática e controlada a criação de DSLs para esse domínio. Nessa abordagem, uma aplicação é tomada como entrada e dela extraem-se declarações a respeito do domínio. Essas declarações são categorizadas e, para cada categoria, são levantadas partes comuns e variáveis. Então, essas partes são transformadas em componentes de uma DSL. Uma característica importante da abordagem apresentada é que uma versão inicial da DSL pode ser alcançada tendo apenas uma aplicação como base. Sugere-se que essa mesma DSL possa evoluir pela reaplicação da abordagem tendo uma nova aplicação como entrada. Dessa forma, novos componentes podem ser criados e os existentes, modificados. Também é apresentado um modelo genérico de linguagem que fornece uma arquitetura básica, permitindo que novas DSLs sejam facilmente construídas pela extensão da mesma. Duas provas de conceito são apresentadas com a intenção de exemplificar a aplicação da abordagem.

Made available in DSpace on 2016-06-02T19:31:50Z (GMT). No. of bitstreams: 1 3025.pdf: 1800244 bytes, checksum: b376383f9bf312a9c49a427e22dcd8c9 (MD5) Previous issue date: 2010-03-08 / Financiadora de Estudos e Projetos / Interactions between endofagous insects in fruits play an important role in ecological communities, since the seed survivorship and hence the successes in recruitment of plant populations are directed related to damage caused by the herbivory from these insects. Because of the specialization of the herbivorous insects, the insect-plant interactions tend to be structured in compartments of insects which use different groups of plant. The aims of this study were: (1) to identify if insect-plant interactions in fruits of the cerrado are compartmented; and (2) to identify if plant species in compartments are related. With two monthly field trips, the fruits of 34 plant species were sampled. The insects that emerged from fruits were classified in morphospecies. A correspondence analysis was used to identify the compartments. About 97 morphospecies of insects were identified. Although there is no consensus if the competitive forces structure the compartmented networks or, if directly or indirectly, chemicals defences of plants, the compartmentation seems to be an overall characteristic of food webs and, thus, of insect-plant networks. There is also evidence of the role of the phylogeny in the structure of compartmented networks. / As interações de insetos endófagos em frutos têm um importante papel nas comunidades ecológicas, porque a sobrevivência das sementes e, consequentemente, o sucesso no recrutamento das populações de plantas estão diretamente relacionados aos danos causados pela herbivoria desses insetos. Devido à especialização dos insetos herbívoros, as interaçãos inseto-planta tendem a estruturar-se em compartimentos de insetos que usam diferentes subgrupos de plantas. O presente trabalho teve como objetivos: (1) identificar se as interações inseto-planta em frutos de cerrado são compartimentadas; e (2) identificar se as espécies de plantas nos compartimentos são relacionadas filogenéticamente. Com duas excursões mensais ao campo durante um ano, foram amostrados os frutos de 34 espécies vegetais. Os insetos que emergiram dos frutos foram identificados em 97 morfoespécies. Análise de correspondência foi usada para identificar os compartimentos. Os resultados indicam que a compartimentação parece ser uma característica geral de redes de alimentação entre herbívoros e plantas e, portanto, das redes entre parasitóides de herbívoros e plantas. Há também evidência de que a compartimentação de redes de interações pode ser filogeneticamente estruturada.

Submitted by Nayara Passos (nayara.passos@ufpe.br) on 2015-03-12T14:23:54Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE Leandro Marques do Nascimento.pdf: 4935348 bytes, checksum: 593ec08be509bd200bc5ec59fccb17d6 (MD5) / Made available in DSpace on 2015-03-12T14:23:54Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE Leandro Marques do Nascimento.pdf: 4935348 bytes, checksum: 593ec08be509bd200bc5ec59fccb17d6 (MD5) Previous issue date: 2014 / CNPq, INES / É possível se observar um alto crescimento no número de aplicações Web sendo desenvolvidas. Isto está acontecendo principalmente porque a Web está entrando em uma nova fase, chamada Web programável, onde diversos sistemas baseados na Web estão disponibilizando suas APIs publicamente. Com o objetivo de lidar com a complexidade dessa Web emergente, este trabalho define a noção de uma Máquina Social (Social Machine - SM) e vislumbra uma linguagem que permite descrever redes de tais máquinas. Para começar, nós definimos uma Máquina Social como sendo “um componente conectável e programável que encapsula (WI) um sistema de processamento de informação (IPS) e define um conjunto de serviços requeridos (RS) e providos (PS), dinamicamente disponível sob certas restrições (C), as quais são determinadas por, dentre outras coisas, seus relacionamentos (Rel) com terceiros”. Em outras palavras, uma SM é uma máquina conectada, normalmente à Web, que dinamicamente provê e/ou requer um conjunto de serviços de acordo com os seus relacionamentos estabelecidos. Qualquer aplicação na Web pode ser vista como uma SM. Para que seja possível a aplicação prática do conceito de Máquina Social previamente mencionado, nós definimos SMADL, uma linguagem para descrição arquitetural de SMs, como uma tentativa de ser uma forma completamente diferente de se programar a Web, misturando conceitos de linguagens de descrição arquitetural (ADLs) e linguagens específicas de domínio (DSLs). Como uma ADL, a linguagem permite a descrição de máquinas sociais (e redes de tais) em termos de relacionamentos (Rel) como abstrações de alto nível, sem a necessidade de se especificar os detalhes de comunicação (protocolos) e/ou métodos de autenticação. Como uma DSL, ela permite a criação e integração de serviços Web usando uma sintaxe de tipos dinâmicos, integrada à máquina virtual Java e à IDE Eclipse. Cada elemento do conceito de uma SM é diretamente mapeado na linguagem. Em poucas palavras, SMADL pode ser definida como uma linguagem dirigida a relacionamentos que pode ser usada para descrever interações entre qualquer número de máquinas de inúmeras formas, como um meio de representar máquinas interagindo na Web realmente e, obviamente, como um meio de representar interações com outras máquinas sociais também. Vários outros esforços já foram feitos para definir ADLs e alguns deles foram, de alguma forma, aplicados no domínio da Web. Entretanto, há uma clara falta de base fundamental que provenha abstrações de alto nível tais como o modelo de máquinas sociais provê. SMADL foi implementada em duas versões, uma textual e outra visual. Ambas as versões foram avaliadas através de um estudo de caso e uma pesquisa baseada na opinião de especialista e indicaram ser boas soluções para problemas práticos. / We are experiencing a high growth in the number of Web applications being developed. This is happening mainly because the Web is going into a new phase, called programmable Web, where several Web-based systems make their APIs publicly available. In order to deal with the complexity of this emerging Web, we define the notion of a Social Machine and envisage a language that can describe networks of such. To start with, we define a Social Machine (SM) as a “connectable and programmable building block that wraps (WI) an information processing system (IPS) and defines a set of required (RS) and provided services (PS), dynamically available under constraints (C) which are determined by, among other things, its relationships (Rel) with others”. In other words, a SM is a connected machine, usually to the Web, which dynamically provides and/or requires a set of services according to its established relationships. Any application in the Web can be seen as a SM. In order to make feasible the practical application of the aforementioned Social Machine concept, we define SMADL – the Social Machines Architecture Description Language – as an attempt to be a completely different way to program the Web, mixing concepts from Architecture Description Languages (ADLs) and Domain-Specific Languages (DSLs). As an ADL, it allows the description of Social Machines (and networks of such) in terms of relationships (Rel) as high-level abstractions, without the need to specify details of communication (protocols) and/or authentication methods. As a DSL, it allows the implementation and integration of Web services using a dynamically typed syntax, fully integrated to the Java Virtual Machine and Eclipse IDE. Every element of the SM concept is directly mapped into the language. In few words, SMADL can be defined as a relationship-driven language which can be used to describe the interactions between any number of machines in a multitude of ways, as a means to represent real machines interacting in the real Web and, obviously, as a means to represent interactions with other social machines too. Several other efforts have been done to define ADLs, and a few of them were someway applied to the Web domain. However, there is a clear lack of fundamental base to provide high-level abstractions that the Social Machine concept does. SMADL has been implemented in two versions, one textual and one visual. Both versions have been evaluated through a case study and an expert’s opinion survey and demonstrated to be good solutions for practical problems.

Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-12T14:30:39Z No. of bitstreams: 2 Dissertacao Robson Santos Silva.pdf: 2657380 bytes, checksum: e8bfe7912e7136af0fbf6082153115fd (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-13T12:57:10Z (GMT) No. of bitstreams: 2 Dissertacao Robson Santos Silva.pdf: 2657380 bytes, checksum: e8bfe7912e7136af0fbf6082153115fd (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-13T12:57:10Z (GMT). No. of bitstreams: 2 Dissertacao Robson Santos Silva.pdf: 2657380 bytes, checksum: e8bfe7912e7136af0fbf6082153115fd (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-08-23 / It is well-known that model-driven engineering (MDE) is a software development methodology that focuses on creating and exploiting (specific) domain models. Domain models (conceptually) capture all the topics (for instance, entities and their attributes, roles, and relationships as well as more specific constraints) related to a particular problem. It is common to use domain-specific languages (DSL) to describe the concrete elements of such models. MDE tools can easily build domain-specific languages (DSL), capturing syntactic as well as static semantic information. However, we still do not have a clear way of capturing the dynamic semantics of a DSL as well as checking the domain properties prior to generating the implementation code. Formal methods are a well-known solution for providing correct software, where we can guarantee the satisfaction of desired properties. Unfortunately the available formal methods tools focus almost exclusively on semantics whereas human-machine interaction is "left to the user". Several industries, and in particular the safety-critical industries, use mathematical representations to deal with their problem domains. Historically, such mathematical representations have a graphical appeal. For example, Markov chains and fault-trees are used in safety assessment processes to guarantee that airplanes, trains, and other safety-critical systems work within allowed safety margins. In general, due to the difficulty to obtain correct software, such industries use Commercial Off-The-Shelf (COTS) software or build them specifically to satisfy their needs with a related testing campaign effort. Such DSLs are difficult to capture, using just MDE tools for instance, because they have specific semantics to provide the desired (core) information for the industries that use them. In this sense, given a DSL (L) composed of a syntax and static semantics (SSL), and dynamic semantics (DSL) parts, our work proposes a rigorous methodology for combining the easiness of MDE tools, to capture SSL, with the correctness assured by formal methods, to capture DSL as well and check its properties. This combination is specifically handled in the following way, we capture all aspects of L using formal methods, check the desired properties and adjust if necessary. After that, we automatically translate part of it in terms of constructs of a MDE tool, from which we can build a user-friendly (GUI) front-end very easily (automatically). Finally, we link the front-end code to the automatically synthesized code from the formal dynamic semantics back-end. Although we require the use of a formal methods tool, the distance from the mathematical representations used in industry and the formal methods notation is very close. With this proposed methodology we intend that safety-critical industries create their domain specific software as easy as possible and with the desired static and dynamic properties formally checked. / A Engenharia Dirigida a Modelos ou (MDE—Model-Driven Engineering) é uma metodologia de desenvolvimento de software que se concentra na criação e manipulação de modelos específicos de domínio. É comum o uso de linguagens específicas de domínio (DSL) para descrever os elementos concretos de tais modelos. Ferramentas de MDE podem facilmente construir linguagens específicas de domínio (DSL), capturando seus aspectos sintáticos assim como sua semântica estática. No entanto, ainda não possuem uma forma clara de capturar a semântica dinâmica de uma DSL, assim como a verificação de propriedades de domínio antes da geração de código executável. Métodos formais são tidos como uma solução para prover software correto, onde podemos garantir que desejadas propriedades são satisfeitas. Infelizmente, as ferramentas de métodos formais disponíveis concentram-se quase que exclusivamente na semântica enquanto que a interação homem-computador é "deixada para o usuário". Indústrias em que a segurança é crítica, usam representações matemáticas para lidar com os seus domínios de problemas. Historicamente, essas representações matemáticas têm um apelo gráfico. Por exemplo, Cadeias de Markov e Árvores de Falha. Em geral, devido à dificuldade em obter softwares formalmente verificados, essas indústrias utilizam sistemas comerciais prontos para uso (Commercial Off-the-shelf - COTS) ou os constróem especificamente para satisfazerem as suas necessidades com um esforço considerável em testes. Tais DSLs são difíceis de capturar, usando apenas ferramentas MDE por exemplo, porque possuem uma semântica particular para prover as informações específicas desejadas para as indústrias que as utilizam. Neste sentido, dada uma DSL (L), composta por sintaxe e semântica estática (SSL), e semântica dinâmica (DSL), este trabalho propõe uma metodologia rigorosa para combinar a facilidade de ferramentas MDE em capturar SSL, com a corretude assegurada por métodos formais para capturar DSL e verificar suas propriedades. Esta combinação é especificamente tratada da seguinte maneira: captura-se todos os aspectos de L utilizando métodos formais, verificam-se as propriedades desejadas e as ajustam caso necessário. Em seguida, parte de L é traduzida automaticamente em termos de artefatos para uma ferramenta MDE, a partir da qual é possível construir uma interface amigável (front-end) facilmente (automaticamente). Por fim, o código do front-end é integrado com o código sintetizado automaticamente a partir da semântica dinâmica formal (back-end).

Submitted by Haroudo Xavier Filho (haroudo.xavierfo@ufpe.br) on 2016-03-11T14:13:00Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao DANIEL LEITE VIANA.pdf: 4297126 bytes, checksum: fa862ba18fe815a710afe7b3e591cee8 (MD5) / Made available in DSpace on 2016-03-11T14:13:00Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao DANIEL LEITE VIANA.pdf: 4297126 bytes, checksum: fa862ba18fe815a710afe7b3e591cee8 (MD5) Previous issue date: 2015-08-10 / Sistemas baseados em gestos vêm se tornando uma alternativa para o desenvolvimento de aplicações mais intuitivas para os usuários, pois permitem a esses usuários interagirem de forma mais natural. Tais sistemas, em geral, requerem dispositivos de captura junto com alguma técnica de reconhecimento para que os gestos requeridos na interação natural sejam reconhecidos. A ausência de abstrações apropriadas para representação dos gestos dificulta as especificações de novas interações naturais. A representação de um gesto, quase sempre, envolve Aprendizagem de Máquina ou um avançado algoritmo de reconhecimento baseado nos dados da posição tridimensional do corpo humano fornecidos por sensores de profundidade, tal como o Microsoft Kinect. Além disso, as aplicações desenvolvidas tornam-se dependentes das bibliotecas de desenvolvimento dos dispositivos. Dessa forma, se o dispositivo for substituído por outro mais moderno ou de fabricante diferente quase todo o algoritmo de reconhecimento precisa ser reescrito. O principal objetivo desta dissertação é a especificação e implementação da Linguagem para Especificação de Gestos (LEG), uma Domain-Specific Language (DSL) para a especificação e reconhecimento de gestos livres do corpo humano com suporte a diferentes dispositivos de profundidade. A LEG é uma linguagem declarativa, baseada na análise das interfaces gestuais para computador e no estudo das abstrações e representações do movimento humano, a fim de reduzir a complexidade no desenvolvimento de aplicações baseadas em gestos. A implementação da linguagem foi realizada em duas etapas. Primeiro, foi criado um framework (Kinect Gesture) com a lógica para rastrear e identificar gestos descritos na linguagem. Na segunda etapa, foi definida a gramática e o interpretador foi construído. A abordagem adotada foi de DSL externa, sendo sua sintaxe textual e particular. A fim de avaliar a implementação proposta, 15 (quinze) gestos foram especificados em LEG e reconhecidos. Tendo como referência os resultados obtidos, chegou-se a conclusão que a linguagem apresentada neste trabalho diminuiu consideravelmente a complexidade necessária para realizar a especificação e o reconhecimento dos gestos. / Systems Based-gestures are becoming an alternative to the development of more intuitive applications for users, because enable users to interact more naturally. Generally these systems need of capture devices together with some technique for gesture recognition. The lack of appropriate abstractions for the representation of gestures difficult to specifications of new natural interactions. For specify gesture, it is almost always necessary to acquire advanced knowledge in gesture recognition area and skills on chosen device and it is for this reason that the development of gestures is restricted. Often developers are using Machine Learning as support to creating database. Another approach is to create a recognition algorithm based on data from the depth sensor Kinect. Furthermore, due to the nature of the software development kits (SDK) provided by the hardware vendors to build gesture-based applications, the developed applications often become tightly coupled with the SDK. The result is that significant portions of the application need to be rewritten to run it on another device. The main goal of this dissertation is to implement and evaluate GSL (Gesture Specific Language), a Domain-Specific Language for specification and identification of gestures with support to different depth sensors. GSL is a declarative programming language based on the analysis of gestural interfaces for computer and study of abstractions and representations of human movement, in order to reduce the complexity in application development based on gestures. The development was conducted in two phases: the first was implemented a framework (Kinect Gesture) with logic for tracking and identify gestures. In the second phase, we built an grammar and a compiler. We adopted a external DSL approach, with specific and textual syntax. In order to evaluate the proposed implementation, we used GSL for specification and recognition of fifteen gestures. The results obtained show that GSL reduced considerably the complexity on perform the specification and the recognition of gestures.

Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2016-03-22T17:53:33Z No. of bitstreams: 2 Dissertação - Gustavo Cipriano Mota Sousa - 2012.pdf: 2362932 bytes, checksum: 554bee516fc979b416ec8ff1b253e521 (MD5) license_rdf: 19874 bytes, checksum: 38cb62ef53e6f513db2fb7e337df6485 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-03-23T14:15:40Z (GMT) No. of bitstreams: 2 Dissertação - Gustavo Cipriano Mota Sousa - 2012.pdf: 2362932 bytes, checksum: 554bee516fc979b416ec8ff1b253e521 (MD5) license_rdf: 19874 bytes, checksum: 38cb62ef53e6f513db2fb7e337df6485 (MD5) / Made available in DSpace on 2016-03-23T14:15:40Z (GMT). No. of bitstreams: 2 Dissertação - Gustavo Cipriano Mota Sousa - 2012.pdf: 2362932 bytes, checksum: 554bee516fc979b416ec8ff1b253e521 (MD5) license_rdf: 19874 bytes, checksum: 38cb62ef53e6f513db2fb7e337df6485 (MD5) Previous issue date: 2012-10-09 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / The combination of domain-specific modeling languages and model-driven engineering techniques hold the promise of a breakthrough in the way applications are developed. By raising the level of abstraction and specializing in building blocks that are familiar in a particular domain, it has the potential to turn domain experts into application developers. Applications are developed as models, which in turn are interpreted at runtime by a specialized execution engine in order to produce the intended behavior. In this approach models are processed by domain-specific execution engines that embed knowledge about how to execute the models. This approach has been successfully applied in different domains, such as communication and smart grid management to execute applications described by models that can be created and changed at runtime. However, each time the approach has to be realized in a different domain, substantial re-implementation has to take place in order to put together an execution engine for the respective DSML. In this work, we present a generalization of the approach in the form of a metamodel that captures the domain-independent aspects of runtime model interpretation and allow the definition of a particular class of domain-specific execution engines which provide a highlevel service upon an underlying set of heterogenous set of resources. / Abordagens de engenharia de software dirigida por modelos propõem o uso de modelos como uma forma de lidar com a crescente complexidade das aplicações atuais. Por meio de linguagens de modelagem específicas de domínio, essas abordagens visam elevar o nível de abstração utilizado na engenharia de software, possibilitando que usuários que conheçam o domínio de negócio sejam capazes de construir aplicações. As aplicações são definidas como modelos que são então processados de forma automatizada por mecanismos capazes de executá-los. Essa abordagem tem sido aplicada em domínios como comunicação e redes elétricas inteligentes para possibilitar a construção de aplicações por meio de modelos que podem ser criados e modificados em tempo de execução. Nessa abordagem, modelos são processados por máquinas de execução específicas de domínio, que encapsulam o conhecimento necessário para executá-los. No entanto, a aplicação dessa mesma abordagem em outros domínios exige que novas máquinas de execução sejam implementadas por completo, o que exige um grande esforço de implementação. Neste trabalho, apresentamos uma abordagem dirigida por modelos para a construção dessas máquinas de execução de modelos. Essa abordagem propõe um metamodelo que captura os aspectos independentes de domínio de uma classe particular de máquinas de execução de modelos, os quais descrevem aplicações baseadas no provimento de serviços a partir de um conjunto heterogêneo de recursos. A partir do metamodelo proposto, podem ser construídos modelos que definem máquinas de execução para domínios específicos, as quais são capazes de executar modelos descritos na linguagem de modelagem específica do domínio em questão.

Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2017-04-17T11:42:34Z No. of bitstreams: 2 Tese - Tatiana Diello Borges - 2017.pdf: 2153806 bytes, checksum: fa1752b077fb1d1d1154781be12be116 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-04-17T11:52:58Z (GMT) No. of bitstreams: 2 Tese - Tatiana Diello Borges - 2017.pdf: 2153806 bytes, checksum: fa1752b077fb1d1d1154781be12be116 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-04-17T11:52:58Z (GMT). No. of bitstreams: 2 Tese - Tatiana Diello Borges - 2017.pdf: 2153806 bytes, checksum: fa1752b077fb1d1d1154781be12be116 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-03-31 / This research was carried out in a Modern Language Course at a federal university in central western Brazil and aimed at investigating the beliefs of an English language teacher educator about what it means to be a good English language teacher educator in the process of teaching and learning, and also at verifying the reflections of the English language teacher educator’s students, pre-service English teachers, about her beliefs. The theoretical framework was based on the field of language teachers’ education (PERRENOUD, 1999; CELANI, 2001, 2003; ALARCÃO, 2002, 2011; MATEUS, 2002; VIEIRA-ABRAHÃO, 2002; ARAÚJO, 2004; MIZUKAMI, 2005; OLIVEIRA, 2008; MAZZA; ALVAREZ, 2011; NASCIMENTO, 2011; VIANA, 2011; HALU, 2014) and beliefs about foreign language teaching/learning (PAJARES, 1992; GIMENEZ, 1994; JOHNSON, 1994; BARCELOS, 1995; HORWITZ, 1999; SILVA, 2005; SOARES; BEJARANO, 2008; PERINE, 2012; MARQUES DE OLIVEIRA, 2013; HAYASHI, 2015). The case study methodology was employed and the following data collection instruments were used: questionnaires, narrative, interviews, class observations (supported by field notes and audio recordings), and group discussion. Regarding the teacher educator’s beliefs, results suggest that she believes that the good teacher educator makes use of pair/group work, employs ludic activities in classes, values continuous education, uses technological resources, works not only with intellectuality, but also with emotions/feelings, and can influence the adoption of postures throughout pre-service teacher’s academic education and teaching practice. The data obtained also reveal the existence of a central belief in which the other beliefs of the English language teacher educator are held: the good teacher educator must pay careful attention to the learning environment so that the learner can feel comfortable to learn. It is also verified that there is congruence between the teacher educator’s beliefs and her pedagogical actions. As for the reflections of students, pre-service teachers, concerning their teacher educator’s beliefs, results indicate that they share her beliefs and understand that they influence in a positive way both their academic education and teaching practices, since they already work as English language teachers. The analysis of the students’ reflections also suggests that the teacher educator’s central belief - the good teacher educator must pay careful attention to the learning environment so that the learner can feel comfortable to learn - seems to be understood in a positive way by the students, once they demonstrate a more humanized posture because they acknowledge that the learners’ emotional framework must be taken into consideration. This study indicates the importance of seriously considering the possibility of teacher educator’s influence in relation to their undergraduate students. It is imperative to keep this in mind when dealing with teachers’ education, since teacher educator’s beliefs and actions can influence both positively and negatively. / Esta pesquisa, realizada em um curso de Letras Inglês de uma universidade pública da região centro-oeste do Brasil, teve como objetivo investigar as crenças de uma professora formadora de língua inglesa acerca do que significa ser um bom professor formador de inglês ao longo do processo de se ensinar/aprender, além de verificar as reflexões de seus alunos, professores em formação, acerca de suas crenças. O referencial teórico apoiou-se na área de formação de professores de línguas (PERRENOUD, 1999; CELANI, 2001, 2003; ALARCÃO, 2002, 2011; MATEUS, 2002; VIEIRA-ABRAHÃO, 2002; ARAÚJO, 2004; MIZUKAMI, 2005; OLIVEIRA, 2008; MAZZA; ALVAREZ, 2011; NASCIMENTO, 2011; VIANA, 2011; HALU, 2014) e de crenças no campo de ensino/aprendizagem de línguas (PAJARES, 1992; GIMENEZ, 1994; JOHNSON, 1994; BARCELOS, 1995; HORWITZ, 1999; SILVA, 2005; SOARES; BEJARANO, 2008; PERINE, 2012; MARQUES DE OLIVEIRA, 2013; HAYASHI, 2015). A metodologia escolhida foi o estudo de caso, e os seguintes instrumentos de coleta de dados foram utilizados: questionários, narrativa, entrevistas, observações de aulas, acompanhadas de anotações de campo e gravações em áudio, e grupo de discussão. Quanto às crenças da professora formadora, os resultados sugerem que ela acredita que o bom professor formador faz uso de trabalho em pares/grupos, emprega atividades lúdicas em suas aulas, preza pela formação contínua, utiliza recursos tecnológicos, não trabalha apenas com intelectualidade, mas também com emoções/sentimentos, e pode influenciar a adoção de posturas ao longo da formação e prática docente do professor em formação. Os dados obtidos também revelam a existência de uma crença central na qual se sustentam as demais crenças da professora formadora: o bom professor formador deve estar atento ao ambiente para que o aprendiz se sinta confortável para aprender. Verifica-se ainda que há congruência entre as crenças da formadora e suas ações pedagógicas. No tocante às reflexões dos alunos, professores em formação, em relação às crenças de sua docente formadora, os resultados indicam que eles compartilham de suas crenças e percebem que influenciam de modo positivo tanto em sua formação acadêmica quanto em suas práticas docentes, uma vez que já atuam como professores de língua inglesa. A análise das reflexões dos acadêmicos sugere também que a crença central da docente formadora de que o bom docente formador se preocupa em tornar o contexto de aprendizagem o mais favorável possível parece ser entendida por seus alunos positivamente, uma vez que demonstram uma postura mais humanizadora porque reconhecem que os aspectos emocionais dos aprendizes devem ser levados em consideração. Este estudo evidencia a importância de considerarmos seriamente a possibilidade de influência do docente formador em relação a seus formandos. É imprescindível ter isso em mente ao se formar professores, pois as crenças e ações dos formadores podem influenciar tanto de modo positivo quanto negativo.