Os profissionais de saúde diante da violência :mapeando o processo de implantaçãoda notificação na rede básica de saúde em Natal/RN

Violence is a complex and multifarious phenomenon that has convoked the government to think about strategies to face the question. This work is about one of these strategies proposed by brazilian Health Minister: the Individual notification/investigation Card - Domestic Violence, Sexual and/or others Interpersonal Violences . This instrument is a notification protocol which is been implanted in all of the country. This process is in course in Natal/RN. This work is a report of one research realized in five units of basic health care network of Natal/RN concerning this process about the implementation of the violence notification card. The study aims to cartography all the process of card implantation, discussing the used strategies, the drawn course, difficulties and possibilities as well as how the researcher intended to map subjective process involved at health professional acting at violence case and the propose to use the card. Meetings were held at each unit and a daily fieldwork report was used as research instrument. In this investigation it was observed that notifying violence involves a complexity that is not present in other kinds of notification as consequence of the phenomenon characteristic and health workers are invited to act in different perspective that knowledge and instruments of traditional health fieldwork available does not work. It was observed that the notification card, as a possible instrument of intervention, are considered important detectors from process of work at health basic care and health policies. Depending the way the instrument is used, it may incentive different discussions and manners to offer health care or in other way it can reproduce control and vigilance logics. Consequently it is necessary to consider some factors pointed out at this experience, implanting instruments like this, thinking about these limits and possibilities

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.