A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

Tear identitário:a prática docente em arte como conhecimento compartilhado

This investigative tissue is about the formation of identification processes of teachers and pedagogical practice of Art, in Teresina city. This search comprised the sum of the needs presented, agreed upon with the teachers engaged in the process, it was developed through the establishment of interactive environment Loom Team where collaboration and critical reflection were steering actions to promote the understanding of existing connections or relations within the processes of identifications and the pedagogical practice of Art. The tissue is formed by the polyphonic plot of the critical reflection of nine teachers of Art who engaged voluntarily and this investigation of formative nature and a production of knowledge. All these teachers have degree and the course of artistic education and especial qualification in Fine Arts and/or Drawing. The texture, which we denominated Identification Loom: The pedagogical practice of Art as share knowledge is (de) (re) construction of knowledge resulting from the critical reflection, in an environment of collaboration, which may have implications and ethical political attitudes in the pedagogical practice of the group. Within this context, we pose the following question: - How does the pedagogical practice in Art influence and/or be influenced by the identification processes of the teachers, and how do they interfere with the search and manifestation of the knowledge involved and the investment in professionalization? In view of this query, we make use of the cooperative investigation, having social history as theoretical reference and as analytic perspective of interactive and dialogical-reflexive processes. Thus, social historic theory, cooperative approach and pedagogical practice were the major components of the plot. The methodological texture counted on the threads of dialogical reflexion, of mediation and of collaboration. The conceptual formulation, the recording in videos of classes and the narratives of formations were the main threads of the analytic substrate of the investigation. With this articulation, theses threads appear as developers of processes leading to a major approximation of the thought on the identity/alterity dialectical pair of the participants involved. The language within this plot had a decisive importance in all the moments of the search of signification, embracing and connecting the identification/alterative processes, the pedagogical practice of Art and the knowledge shared. In such processes involving (de) (re) construction, one can notice a close correlation of the triad social identity, pedagogical practice and knowledge shared. For this reason, the vigotskian, guetmanovian and kopnian theoretizations were the major framework for the analysis of conceptual formulations; and, as for discourse analysis, Baktin and Orlandi were our masters. For these teachers, the experience shared throughout the process of this typology of tri-axial investigation focused the experience of many theoretical and practical assumptions. Such an experience enabled them to state that this, with collaboration, can make reflection on the practice a starting and promoting element, within the individual level of self-management, in addition to being a space of (de)(re)construction of meanings, of knowledge and of reinvention per se

GRAMMAR and COMMUNICATION IN PORTUGUESE AS A FOREIGN LANGUAGE A Study in the Context of Teletandem Interactions

This paper presents a study about the role of grammar in on-line interactions conducted in Portuguese and in English, between Brazilian and English-speaking interactants, with the aim of teaching Portuguese as a foreign language (PFL). The interactions occurred by means of chat and the MSN Messenger, and generated audio and video data for language analysis. Grammar is dealt with from two perspectives, an inductive and a deductive approach, so as to investigate the relevance of systematization of grammar rules in the process of learning PFL in teletandem interactions.

Data information system to promote the organization data of collections - modeling considerations by the Unified Modelign Language (UML)

Pode-se afirmar que a evolução tecnológica (desenvolvimento de novos instrumentos de medição como, softwares, satélites e computadores, bem como, o barateamento das mídias de armazenamento) permite às Organizações produzirem e adquirirem grande quantidade de dados em curto espaço de tempo. Devido ao volume de dados, Organizações de pesquisa se tornam potencialmente vulneráveis aos impactos da explosão de informações. Uma solução adotada por algumas Organizações é a utilização de ferramentas de sistemas de informação para auxiliar na documentação, recuperação e análise dos dados. No âmbito científico, essas ferramentas são desenvolvidas para armazenar diferentes padrões de metadados (dados sobre dados). Durante o processo de desenvolvimento destas ferramentas, destaca-se a adoção de padrões como a Linguagem Unificada de Modelagem (UML, do Inglês Unified Modeling Language), cujos diagramas auxiliam na modelagem de diferentes aspectos do software. O objetivo deste estudo é apresentar uma ferramenta de sistemas de informação para auxiliar na documentação dos dados das Organizações por meio de metadados e destacar o processo de modelagem de software, por meio da UML. Será abordado o Padrão de Metadados Digitais Geoespaciais, amplamente utilizado na catalogação de dados por Organizações científicas de todo mundo, e os diagramas dinâmicos e estáticos da UML como casos de uso, sequências e classes. O desenvolvimento das ferramentas de sistemas de informação pode ser uma forma de promover a organização e a divulgação de dados científicos. No entanto, o processo de modelagem requer especial atenção para o desenvolvimento de interfaces que estimularão o uso das ferramentas de sistemas de informação.

