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

Ambiente de desenvolvimentoweb multiplataforma configurável para robótica educacional

We propose an online configurable multiplatform development environment specifically developed for educational robotics applications. The environment, which appears as an extension of RoboEduc software, allows the programming of several programmable robots to be performed using the R-Educ language. We make it possible for the user to program in the language R-Educ and then translate the code to a language previously registered, compiled and then sent or executed by the robot. To develop this work, we conducted a bibliographic research about the main programming languages used in robotics, as well as their definitions and paradigms, from which it was possible to define a set of patterns considered important for the creation of this environment. Then, in the software development phase, we implemented the development environment, bearing in mind the requirements and functionality defined in the design phase. Finally, to validate the platform, we conducted some trials of programming languages and verificate if the complete cycle was satisfied - registration of language, programming in R-Educ, compilation for the registered language, compilation to the machine code and send the code for the robot

Desenvolvimento de um middleware para comunicação via web services e sua aplicação em sistemas de aquisição de dados industriais

The control of industrial processes has become increasingly complex due to variety of factory devices, quality requirement and market competition. Such complexity requires a large amount of data to be treated by the three levels of process control: field devices, control systems and management softwares. To use data effectively in each one of these levels is extremely important to industry. Many of today s industrial computer systems consist of distributed software systems written in a wide variety of programming languages and developed for specific platforms, so, even more companies apply a significant investment to maintain or even re-write their systems for different platforms. Furthermore, it is rare that a software system works in complete isolation. In industrial automation is common that, software had to interact with other systems on different machines and even written in different languages. Thus, interoperability is not just a long-term challenge, but also a current context requirement of industrial software production. This work aims to propose a middleware solution for communication over web service and presents an user case applying the solution developed to an integrated system for industrial data capture , allowing such data to be available simplified and platformindependent across the network

ÁFRICA(S), MOÇAMBICANIDADE, MIA COUTO: uma varanda para o Índico

Always seen by others eyes, unknown of the languages and other "realities" that constitute, the Africa, specially Mozambique, now (re)invent itself, palimpsestly, in narratives of your griots, narrators and/or storytellers. Our thesis intend, by the review of novel Under the frangipani, to demonstrate that the mozambican writer Mia Couto intends to participate the (re)construction of a devasted nation by war and conflicts, based on belief that the role writer "is to create requisites of a more african thought, to the assessment of your place and your time won't be done from categories created by others" (COUTO, 2005). At first, we show how the mozambican literary system consists itself; then, the insertion of coutian narrative against the prevalence tradition and, also, by the analysis of the constituent elements of the chosen novel, the way how made piece of resistance to reification, objectification of the individuald in the contemporary world , your writing will be present in this sharing of the sensitive. Besides Mia Couto, in our work we'll counting on the lessons of Candido, Noa, Hernandez, Adorno, Paz, Fonseca, Secco, among others studious of african narrative and, specially, Mozambique narrative

Didática do plurilinguismo: efeitos da intercompreensão de línguas românicas na compreensão de textos escritos em português

This exploratory study aims to present some readings as Doyé (2003), Carrasco Perea (2003), Melo Araújo e Sá (2004), Chavagne (2009) and Alas-Martins (2010; 2011) which helped to confirm some ways for showing that a plurilingual environment can enable a trend in improving the understanding of written texts in the mother tongue, and can collaborate on a better perception of the world around a person with all their different nuances. The study describes the methodology and some results of our doctoral research that resulted in the insertion of the experimental discipline called Intercomprehension of Romanic Languages (ILR) in the curriculum in the city of Natal / RN / Brazil, and it was justified because of high functional illiteracy degree among young people up to 15 years old according to the educational data from IBGE research on 2010. The results were verified through an experimental action-research which was characterized by Lewin (1946); Nunan (1992); Thiollent (1994) and Trip (2005) in two schools: Professoara Terezinha Paulino de Lima (municipal school) and Professora Ana Julia de Carvalho Mousinho (State of Rio Grande do Norte), with 95 students from the final years of primary education. The corpus of this research was subjected to a series of condensed techniques like the nonparametric test from Kruskal and Wallis (1952) and the parametric test ANOVA as an effort to provide statistical significance to the analysis of the results indicated in the book of ILR activities. The research presented some skill views about reading comprehension of written texts according to perspective of Ringbow (1987), Giacobbe (1990), Alarcão (1991; 2009a and 2009b), Corder (1992), Castellotti (2001) and Degache (2003), and the possibilities of transfer these skills for learning Portuguese as pointed out by Meissner, Klein and Stegmann (2004); it indicates a positive trend towards the understanding of LM according to analyzing the scores of written tests and texts by participants in solving tasks

