JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Ler televisão limites do curso tv na escola e os desafios de hoje em Sergipe

In Reading Television: Limits of the course TV in the School and the Challenges of Today in Sergipe , we had as objective to detect that type of critical reading of the cultural texts produced by the television, professionals of the education of the public net of the basic and average education of the state of Sergipe that all had concluded its 3 (three) modules carries through. We were effectively tutorial of the first edition of this course of extension in the distance and witness some inconsistencies in its application, moment where the instigated investigation appeared: ahead of the current necessity of if understanding with a critical sense, the paper that plays it measured them in orchestration of the globalizado world, that type of critical reading of the audiovisual language is capable to carry through a professional of the education that participated of a course of this nature? Beginning with documental analysys and qualitative metodology we try to analyse in four chapters, since the origins and motivations of this course, to the opinions of 10 (ten) former course students about the approaches of the same thematic subject by two different television new programs, without missing the opinions of the tutors about the conditions in which were made 4 (four) consecutive editions of the course in Sergipe nor the concrete relationships estabilished by the former course students and the audiovisual on their everyday routine both at home and at work. We conclude that the reading made by the former course students is based on common sense and then not satisfactory to the requirements of this task nowadays, and at the same time we point out that the course failed, for it presented severe issues in terms of management and operations in its practical application to distance, by priorizing quantity over quality, by linking itself to a deficient technical structure, by not beholding the diosyncrasies nor the fundamental videos the teachers have access everyday and that it all had direct relation with the attachment of this course to a verticalized policy of technologization of brazilian education.

As relações afetivas na prática tutorial e sua relações com a aprendizagem no curso a distância de licenciatura plena em Química

In distance learning degree in Chemistry in full of the Secretária de Educação a distância da Universidade Federal do Rio Grande do Norte (SEDIS / UFRN). The teacher-tutor to establish the experimental subjects closer relationships with students, mediating the pedagogical actions that develop in the distance learning course, with a view to achieving the principles of autonomy and learning, contributing to the creation of learning environments collaborative, guided by affection.The article presents the results of an empirical research on affectivity in practice this tutorial experimental classes in higher distance education in the full degree course in Chemistry Polo Currais Novos/ RN, held between 2009 and 2010. The study is based on qualitative methodology, whose data were collected through questionnaires and semi-structured interviews with 48 (forty eight) students involved in distance learning courses and selected in order to compose a group of subjects who showed variability, as guidelines that guide the sampling procedures in qualitative research. The results, based on category theory and empirical analysis of data from the interviews were supplemented by information obtained from participant observation which also served to guide the data collection of the corpus of this work. With the results we understand that there is clarity about what characterizes a loving relationship between those involved in the process of teaching and learning in experimental classes in high school chemistry Distance Education. Furthermore, it was also clear that the communication process in dialogic teaching and learning in higher distance education in chemistry at the trial need to mark out in balanced affective attitudes, the experimental error that value and respect the many possible construction of knowledge by movements social interaction of individual and collective

As relações afetivas na prática tutorial e sua relação com a aprendizagem no curso a distância de licenciatura plena em química

In distance learning degree in Chemistry in full of the Secretária de Educação a distância da Universidade Federal do Rio Grande do Norte (SEDIS / UFRN). The teacher-tutor to establish the experimental subjects closer relationships with students, mediating the pedagogical actions that develop in the distance learning course, with a view to achieving the principles of autonomy and learning, contributing to the creation of learning environments collaborative, guided by affection.The article presents the results of an empirical research on affectivity in practice this tutorial experimental classes in higher distance education in the full degree course in Chemistry Polo Currais Novos/ RN, held between 2009 and 2010. The study is based on qualitative methodology, whose data were collected through questionnaires and semi-structured interviews with 48 (forty eight) students involved in distance learning courses and selected in order to compose a group of subjects who showed variability, as guidelines that guide the sampling procedures in qualitative research. The results, based on category theory and empirical analysis of data from the interviews were supplemented by information obtained from participant observation which also served to guide the data collection of the corpus of this work. With the results we understand that there is clarity about what characterizes a loving relationship between those involved in the process of teaching and learning in experimental classes in high school chemistry Distance Education. Furthermore, it was also clear that the communication process in dialogic teaching and learning in higher distance education in chemistry at the trial need to mark out in balanced affective attitudes, the experimental error that value and respect the many possible construction of knowledge by movements social interaction of individual and collective

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic