Tramas da (ir)racionalidade contemporânea para a composição do mito-tecno-lógico

The plot myth-techno-logic, contemporary, was developed starting from the dualism myth-reason. In this study, we deepened the alluded dualism taking as reference the historical contexts of the Renaissance and of the Enlightenment, emphasizing the discussion of the economical rationalization as conductive thread of the western development, in which we identified the game of the rational and of the irrational, for assure the superiority of the reason. In the context of that game, we analyzed the implications of the modernization, for the education, in function of the instrumental rationality, responsible for the environment of adaptation of the technological instruments to the scenery of the contemporary modernization. The new context is constituted by points of union and of ruptures among the technique, the science and the myth. Through our analysis, we noticed that the basic needs for the contemporary society were linked to the changes in the production means, for which the machine determine the rhythm of the work and the quality of the product. However, the changes in the productive processes promoted the appearance of the commercial marks that, as we see it, they represented the synthesis of the perfect harmony of the myth, of the technique, of the science and of the technology, in the conduction of the economical rationalization to the contemporary modernization. Thus, the contemporary modernization it arrives us for the economical rationalization, developed with the support of the technician-scientific knowledge and communicated by the articulations of the myth-techno-logical

Professoras e projetos: concepções e práticas no ensino fundamental

The discussion we have established in this study is about how the practice is developing educational projects based on work with because the methodological choice of the teacher. The study of an ethnographic qualitative approach was conducted with a group of six teachers in two public schools in School Administrative Zone north of the city of Natal / RN. Data were constructed from semi-structured, reinforced by the direct observation of the practice of teaching of teachers. The goals outlined were to identify the reasons why the option for the project, listing the benchmarks that subsidized their construction, the observation of everyday experience in educational planning and development of projects developed. In the light of information we can notice a complex and even contradictory, which is confusing the concepts and practices are weakened. The analysis revealed inconsistencies between theory and practice in working with projects, the fruit of little theoretical development of teachers. The adoption of the project as a methodological option has meant a change in direction of the effective action didactic. Reflects on this situation, it was concluded that there is a need to broaden the understanding of the significance of this type of work, covering the different dimensions that involve the practice of research, research and training of teachers. Even preventing the intentions and initiatives of the teachers, it must be emphasized is the process of learning within an approach that focuses the process of learning in multiple dimensions, inter-relational, both the capabilities of students in the areas of knowledge.

Utilizando processos geométricos da história da matemática para o ensino de equações do 2º grau

The present work had as principal objective to analyze the, 9th grade students understanding about the solutions of an equation of the 2° degree, using geometric processes of the History of the Mathematics. To do so, the research had as base the elaboration and application of a group of teaching activities, based on Jean Piaget's construtivism. The research consisted of a methodological intervention, that has as subjects the students of a group of 9th grade of the State School José Martins de Vasconcelos, located in the municipal district of Mossoró, Rio Grande do Norte. The intervention was divided in three stages: application of an initial evaluation; development of activities‟ module with emphasis in constructive teaching; and the application of the final evaluation. The data presented in the initial evaluation revealed a low level of the students' understanding with relationship to the calculation of areas of rectangles, resolution of equations of the 1st and 2nd degrees, and they were to subsidize the elaboration of the teaching module. The data collected in the initial evaluation were commented and presented under descriptive statistics form. The results of the final evaluation were analyzed under the qualitative point of view, based on Richard Skemp's theory on the understanding of mathematical concepts. The general results showed a qualitative increase with relationship to the students' understanding on the mathematical concepts approached in the intervention. Such results indicate that a methodology using the previous student‟s knowledge and the development of teaching activities, learning in the construtivist theory, make possible an understanding on the part of the students concerning the thematic proposal

Ser professor de português: o que dizem os discursos reguladores, os alunos e os professores no contexto da formação inicial (UMINHO/Portugal e UFRN/Brasil)