Wordnet.Br: An Exercise of Human Language Technology Research

This paper reports the ongoing project (since 2002) of developing a wordnet for Brazilian Portuguese (Wordnet.Br) from scratch. In particular, it describes the process of constructing the Wordnet.Br core database, which has 44,000 words organized in 18,500 synsets Accordingly, it briefly sketches the project overall methodology, its lexical resourses, the synset compilation process, and the Wordnet.Br editor, a GUI (graphical user interface) which aids the linguist in the compilation and maintenance of the Wordnet.Br. It concludes with the planned further work.

Optimal clone identifier based on dynamic rules and process algebra

The rule creation to clone selection in different projects is a hard task to perform by using traditional implementations to control all the processes of the system. The use of an algebraic language is an alternative approach to manage all of system flow in a flexible way. In order to increase the power of versatility and consistency in defining the rules for optimal clone selection, this paper presents the software OCI 2 in which uses process algebra in the flow behavior of the system. OCI 2, controlled by an algebraic approach was applied in the rules elaboration for clone selection containing unique genes in the partial genome of the bacterium Bradyrhizobium elkanii Semia 587 and in the whole genome of the bacterium Xanthomonas axonopodis pv. citri. Copyright© (2009) by the International Society for Research in Science and Technology.

English collocations extracted from a corpus of university learners and its contribution to a language teaching pedagogy

Taking into consideration the relevance of foreign language teaching and the learning of collocations (ALTENBERG; EEG-OLOFSSON, 1990; FONTENELLE, 1994; MEUNIER; GRANGER, 2008), this paper aims at showing results of an investigation on whether the teaching of collocations should be implicit or explicit to the Brazilian university students. Furthermore, the research has the purpose of presenting some collocational aspects from a corpus of the written language learners made up of intermediate, upper intermediate and advanced university students' argumentative essays at a public university in Brazil. With the help of WordSmith Tools (SCOTT, 2007), it was possible to raise students' most frequent collocational choices and patterns, the most/least used type of collocations, the influence of the mother tongue on their choices, among other aspects. With the purpose of motivating and involving students in classroom research, it was also introduced The Corpus of Contemporary American English (COCA), created by Mark Davies. By doing so, students could compare their collocational choices with the patterns found in the online corpus, extract more collocational patterns and, consequently, be aware of the potential of corpora for the foreign learning process, specifically for raising language awareness, with focus on prefabricated chunks.

Towards criterion validity in classroom language analysis: methodological constraints of metadiscourse and inter-rater agreement

This paper reports on a process to validate a revised version of a system for coding classroom discourse in foreign language lessons, a context in which the dual role of language (as content and means of communication) and the speakers' specific pedagogical aims lead to a certain degree of ambiguity in language analysis. The language used by teachers and students has been extensively studied, and a framework of concepts concerning classroom discourse well-established. Models for coding classroom language need, however, to be revised when they are applied to specific research contexts. The application and revision of an initial framework can lead to the development of earlier models, and to the re-definition of previously established categories of analysis that have to be validated. The procedures followed to validate a coding system are related here as guidelines for conducting research under similar circumstances. The advantages of using instruments that incorporate two types of data, that is, quantitative measures and qualitative information from raters' metadiscourse, are discussed, and it is suggested that such procedure can contribute to the process of validation itself, towards attaining reliability of research results, as well as indicate some constraints of the adopted research methodology.

The interlanguage development in the spanish learning as foreign language in Teletandem under the View of the Complexity Theory

This article presents, under the perspective of Complexity Theory, the characteristics of the learning process of Spanish as a foreign language in Teletandem. Data were collected from two pairs of Portuguese-Spanish interagents, who were engaged in a systematic and regular interaction, based on the tandem principles. It was found that the learning experience is developed with the peculiarities that arise from the context, agents, members and their nuances, which revealed the presence of a shallow space between the systems of native and foreign languages.

Cross-cultural adaptation of Preschool Language Assessment Instrument: Second Edition

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Information access law and disclosing of information by joint-stock companies in Brazil: open data and Extensible Business Reporting Language (XBRL) standard

