e-Pontos: Uma solução embarcada de automação comercial aplicada a clubes de fidelidade baseado em tecnologia RFID e esmart card

In practically all vertical markets and in every region of the planet, loyalty marketers have adopted the tactic of recognition and reward to identify, maintain and increase the yield of their customers. Several strategies have been adopted by companies, and the most popular among them is the loyalty program, which displays a loyalty club to manage these rewards. But the problem with loyalty programs is that customer identification and transfer of loyalty points are made in a semiautomatic. Aiming at this, this paper presents a master's embedded business automation solution called e-Points. The goal of e-Points is munir clubs allegiances with fully automated tooling technology to identify customers directly at the point of sales, ensuring greater control over the loyalty of associate members. For this, we developed a hardware platform with embedded system and RFID technology to be used in PCs tenant, a smart card to accumulate points with every purchase and a web server, which will provide services of interest to retailers and customers membership to the club

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.

O marketing e a atuação social das empresas: uma relação possível

The present work is about a study of multiple cases with exploratory and descriptiveperspective and qualitative emphasis. Its field of study is constituted by three local companieswith description of social performance, with emphasis in the personal interview with thecontrollers. Its main objective consists of understanding as it has occurred the marketingrelation with the enterprise social performance in the context of these companies located inthe State of the Rio Grande do Norte who carry out social investments. For this, it hassearched to analyze the types and characteristics of the developed social actions, to evaluatethe motivations and objectives of the accomplishment of social actions, to verify theimportance and influence of the social performance in the dynamics of the companies, toverify the level of specific knowledge and information in the areas of marketing and socialperformance in the companies and to evaluate the process of communication (promotion andspreading) of the social performance carried out by the companies. It has been verified thatthe company A directly associates it its social and ambient activities with differentiationbenefits, competitiveness, creation of value, loyalty, relationships, image, prestige,positioning of the company, sale and financial return, beyond benefits in the internal level asbigger motivation of its employees and retention of talents, not existing rejection to theinterlacement of the concepts related to the marketing and the social one. Already in companyB rejection in relating its practical social to the marketing, being observed after posteriorquestionings, that the relation of direct and indirect form exists and those divulgations of theseactions are carried out, contradicting the arguments of the controllers of that the actions wouldnot be carried out to generate media. In company C, it been verified rejection andcontradiction with relation to the concepts related to the marketing, alleging itself that theimage of the harnessed company to its social performance is not used in proper benefit,evidencing itself that this company divulges its action and is marketable benefited, even so isnot this the main objective of its social programs. It has concluded that the association ofthese two concepts is positive and favorable to the development of the businesses and thesocial actions of the companies, legitimizing them and benefiting the involved company,groups in the actions and the society that profits socially from the private social involvement in the social matters

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