The constitution of being a teacher of Portuguese occurs in a dynamic process involving various factors, such as the requirements of regulatory documents, the context of teacher formation, and the configuration of current society, per se. This study is aimed at reflecting on the initial formation of teachers of Portuguese and on official documents that face this formation, raising the following questions: (1) what does it mean to be a Portuguese teacher? (2) what is the vision of the subjects (teachers and students) involved with the formation of teaching the Portuguese Language? (3) how do these individuals deal with official documents? and (4) how do these subjects discourses relate? To understand the context of the formative processes and the knowledge inherent in them, first we take the studies of Garcia (1999) and Tardif (2002) as a theoretical framework, and to understand and interpret the utterances of the interviewees, we were grounded in the writing of Bakhtin (2003), for whom the object of the Humanities, the sciences of man, is the text, since man is, by nature, an expressive being. We situate this study in the framework of qualitative research. It is a multiple case study that focuses on two contexts: formation of teachers of Portuguese at the University of Minho, Portugal, and the Federal University of Rio Grande do Norte, Brazil. The data that make up the research corpus come from documents elaborated by the Ministries of Education of Portugal and Brazil and were adopted by the two teacher formation institutions cited, from individual interviews involving eight trainer teachers (four from each university), and from two group-interviews (one in each institution), done with students in training. Our analysis is divided into three stages: first, document analysis; second, analysis of the discourse of the teachers in both contexts studied; and, third, analysis of the speech of the students in training. It is noteworthy that our purpose in this research was not to come out with a definition like being a teacher of Portuguese is X, but we are interested, above all, in discussing the issues surrounding initial formation, seeking different points of view, and hearing voices coming from different social positions for better understanding our object of study. Our analysis reveals that the initial formation of teachers of Portuguese, both in Portugal and Brazil, occurs in a complex way, under the influence of various factors, including: (a) difficulties in having the individuals involved adapt to the demands of regulatory agencies; (b) students and teachers adequacy to the organizational model of the post-secondary institution; (c) teachers difficulties to deal with the learning problems of students who have limited schooling basis and come from distinct socioeconomic realities; (d) a search for the establishment of methodologies for teaching and learning the Portuguese Language more adequate to reality; and (e) a search for a definition of professional knowledge needed for the teaching practice

Luiz Antônio dos Santos Lima e o seu legado educacional (Natal/RN, 1910-1961)

This research aims to analyze the intellectual practice of Luiz Antônio Ferreira Souto dos Santos Lima. This is done considering the author´s legacy related to the History of Education in Rio Grande do Norte/Brazil in the time span of 1910 to 1961. Thus, the research is grounded on assumptions that rely on the Cultural History field. The research also dealt with dialogues between the author and Chartier (1990), Elias (1994), Morais (2003; 2006), as well as Gondra (2003). For the bibliographical research the work dealt with a vast array of documents such as newspapers called A República and Diário do Natal, Pedagogium, Revista do ensino, as well as state laws and decrees These documents were obtained at the Historical and Geographical Institute in Rio Grande do Norte. The research also dealt with School Bylaws and a medical doctoral thesis called Mental Hygiene and Education that was written by Luiz Antônio dos Santos Lima. Other documents were obtained at the State´s Public Archive, such as the Book of Honor, Work Records, Reports and Minutes of the General Directorate of Public Instruction Meetings. It was possible to infer that professor Luiz Antônio dos Santos Lima was teacher at Grupo Escolar Augusto Severo, the Atheneu as well as some local grade schools. The professor had a broad role in society, in administrative positions such as the Presidency of the Association of Teachers of Rio Grande do Norte, as Grade School Director in the School of Pharmacy and the State Education Department. He was also a member of the Academy of Arts and a partner at Historical and Geographical Institute in Rio Grande do Norte. The professor has also concerned with issues related to teaching good habits such as feeding, grooming, discipline, game morals, temperance, smoking, sex education; all of which necessary for the formation of healthy children. He was an enthusiast of an intuitive method and teaching lessons through practice, that he considered key elements in education. It is seen that professor Luiz Antônio dos Santos Lima had presence in the State´s health education and that his ideals were line with the ideal of modernity of the early twentieth century

A educação no processo de trabalho da enfermagem: o caso do hospital de ensino

