Linguagens documentárias

BOIASKI, Daniela ; GUIPSON, Larissa; MARTINS, Silvestre Gomes; MARIA, Taíse ; VANTI, Nadia. Linguagens documentárias. In: SEMINÁRIO DE PESQUISA DO CENTRO DE CIÊNCIAS SOCIAIS APLICADA,15., 2009, Natal. Anais Eletrônico...Natal: CCSA, 2009.

Linguagens documentárias

BOIASKI, Daniela ; GUIPSON, Larissa; MARTINS, Silvestre Gomes; MARIA, Taíse ; VANTI, Nadia. Linguagens documentárias. In: SEMINÁRIO DE PESQUISA DO CENTRO DE CIÊNCIAS SOCIAIS APLICADA,15., 2009, Natal. Anais Eletrônico...Natal: CCSA, 2009.

Linguagens de indexação: uso das linguagens presentes na prática da indexação

VANTI, Nadia et al. Linguagens de indexação: uso das linguagens presentes na prática da indexação.In:ENCONTRO REGIONAL DE ESTUDANTES DE BIBLIOTECONOMIA, DOCUMENTAÇÃO, CIÊNCIA DA INFORMAÇÃO E GESTÃO DA INFORMAÇÃO,14, 2011, Maranhão. Anais... Maranhão: EREBD, 2011.

Ambiente computacional paradesenvolvimento de aplicações de controladores lógicos programáveis baseado em linguagens SFC e ST

This work proposes an environment for programming programmable logic controllers applied to oil wells with BCP type method of artificially lifting. The environment will have an editor based in the diagram of sequential functions for programming of PLCs. This language was chosen due to the fact of being high-level and accepted by the international standard IEC 61131-3. The use of these control programs in real PLC will be possible with the use of an intermediate level of language based on XML specification PLCopen T6 XML. For the testing and validation of the control programs, an area should be available for viewing variables obtained through communication with a real PLC. Thus, the main contribution of this work is to develop a computational environment that allows: modeling, testing and validating the controls represented in SFC and applied in oil wells with BCP type method of artificially lifting

Uma perspectiva de extensão do modelo de aceitação de tecnologia para explicar o uso de linguagens de desenvolvimento WEB: pesquisa com desenvolvedores Pyton e Java

The spread of the Web boosted the dissemination of Information Systems (IS) based on the Web. In order to support the implementation of these systems, several technologies came up or evolved with this purpose, namely the programming languages. The Technology Acceptance Model TAM (Davis, 1986) was conceived aiming to evaluate the acceptance/use of information technologies by their users. A lot of studies and many applications have used the TAM, however, in the literature it was not found a mention of the use of such model related to the use of programming languages. This study aims to investigate which factors influence the use of programming languages on the development of Web systems by their developers, applying an extension of the TAM, proposed in this work. To do so, a research was done with Web developers in two Yahoo groups: java-br and python-brasil, where 26 Java questionnaires and 39 Python questionnaires were fully answered. The questionnaire had general questions and questions which measured intrinsic and extrinsic factors of the programming languages, the perceived usefulness, the perceived ease of use, the attitude toward the using and the programming language use. Most of the respondents were men, graduate, between 20 and 30 years old, working in the southeast and south regions. The research was descriptive in the sense of its objectives. Statistical tools, descriptive statistics, main components and linear regression analysis were used for the data analysis. The foremost research results were: Java and Python have machine independence, extensibility, generality and reliability; Java and Python are more used by corporations and international organizations than supported by the government or educational institutions; there are more Java programmers than Python programmers; the perceived usefulness is influenced by the perceived ease of use; the generality and the extensibility are intrinsic factors of programming languages which influence the perceived ease of use; the perceived ease of use influences the attitude toward the using of the programming language

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

Joker: um realizador de desenhos animados para linguagens formais

Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.

Tvoice :um sistema de manipulação de linguagens para auxiliar portadores de necessidades especiais através da web

This work presents the tVoice, software that manipulates tags languages, extracting information and, being integral part of the VoiceProxy system, it aids bearers of special needs in the access to the Web. This system is responsible for the search and treatment of the documents in the Web, extracting the textual information contained in those documents and preceding the capability of generating eventually through translation techniques, an audio script, used by the of interface subsystem of VoiceProxy, the iVoice, in the process of voice synthesis. In this stage the tVoice, besides the treatment of the tag language HTML, processes other two formats of documents, PDF and XHTML. Additionally to allow that, besides the iVoice, other interface subsystems can make use of the tVoice through remote access, we propose distribution systems techniques based in the model Client-Server providers operations of the fashion of a proxy server treatment of documents

Um método para desenvolvimento de abordagens generativas com composição de linguagens específicas de domínio