The strategic management of information plays a fundamental role in the organizational management process since the decision-making process depend on the need for survival in a highly competitive market. Companies are constantly concerned about information transparency and good practices of corporate governance (CG) which, in turn, directs relations between the controlling power of the company and investors. In this context, this article presents the relationship between the disclosing of information of joint-stock companies by means of using XBRL, the open data model adopted by the Brazilian government, a model that boosted the publication of Information Access Law (Lei de Acesso à Informação), nº 12,527 of 18 November 2011. Information access should be permeated by a mediation policy in order to subsidize the knowledge construction and decision-making of investors. The XBRL is the main model for the publishing of financial information. The use of XBRL by means of new semantic standard created for Linked Data, strengthens the information dissemination, as well as creates analysis mechanisms and cross-referencing of data with different open databases available on the Internet, providing added value to the data/information accessed by civil society.

Evaluation of indexed language used in collective catalogues of university libraries: a socio-cognitive study using verbal protocol

The use of indexing language in university libraries collective catalogs and the socio-cognitive context of indexing and users were evaluated. The methodology consisted of a diagnostic study elaboration of the functioning and treatment procedures of the indexing information from nine libraries of the UNESP Network, representing the Civil Engineering, Pedagogy and Dentistry areas from a data collection using the Verbal Protocol introspective technique in the Individual and Group forms. The study conducted a reflection upon the statements issued by the seventy-two participating individuals whose the results revealed unsatisfactory results about the use of the Subject Headings List of the BIBLIODATA Network, indexing language utilizing by the UNESP Libraries Network, Brazil, in the representation and in the information retrieval process in the ATHENA catalog, about the sequent aspects of the language: lack of specialized vocabulary as well as updated; lack of remissives and of specific headings, and others. We have concluded that the adequate use of indexing languages of specialized scientific areas becomes by means of evaluation as to updating, specificity and compatibility in order to meet the needs of indexing and information retrieval.

Collaborative language learning in Teletandem: a resource for pre-service teacher education

This article presents some of the results of a qualitative research project about the influences of the pedagogic strategies used by a mediator (graduate student in applied linguistics) in the supervision process of a Teletandem partner (undergraduate student in languages) on her pedagogical practice. It was done within the project Teletandem Brazil: foreign language for all. Based on the reflective teaching paradigm and collaborative language learning, with special emphasis on tandem learning, we analyzed the contributions of the collaborative relationship established between the graduate student and the student-teacher in her first teaching experience. The results bring about implications for the field of language teacher education in a perspective of education within practice, evidencing the experience of collaborative learning in teletandem as an opportunity for reflective teacher education of pre-service teachers.

Subtitling as a pedagogical tool for language teaching in journalism

This study was designed to present and discuss some results produced by a research involving the use of English subtitles of some news videos from the webiste Reuters.com (http://www.reuters.com) with pedagogical reasons in a Brazilian context (Academic English for Journalism). We have developed the research during two semesters at UNESP (Universidade Estadual Paulista Júlio de Mesquita Filho). The professor in charge of the study has chosen the students of Journalism as the audience to whom the videos were presented. The assumptions of many theorists and experts in Audiovisual Translation were adopted as our Theoretical Sources. The first step of the study was the assessment of the syllabus of each course. This was very helpful as a guidance in order to choose the most relevant and interesting videos for students. After the evaluation of academic and professional interests, we chose some videos to insert appropriate subtitles, according to some strategies suggested by Panayota Georgakopoulou and Henrik Gottlieb. Finally we presented the videos during the English classes. At the first time, they were presented without subtitles just to notice the comprehension level of the students. After that, the videos were presented with English subtitles. As we first assumed, the students haven’t had the whole comprehension of specific details during the first presentation, they have just used their previous knowledge and the visual aids to help them in a superficial understanding of the news. As the subtitles appear, the process of communication was finally accomplished.

Book Review of Archaeology as a Process: Processualism and Its Progeny by Michael J. O'Brien, R. Lee Lyman, and Michael Brian Schiffer

The field of archaeology incorporates a confusing assortment of ideas and approaches to the record. With studies ranging widely in ideology and goals, from strict descriptive materialism to sociological interpretation, language used to communicate key concepts (not to mention which concepts are key) also varies widely, resulting in low levels of mutual interest and intelligibility across the discipline. Archaeologists commonly ignore the majority of available literature as a result, further widening intellectual chasms.