It is in the work environment that occurs the relations of production, economy, personal development and professional growth. Thus, this environment characterizes for being a propitious way to the intellectual development diligent them. In this context, this study it had as objective to analyze the possibilities and challenges of the education to consist integrant part of the process of work of the nursing, in an education hospital. One is about a research of analytical matrix and qualitative boarding, that had as collaborating fifteen professionals of the nursing, middle- and upper-level, of a hospital of education in Natal/RN. It followed the metodológicos estimated ones of the thematic verbal history, which looks for to promote the agreement or clarification of determined situations, catching experiences of made use people to say on aspects of its life, keeping a commitment with the social context. The information then had been gotten by means of a research instrument that made possible the accomplishment of interviews, which had been marked anticipatedly and counted on the assent of that in they had participated. The interviews had been recorded in proper equipment, so that you say them of the collaborators transcribing and they were analyzed with the support of pertinent literature. The content of you say them was classified in empirical categories, as the nuclei of felt that they presented. With the analysis of the data, one evidenced that the education in the process of work of the nursing is something possible to occur, but that diverse they are the challenges that the same one has that to face to promote this phenomenon in its daily one of work. The collaborators had affirmed that the worker is necessary to remain itself permanently in study so that, thus, it grows professionally and improves its assistance. They had still affirmed that she is possible to work and to study, but that this requires determination of who intends such intention. E also guarantees that the diverse forms of education directed toward the care in nursing can have resolution, since that has collective compromising of the institution. This, as education hospital, recognizes to be necessary to possess one politics of education for its workers and is if considering implementation the same one through a structuralized program already. Therefore, the results of this research show the necessity of changes in the current scene where if they find the workers of nursing of the institution in study. These changes can be reached through one politics of investment in the workers, allowing, beyond other benefits, the reach of new knowledge that take them to a significant learning in favor of the population, reflecting in the quality of the given assistance

Avaliação do impacto do treinamento de clínica em hanseníase e sua contribuição para o aumento da detecção da doença no Estado do Rio Grande do Norte

Hansen´s disease is considered a serious public health problem. In 2006, the Ministry of Health reported that worldwide, Brazil ranked 2nd in the number of cases of the disease, surpassed only by India. The North region is the geographical area in Brazil that presents the most cases. In the state of Rio Grande do Norte, the disease is considered to be eliminated because its prevalence has been identified as 1 per 10.000 inhabitants, criteria established by the State Elimination Letter of 2005. Training programs have been offered by the Coordination for the Control of Hansen´s Disease Program of Rio Grande do Norte, PCH-RN since 1997, with the support of the English governmental agency Leprosy Relief Association, LRA, with no evaluation having been conducted. The objective of this study was to evaluate the training programs in clinical diagnosis of Hansen´s disease and their contribution to the detection of the disease in the state of Rio Grande do Norte. The study was conducted in seven municipalities that are known as Regional Public Health Units (URSAPs): São José de Mipibu URSAP I, Mossoró URSAP II, João Câmara URSAP III, Caicó URSAP IV, Santa Cruz URSAP V, Pau dos Ferros URSAP VI and Natal, capital city of the State, in the Metropolitan Region. Physicians and nurses of the Family Health Program PSF were interviewed as to their perceptions of the implementation of the training program in clinica diagnosis of Hansen´s Disease conducted by the PCH-RN. They evaluated their own practice and the training program. These professionals presented a positive evaluation of the program and gave suggestions for future courses. The results of this study suggest the need for permanent education. Data of the disease obtained from the official records of the Secretariat of Health and from the interviews indicate that health education is the means to control Hansen´s disease effectively

Sofrimento psíquico: representações sociais dos enfermeiros em ambiente hospitalar