The software systems development with domain-specific languages has become increasingly common. Domain-specific languages (DSLs) provide increased of the domain expressiveness, raising the abstraction level by facilitating the generation of models or low-level source code, thus increasing the productivity of systems development. Consequently, methods for the development of software product lines and software system families have also proposed the adoption of domain-specific languages. Recent studies have investigated the limitations of feature model expressiveness and proposing the use of DSLs as a complement or substitute for feature model. However, in complex projects, a single DSL is often insufficient to represent the different views and perspectives of development, being necessary to work with multiple DSLs. In order to address new challenges in this context, such as the management of consistency between DSLs, and the need to methods and tools that support the development with multiple DSLs, over the past years, several approaches have been proposed for the development of generative approaches. However, none of them considers matters relating to the composition of DSLs. Thus, with the aim to address this problem, the main objectives of this dissertation are: (i) to investigate the adoption of the integrated use of feature models and DSLs during the domain and application engineering of the development of generative approaches; (ii) to propose a method for the development of generative approaches with composition DSLs; and (iii) to investigate and evaluate the usage of modern technology based on models driven engineering to implement strategies of integration between feature models and composition of DSLs

Linguagens de indexação: uso das linguagens presentes na prática da indexação

VANTI, Nadia et al. Linguagens de indexação: uso das linguagens presentes na prática da indexação.In:ENCONTRO REGIONAL DE ESTUDANTES DE BIBLIOTECONOMIA, DOCUMENTAÇÃO, CIÊNCIA DA INFORMAÇÃO E GESTÃO DA INFORMAÇÃO,14, 2011, Maranhão. Anais... Maranhão: EREBD, 2011.

Ambiente computacional paradesenvolvimento de aplicações de controladores lógicos programáveis baseado em linguagens SFC e ST

This work proposes an environment for programming programmable logic controllers applied to oil wells with BCP type method of artificially lifting. The environment will have an editor based in the diagram of sequential functions for programming of PLCs. This language was chosen due to the fact of being high-level and accepted by the international standard IEC 61131-3. The use of these control programs in real PLC will be possible with the use of an intermediate level of language based on XML specification PLCopen T6 XML. For the testing and validation of the control programs, an area should be available for viewing variables obtained through communication with a real PLC. Thus, the main contribution of this work is to develop a computational environment that allows: modeling, testing and validating the controls represented in SFC and applied in oil wells with BCP type method of artificially lifting

Propondo um modelo para acompanhamento do processo Composicional

Silva, Alexandre Reche. Propondo um modelo para acompanhamento do processo Composicional. Ictus - Periódico do PPGMUS/UFBA, v. 11, n. 1, p. 11-28, Salvador, BA, 2010.

As minudências da Biblioteca Olegário Vale (Caicó – RN, 1918-1920)

ARAÚJO, M. M. ; MEDEIROS, M. D. . AS minundências da Biblioteca Olegário Vale (Caicó - RN, 1918-1920). Educação em Questão, v. 31, p. 186-208, jan./abr. 2008

Gerald Thomas e a (des)encenação do mundo : as paisagens visuais como grafia de intertextualidades, citações e hipertextos

This work is the result of a personal uneasy about the form and development taken by contemporaneous theater concerning its relationship with other media to create new hybrid organisms and organizing itself through new possibilities, connections, as well as with different levels of arrangements in the construction of the scene. The purpose of this research is to study the connections between the scene and the media within the context of the formation of hybrid organism wich is the key element. That stands for an aesthetic characteristic of the post-dramatic condition of contemporary theatre in Brazil. Thus, this work will investigate the concept of visual landscapes within the context of Gerald Thomas Sievers work in Brazil in the period of the first decade of twenty-first century having the play Rainha Mentira (2007) (Queen Liar, 2007) as the main empirical object of analysis, discussion and application of the framework developed in the text

O tema no processo criativo da asmarias companhia de teatro

Seted in the context of the educational actions of Casa Renascer, a non-governmental organization, located in Natal city, which had as its primary purpose the care with children and adolescent girls in vulnerable situations, this research is based on describing and analysis on the topic in the creative process developed by Asmarias Theatre Company from 1993 to 2003, a process that culminated in the assembly of the dramatic text, Mateus e Mateusa, of Qorpo-Santo. In this research is focused on the route of the Theatre Company has done so much theater in its early history (1993), with the practice of reading and dramatic writing in the preparation of didactic material called Primer of Inventions, as in the procedures with theater street and forum theater (1997 to 2000) to the reunion in 2001 of seven teenagers which articulated the last group formation next to the assembly's text Qorpo-Santo (2002- 2003). During the development on this learning, the evolution of the creative process based on institutional theme when asked if one can provide moments of educational experiences through the traditional form of theater, with reference to the issues inherent in the dramatic texts considered classics. The debate on the issue through research and analysis in its descriptions and finds in the interim between his past and present indications that lead to conclusive guises. The methodology, which is guided by research, is based in theatrical archeology (PAVIS, 2005), the evidential paradigm (GINZBURG, 1989) and the second approaches the experiences narrated by Benjamin (1985). We selected documents in formats of written texts, photographic and filmed, and identified in these files, marks and tracks which took us to understand the subject in the creative process of Asmarias Theatre Company during the tests with the dramatic text, Mateus and Mateusa, of Qorpo-Santo. In this theatrical practice, located in the field of the theater pedagogy, it appears that the actions across thematic theater in the Casa Renascer and allowed the formation of critical aesthetic perspective and personal social dimension of the subjects involved. The theme has gained a significant proportion in the theatrical activity as a guiding point of the creative process of Theatre Company, taking in the theatrical art form. In this sense, the creative process with the dramatic and classic texts won the educational dimension to address the issue in the movement of the drama as the focus of individual creation which added to the collective universe of the interactive game