As estruturas sociais e econômicas do Império Romano do Ocidente e o estabelecimento do reino dos visigodos nas Galliae Aquitania e Narbonensis

In the year 376 of the Common Era, a tribe of Germanic warriors known as Tervingi , of Gothic extraction, crossed the Hister (Danube) river due south, entering the Roman Empire. They fled the Huns, a nomadic group that came plundering their way from the East. It did not take long for a conflict between the Roman imperial authorities and the refugees to begin. Peace was reached in 382 and, henceforth, the Tervingi would be officially foederati (allies) of the Romans, gaining the right to remain an autonomous tribe inside the borders of the Empire. For the next thirteen years the Tervingi warriors fought beside the Roman imperial armies in every major conflict. Nevertheless, after the death of the emperor Theodosius I in 395, their relations deteriorated severely. In theory, the Tervingi remained Roman allies; in practice, they begun to extort monies and other assets from the emperors Honorius and Arcadius. The sack of Rome by the Tervingi king Alaric in 410 was both the culmination and the point of inflection of this state of affairs. During the 410s the Tervingi warriors would fought again beside the Roman Imperial armies and be rewarded with a piece of land in the southwestern portion of the Gallic diocese. Dubbed Visigoths , they would remain trusted Roman allies throughout the next decades, consolidating their own kingdom in the process. This dissertation deals not only with the institution of the Visigothic kingdom in the southwestern portion of the Galliae but also with the social and economic conditions that hindered the Roman ability to defend their territory by themselves, hence opening opportunities for foederati like the Tervingi to carve out a piece of it for themselves.

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

O uso de linguagem documentária em catálogos coletivos de bibliotecas universitárias: um estudo de avaliação sociocognitiva com protocolo verbal

Avaliou-se o uso de linguagem documentária alfabética de catálogos coletivos, na perspectiva das bibliotecas universitárias e no contexto sociocognitivo dos indexadores e dos usuários. Concluiu-se que o uso adequado de linguagens documentárias de áreas científicas especializadas faz-se por meio da avaliação quanto à atualização, especificidade e compatibilidade para atender às necessidades de indexação e recuperação da informação.

Consistência na indexação em bibliotecas universitárias brasileiras

The aim of this paper is to evaluate the consistency indexes among 30 Brazilian university libraries from the south and south-east regions through a specific mathematical formula. It was selected a sample of 30 university libraries that, according to the information in their official sites, have a collection consisted of more than 100.000 copies and allow the search into the on-line catalog. Searches were carried out in every university by means of their sites, requesting books that contained a certain word in its title and were printed in a certain year. The response was a list of available titles in the library, from which we chose at random a title and asked to visualize the complete record to verify the existence of a given subject. This procedure was repeated until we found the same title in five libraries with the chosen subjects. The result is 10 trials, each one consisting of one figure and one table showing the selected libraries, the subjects, the documentary languages ( tools) and the consistency indexes relaxed and rigid. These trials show great discrepancy between the values of consistency indexes with intervals between 73,3% to 34,4% in the relaxed index, and between 60% and 9,6% in the rigid one. It was revealed that the coincidence in determining the subjects is not too high remaining below 39%. It is concluded that the difference between the consistency indexes may be due to factors as: incompatibility among documentary languages; lack of updating of these languages so as to follow the knowledge evolution; absence of a well-defined indexing policy with guidelines clearly established. Procedures of indexing followed by indexers could contribute to the consistency index to be bigger in percentage, since there would be parameters for the indexing process.

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

A comunicação como barreira à inclusão de alunos com deficiência visual em aulas de mecânica

O presente artigo encontra-se inserido em um estudo que busca compreender as principais barreiras para a inclusão de alunos com deficiência visual no contexto do ensino de física. Focalizando aulas de mecânica, analisa as dificuldades comunicacionais entre licenciandos e discentes com deficiência visual. Para tal, enfatiza as estruturas empírica e semântico-sensorial das linguagens utilizadas, indicando fatores geradores de dificuldades de acessibilidade às informações veiculadas. Recomenda, ainda, alternativas que se destinam a dar condições à participação efetiva do discente com deficiência visual no processo comunicativo. Conclui afirmando que a comunicação representa a principal barreira à participação efetiva de alunos com deficiência visual em aulas de mecânica, e enfatiza a importância da criação de canais comunicacionais adequados como condição básica à inclusão desses alunos.