We believe that the dissatisfaction arising from the lack of belief in the possibilities of change in the workplace, which cause difficulties to achieve professional results in the professional psychological distress that currently fits into the context of mental health. This is a qualitative, descriptive and representational research aiming to discover how the professional nurses represent the very psychological distress from work in the hospital environment. Aided and supported by specific objectives of identifying factors that generates this suffering and strategies for defense and confronting these professionals in the hospital. 22 nurses participated in this research, officials of the University Hospital Onofre Lopes, located in the city of Natal / RN, with length of service in the institution more than one year and less than five, and they accepted, by signing the Term of Free and Informed Consent, participate in the study. We use plurimethodological approach: a questionnaire, a semi-structured interview and the design-story with a theme adapted from Trinca with the support of the Theory of Social Representations and that nurses do in their psychological distress of the Central Core. We reviewed the data from the results generated by the ALCESTE software, based on hierarchical categorization downward, leading seven classes used as categories: Work process: completeness vs. incompleteness; labor contradiction of the nurse; qualitative aspects of interpersonal relationships; hospital surveillance: Challenges, muteness and neglect; Expectations, conflicts and feelings in the work process; Leisure: the other side of the work process, and Suffering generating aspects of in the work process. We consider the analysis of quarters generated by the program, which SLQ houses in the central core of the representations; the SRQ and the DLQ the intermediaries elements and the DRQ the peripheral elements that nurses do in their psychological distress. We analytically adequate results in the three belonging dimensions of social representations: the Subjectivity, the Intersubjectivity and Trans-subjectivity. We infer that the interpersonal relationship, the extra work, the deviation in the role of nurse show themself as the factors responsible for psychological distress of it. In that sense, the central core of SR of this profession is based on the level of trans-subjectivity and understood as a Social Representation controversy

Abordagem cognitiva da construção deverbal x-dor: contribuições para o ensino do português

This work analyzes deverbal nominalizations with the sufix dor in Brazilian Portuguese, under the perspective of Cognitive Linguistics, more specifically, the Construction Grammar. The aim is to determine the general features of interpretation that characterize this deverbal construction and its use in formal writing. Based on the cognitive assumption that grammatical structure is motivated, explained, and determined by the structure of cognitive patterns, created from our experience in the world, and by the communicative function of language, the dor deverbal is treated as a polysemic grammatical construction. In the composition of V+dor, the relation rootsuffix is focused, through a characterization of the syntactic-semantic nature of the verb and the values of the suffix. Among the different values conventionally related to the XDOR construction, the agentive is considered as the prototypical sense. The relation between the other values and the prototype is explained by cognitive abilities and discourse motivations. The deverbal construction X-DOR is also interpreted as a valency noun that, like an action nominal, retains the argument structure of the deriving predicate. It is also intended to demonstrate the textual function of this deverbal construction, as a device of information condensing and anaphoric recovery. The data were taken from Veja magazine and the approach is qualitative (explicative), with quantitative support

Foucault e a arte do cuidado de si: uma nova possibilidade de Discussão para a formação continuada de professores de língua inglesa

This thesis proposes a new thinking on the English teacher and their continuing education, leaving the picture emerging of a new professional, who is producing and being produced. From this perspective, I present an analysis of self writing of thirteen student-teachers, teachers on how they position themselves to be discursively constituted as subjects in the context of continuing education. As part of Applied Linguistics, the theory and method that supports the analysis of data are articulate key elements of Foucault notions, namely:The care of the self, seeking their connection with one another and care of and the self writing. In the theoretical notions of these elements are implied notions of others, such as speech, ethics, technology of the self, subject and truth. (Foucault, 1984, 1995, 2004c, 2006), and questioning the ethics of the subject. I propose to examine selected excerpts from the self writings of student teachers with a specialization in Teaching and Learning the English Language, seeking linguistic processes in the material production of subjectivities.In order to analyze the process of subjectivation, I examine the discursive statements of selected cuts, aiming to learn more specifically, the points of identification and fragments of the uniqueness of the teachers, showing how they care for themselves and reflect upon them in building their subjectivity from the technologies of the self, to occupy the position of English Language teachers. The results show that, in the exercise of self writing, the subject falls, and a practice of asceticism, discursively construct her/his subjectivity

A percepção de suporte organizacional dos novos servidores da Universidade Federal do Rio Grande do Norte

This work deals with organizational support perception-OSP. This is done considering staff global beliefs, value of their contributions, care and well being related of individuals in an organization. These issues has been have been present in many researches since the 80s. It is important to analyze this matter considering all the changes that occurred nationally and internationally in the academic environment, characterized as being diversified in academic and managerial level. This occurs especially in Brazil since Federal Universities and their agents have suffered impact and restructuring. The research has emphasized the technical-managerial as well as professor staff level at Universidade Federal do Rio Grande do Norte aiming to deal with their unsatisfaction upon social political support. Thus, there was participation of 259 staff that were admitted from 2003 to 2005 in many sectors and units of the university. These subjects were submitted to a social and demographical query through an application of a scale of organizational support perception-OSP. Descriptive and multivariate analysis was done considering factors (management style of higher command), material support, wages, work overload, social support at work and ascending levels). Results show that there a hierarchy of the analyzed factors, the factor social support at work as being the first one with 3,31%, the factor management style of the higher command in second with 3,30%, then followed by the factor social support at work with 2,92%, in a sequence the factor material support, factor overload with 2,49% in the fourth position, and in the fifth place, the factor ascending with an average of 2,33% and in last the factor wages with 2,20%. It is concluded that the factors related to the more positive attributions of the OSP (social support at work), in a sequence material support opposing from the most negative factors of the OSP (wages, overload, ascending) reveal a reality that points out that the OSP is very much related to the individualized actions of the members of the organization (leader-member-group) rather than on structure and institutionalized actions carried out at UFRN

Estudo do desempenho de catalisadores tipo Ni/CexM1-xO2 (M = Zr ou Mn) na reação de oxidação parcial do metano

One of the main applications of methane is in the production of syngas, a mixture of hydrogen and carbon monoxide. Procedures used in this process are steam reforming, CO2 reforming, partial oxidation and autothermal reforming. The present study evaluated and compared the behavior of nickel catalysts supported on mixed oxides of cerium and manganese in the partial oxidation of methane with that of nickel catalysts supported on mixed oxides of cerium and zirconium. Mixed oxides of cerium and zirconium or cerium and manganese were synthesized using two different preparation methods, the polymeric precursor based on Pechini method and combustion reaction using a microwave. This was followed by impregnation with nickel content of 15 %. Samples were calcined at 300, 800 and 900 °C and characterized by specific surface area (SSA), X-ray fluorescence (XRF), X-ray diffraction (XRD), scanning electron microscopy (SEM), temperature programmed reduction (TPR) and the reaction of partial oxidation of methane. The specific areas of samples decrease with the rise in calcination temperature and after nickel impregnation. Metal-cerium solid solution was formed and the presence of other manganese species outside the solid solution structure was confirmed in the compound with the highest amounts of manganese oxides showed. With regard to scanning electron microscopy, supports based on cerium and zirconium prepared by Pechini method exhibited agglomerated particles without uniform geometry or visible pores on the surface. However, compounds containing manganese presented empty spaces in its structure. Through synthesis by combustion reaction, morphology acquired independently of the proposed composition demonstrated greater porosity in relation to Pechini synthesis. Although catalysts were prepared using different synthesis methods, the insertion of nickel showed very similar reduction profiles (TPR). In relation to nickel catalysts supported on mixed oxide of cerium and zirconium, there is an initial reduction of NiO species that present certain interaction with the support. This is followed by the reduction of Ce4+ in Ce3+ surface, with subsequent bulk reduction. For catalysts containing manganese, a reduction of nickel oxide species occurs, followed by two stages of reduction for species Mn2O3 in Mn3O4 and Mn3O4 in MnO, with subsequent reduction of bulk. With respect to partial oxidation reactions, the nickel catalyst supported on mixed oxide of cerium and zirconium, prepared using the Pechini method, exhibited CH4 conversion of approximately 80 %, with conversion of 81 % when prepared by combustion. This behavior continued for 10 hours of reaction. Manganese content was also found to directly influence catalytic activity of materials; the greater the manganese oxide content, the faster deactivation and destabilization occurred in the catalyst. In both synthesis methods, the nickel catalyst supported on mixed oxide of cerium and zirconium maintained an H2/CO ratio very close to 2 during the 10 hours of partial oxidation reaction. Samples containing manganese displayed smaller H2/CO ratios and lower performance in partial oxidation.

Estudo da imobilização de proteases para a síntese de oligolisinas