A comunicação como barreira à inclusão de alunos com deficiência visual em aulas de óptica

O presente artigo representa uma continuidade dos resultados apresentados em Camargo e Nardi (Revista Brasileira de Ensino de Física 29, 117 (2007)). Encontra-se inserido dentro de um estudo que busca compreender as principais barreiras para a inclusão de alunos com deficiência visual no contexto do ensino de física. Focalizando aulas de óptica, analisa as dificuldades comunicacionais entre licenciandos e discentes com deficiência visual. Para tal, enfatiza as estruturas empírica e semântico-sensorial das linguagens utilizadas, indicando fatores geradores de dificuldades de acessibilidade nas informações veiculadas. Recomenda, ainda, alternativas que visam dar condições à participação efetiva do discente com deficiência visual no processo comunicativo, das quais destacam-se: a identificação da estrutura semântico-sensorial dos significados veiculados, o conhecimento da história visual do aluno, a destituição da estrutura empírica audiovisual interdependente e a exploração das potencialidades comunicacionais das linguagens constituídas de estruturas empíricas de acesso visualmente independente. Conclui afirmando que a comunicação representa a principal barreira à participação efetiva de alunos com deficiência visual em aulas de óptica e enfatiza a importância da criação de canais comunicacionais adequados como condição básica à inclusão desses alunos.

Reflexão e identidade profissional do professor de LE: que histórias contam os futuros professores?

Este artigo relata os resultados de um estudo realizado com alunas de graduação em Letras, Português - Língua Estrangeira (Inglês, Espanhol, Italiano, Japonês, Francês e Alemão). Objetivou verificar as metáforas, regras da prática e princípios que as alunas identificaram durante um processo de reflexão sobre suas formações profissionais. Foi possível identificar o impacto desses elementos em seus processos individuais de desenvolvimento de identidades como professoras. O resultado foi um conjunto de histórias biográficas escritas (fontes de experiências) nas quais as participantes se baseavam para constituir suas identidades profissionais como professoras de línguas estrangeiras. Nesses processos, elas puderam construir ligações significativas entre os aspectos teóricos evidenciados nas leituras que realizaram durante o período da pesquisa e os vários eventos marcantes de suas narrativas orais acerca da carreira profissional. A associação dos vários aspectos de suas histórias pessoais às questões teóricas que foram discutidas durante a pesquisa revela processos de construções de identidades profissionais como professoras de línguas estrangeiras.

Fatores a serem levados em consideração para o desenvolvimento de testes de proficiência oral em contexto virtual

Novos contextos de aprendizagem virtual de línguas estrangeiras vêm surgindo com o desenvolvimento das novas tecnologias. Há a necessidade agora de se pensar em como a competência linguística poderá ser também avaliada em meio virtual. Este artigo traz uma retrospectiva da origem e desenvolvimento das provas de proficiência oral para falantes de línguas estrangeiras, buscando também levantar e discutir os aspectos a serem levados em consideração para a formulação deste tipo de teste em ambiente virtual.

Knowledge Representation and Orthophemism: A Reflection Aiming to a Concept

Characteristics of speech, especially figures of speech, are used by specific communities or domains, and, in this way, reflect their identities through their choice of vocabulary. This topic should be an object of study in the context of knowledge representation once it deals with different contexts of production of documents. This study aims to explore the dimensions of the concepts of euphemism, dysphemism, and orthophemism, focusing on the latter with the goal of extracting a concept which can be included in discussions about subject analysis and indexing. Euphemism is used as an alternative to a non-preferred expression or as an alternative to an offensive attribution-to avoid potential offense taken by the listener or by other persons, for instance, pass away. Dysphemism, on the other hand, is used by speakers to talk about people and things that frustrate and annoy them-their choice of language indicates disapproval and the topic is therefore denigrated, humiliated, or degraded, for instance, kick the bucket. While euphemism tries to make something sound better, dysphemism tries to make something sound worse. Orthophemism (Allan and Burridge 2006) is also used as an alternative to expressions, but it is a preferred, formal, and direct language of expression when representing an object or a situation, for instance, die. This paper suggests that the comprehension and use of such concepts could support the following issues: possible contributions from linguistics and terminology to subject analysis as demonstrated by Talamo et al. (1992); decrease of polysemy and ambiguity of terms used to represent certain topics of documents; and construction and evaluation of indexing languages. The concept of orthophemism can also serves to support associative relationships in the context of subject analysis, indexing, and even information retrieval related to more specific requests.