Enzymatic synthesis of peptides using proteases has attracted a great deal of attention in recent years. One key challenge in peptide synthesis is to find supports for protease immobilization capable of working in aqueous medium at high performance, producing watersoluble oligopeptides. At present, few reports have been described using this strategy. Therefore, the aim of this thesis was to immobilize proteases applying different methods (Immobilization by covalent bound, entrapment onto polymeric gels of PVA and immobilization on glycidil metacrylate magnetic nanoparticles) in order to produce water-soluble oligopeptides derived from lysine. Three different proteases were used: trypsin, α-chymotrypsin and bromelain. According to immobilization strategies associated to the type of protease employed, trypsin-resin systems showed the best performance in terms of hydrolytic activity and oligopeptides synthesis. Hydrolytic activities of the free and immobilized enzymes were determined spectrophotometrically based on the absorbance change at 660 nm at 25 °C (Casein method). Calculations of oligolysine yield and average degree of polymerization (DPavg) were monitored by 1H-NMR analysis. Trypsin was covalently immobilized onto four different resins (Amberzyme, Eupergit C, Eupergit CM and Grace 192). Maximum yield of bound protein was 92 mg/g, 82 mg/g and 60 mg/g support for each resin respectively. The effectiveness of these systems (Trypsin-resins) was evaluated by hydrolysis of casein and synthesis of water-soluble oligolysine. Most systems were capable of catalyzing oligopeptide synthesis in aqueous medium, albeit at different efficiencies, namely: 40, 37 and 35% for Amberzyme, Eupergit C and Eupergit CM, respectively, in comparison with free enzyme. These systems produced oligomers in only 1 hour with DPavg higher than free enzyme. Among these systems, the Eupergit C-Trypsin system showed greater efficiency than others in terms of hydrolytic activity and thermal stability. However, this did not occur for oligolysine synthesis. Trypsin-Amberzyme proved to be more successful in oligopeptide synthesis, and exhibited excellent reusability, since it retained 90% of its initial hydrolytic and synthetic activity after 7 reuses. Trypsin hydrophobic interactions with Amberzyme support are responsible for protecting against strong enzyme conformational changes in the medium. In addition, the high concentration of oxirane groups on the surface promoted multi-covalent linking and, consequently, prevented the immobilized enzyme from leaching. The aforementioned results suggest that immobilized Trypsin on the supports evaluated can be efficiently used for oligopeptides synthesis in aqueous media

O trabalho dos assistentes sociais nos hospitais universitários Onofre Lopes (HUOL) e Hospital Ana Bezerra (HUAB) da UFRN: os desafios da formação permanente

This paper discusses the process of training social workers in the environment of University Hospitals- UH s. These hospitals provide space for professional education aiming to achieve a critical and purposeful professional performance. As environments for training, producing knowledge and providing essential services to the public, these hospitals require all members of the healthcare team to have a continued education. Understanding that training has to be a priority and conceived as constant pursuit for update through the interaction of Teaching, Researching and EPO ( Education and Public Outreach). These dimensions provide approximations and domain of theoretical and methodological, giving special importance to understanding the social reality, a sine qua non condition to the work of the Social Service professional. The main goal of the research was to comprehend how the continuous professional education of the social worker occurs and it s relation with the articulations involving Teaching, Researching and EPO, as significant elements for the job of the social workers in the Hospital Universitário Ana Bezerra and Hospital Universitário Onofre Lopes/UFRN. The research was conducted through a literature review, documentary and field inquiries with semistructured interviews including the group of 09 (nine) social workers from the aforementioned hospitals, taking as a reference the quantitative and qualitative approach to analyze mediations that stand between the subject and the social context. The results indicate that social workers in these university hospitals have their insertion beyond the care provided to patients in performance in the areas of education through preceptorship to undergraduate students and social work residents in and extension projects with low insertion in area of research. We note that there is a recognition of the importance of a continuous education, indicating that the qualification of social worker is essential in transforming their daily professional practice to better monitor, critically explain the peculiarities of public health in its everyday showing of how unequally access is provided to the users of the public health system

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers