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.

Facebook3d

INTRODUCTION With the advent of Web 2.0, social networking websites like Facebook, MySpace and LinkedIn have become hugely popular. According to (Nilsen, 2009), social networking websites have global1 figures of almost 250 millions unique users among the top five2, with the time people spend on those networks increasing 63% between 2007 and 2008. Facebook alone saw a massive growth of 566% in number of minutes in the same period of time. Furthermore their appeal is clear, they enable users to easily form persistent networks of friends with whom they can interact and share content. Users then use those networks to keep in touch with their current friends and to reconnect with old friends. However, online social network services have rapidly evolved into highly complex systems which contain a large amount of personally salient information derived from large networks of friends. Since that information varies from simple links to music, photos and videos, users not only have to deal with the huge amount of data generated by them and their friends but also with the fact that it‟s composed of many different media forms. Users are presented with increasing challenges, especially as the number of friends on Facebook rises. An example of a problem is when a user performs a simple task like finding a specific friend in a group of 100 or more friends. In that case he would most likely have to go through several pages and make several clicks till he finds the one he is looking for. Another example is a user with more than 100 friends in which his friends make a status update or another action per day, resulting in 10 updates per hour to keep up. That is plausible, especially since the change in direction of Facebook to rival with Twitter, by encouraging users to update their status as they do on Twitter. As a result, to better present the web of information connected to a user the use of better visualizations is essential. The visualizations used nowadays on social networking sites haven‟t gone through major changes during their lifetimes. They have added more functionality and gave more tools to their users, but still the core of their visualization hasn‟t changed. The information is still presented in a flat way in lists/groups of text and images which can‟t show the extra connections pieces of information. Those extra connections can give new meaning and insights to the user, allowing him to more easily see if that content is important to him and the information related to it. However showing extra connections of information but still allowing the user to easily navigate through it and get the needed information with a quick glance is difficult. The use of color coding, clusters and shapes becomes then essential to attain that objective. But taking into consideration the advances in computer hardware in the last decade and the software platforms available today, there is the opportunity to take advantage of 3D. That opportunity comes in because we are at a phase were the hardware and the software available is ready for the use of 3D in the web. With the use of the extra dimension brought by 3D, visualizations can be constructed to show the content and its related information to the user at the same screen and in a clear way. Also it would allow a great deal of interactivity. Another opportunity to create better information‟s visualization presents itself in the form of the open APIs, specifically the ones made available by the social networking sites. Those APIs allow any developers to create their own applications or sites taking advantage of the huge amount of information there is on those networks. Specifically to this case, they open the door for the creation of new social network visualizations. Nevertheless, the third dimension is by itself not enough to create a better interface for a social networking website, there are some challenges to overcome. One of those challenges is to make the user understand what the system is doing during the interaction with the user. Even though that is important in 2D visualizations, it becomes essential in 3D due to the extra dimension. To overcome that challenge it‟s necessary the use of the principles of animations defined by the artists at Walt Disney Studios (Johnston, et al., 1995). By applying those principles in the development of the interface, the actions of the system in response to the user inputs became clear and understandable. Furthermore, a user study needs to be performed so the users‟ main goals and motivations, while navigating the social network, are revealed. Their goals and motivations are important in the construction of an interface that reflects the user expectations for the interface, but also helps in the development of appropriate metaphors. Those metaphors have an important role in the interface, because if correctly chosen they help the user understand the elements of the interface instead of making him memorize it. The last challenge is the use of 3D visualization on the web, since there have been several attempts to bring 3D into it, mainly with the various versions of VRML which were destined to failure due to the hardware limitations at the time. However, in the last couple of years there has been a movement to make the necessary tools to finally allow developers to use 3D in a useful way, using X3D or OpenGL but especially flash. This thesis argues that there is a need for a better social network visualization that shows all the dimensions of the information connected to the user and that allows him to move through it. But there are several characteristics the new visualization has to possess in order for it to present a real gain in usability to Facebook‟s users. The first quality is to have the friends at the core of its design, and the second to make use of the metaphor of circles of friends to separate users in groups taking into consideration the order of friendship. To achieve that several methods have to be used, from the use of 3D to get an extra dimension for presenting relevant information, to the use of direct manipulation to make the interface comprehensible, predictable and controllable. Moreover animation has to be use to make all the action on the screen perceptible to the user. Additionally, with the opportunity given by the 3D enabled hardware, the flash platform, through the use of the flash engine Papervision3D and the Facebook platform, all is in place to make the visualization possible. But even though it‟s all in place, there are challenges to overcome like making the system actions in 3D understandable to the user and creating correct metaphors that would allow the user to understand the information and options available to him. This thesis document is divided in six chapters, with Chapter 2 reviewing the literature relevant to the work described in this thesis. In Chapter 3 the design stage that resulted in the application presented in this thesis is described. In Chapter 4, the development stage, describing the architecture and the components that compose the application. In Chapter 5 the usability test process is explained and the results obtained through it are presented and analyzed. To finish, Chapter 6 presents the conclusions that were arrived in this thesis.

Applying DEMO to model and automate a process in a workflow system: a case study in a city hall

Organizations are Complex systems. A conceptual model of the enterprise is needed that is: coherent the distinguished aspect models constitute a logical and truly integral comprehensive all relevant issues are covered consistent the aspect models are free from contradictions or irregularities concise no superfluous matters are contained in it essential it shows only the essence of the enterprise, i.e., the model abstracts from all realization and implementation issues. The world is in great need for transparency about the operation of all the systems we daily work with, ranging from the domestic appliances to the big societal institutions. In this context the field of enterprise ontology has emerged with the aim to create models that help to understand the essence of the construction and operation of complete systems; more specifically, of enterprises. Enterprise ontology arises in the way to look through the distracting and confusing appearance of an enterprise right into its deep kernel. This, from the perspective of the system designer gives him the tools needed to design a successful system in a way that’s reflects the desires and needs of the workers of the enterprise. This project’s context is the use of DEMO (Design and Engineering Methodology for Organizations) for (re)designing or (re)engineering of an enterprise, namely a process of the construction department of a city hall, the lack of a well-founded theory about the construction and operation of this processes that was the motivation behind this work. The purpose of studying applying the DEMO theory and method was to optimize the process, automating it as much as possible, while reducing paper and time spent between tasks and provide a better service to the citizens.

Economia solidária e relações de gênero na agricultura familiar: o caso do grupo produtivo mulheres decididas a vencer

The Women s experiences in the private sphere under the work s field changes the family relationship allowing them more freedom, autonomy and independence. The inequalities, socially built, homemade women s obligations results in discrimination, difficult to insert and recovery on female s job in a job s market, including low salary if compared with men s and difficult to services access in addiction a difficult daily life and in domestic sphere. The women s organisation in productive groups or economically solidary enterprises (ESE) torn possible the social economically organisations and politicians to promote deep changes in a domestically e socially relationship, positioning, for example, women s in publics areas and in the rout of emancipation. The objective of this search are understand men and women relationship in the family agriculture s field starts insert women in economically solidary enterprises (ESE) on Mulunguzinho s settlement (Mossoró/RN). The theoretical framework is inspirited Economical Solidary concept kind division s job and women s empowerment. This search had a qualitative character and exploration through case s study on Mulheres decididas a vencer s group. The secondary information was create through theoretical framework and information collected through semi-structured interviews based in interviews applied for women and yours respective husbands by criterion for women participation on productive activities of beekeeping culture of goat and sheep. This study turns possible conclude that the women s participations in productive groups in solidary economical change significantly their life and their family life. The group s organisations process, the training was received, the collective production, the marketing and the mobilized participation to move it all was fundamental for women share with their families partners some homemade and take care with the children. This finding confirm a different aspect not economical in solidary economy overcoming the monetary value in associative relationship observing principally individuals well-being and the concern with the form of reproduction this way of life in the associated

O desenvolvimento sustentável na ordem constitucional e sua promoção através do planejamento urbano

The man, being subject and object of their changes, has passed by many process to find a better life way. Since your existence, he finds to live in groups for make easy your life and make concrete yours desires. All by history, when the individual´s rights was establishment, collectives and lonely way, contribute for evaluate the relationship between individuals and they own, and them and state, which has a duty to those, positive or negative, depending on the case. The circle of fundamentals rights has been sustainable development and the concept of growth economy associated to the environment protection. This association reflect a apparent conflict between values very distinct, but the constitutional interpretation can be reunite both of them and make it live in harmony; values of environmental order and economical order can be exist together, as long as the state contribute to this. On the city, where the most of relationships happening, the urban plan appear how a effective way of sustainable development, finding the harmony between the growth economy and environment protection. To effective the socials functions of the city (inhabit, circulate, work and entertainment) and the citizen´s life quality, the city is the scenery that show how the urban plan, across established previously legal instruments, like the governmental public politics, to effective the right to development, right of third generation. The director plan how effective tool for local needs - obligation defined by Citizen Statute that contribute for the program linked defined by the urban plan. The state´s intervention on the private sector of citizen, and the restriction on their rights are be justified by the collective´s rights and their quality of life. So, in front the urban scenery has been the plan to make social functions of city, the healthy way of life, which is the sustainable development

A materialização da dignidade da pessoa humana e o cumprimento das penas privativas de liberdade

The current research come from need to analyze possibilities to materialize human dignity principle during freedom curtail penalties fullfilment, abreast finding that internal and international regulations dictate this is the way to be tread by Brazilian penitentiary system, however, verily, indignity, assistance missing, overcrownding, crime, in the end, barbarie reigns. The work will analyze two strands in order to effective the mentioned principle: the state responsability optics, such in internal scope, as internationally, abreast historical omission in satisfy Constitution, international treaties and laws; and also indicating penal execution alternative methods adoption as a way, bringing to fore a case study - called "apaqueano" method. With such desideratum will bring, first of all, considerations about consolidation process of human dignity principle, its concept and essential content. Furthermore, will address historical and philosophical evolution of freedom curtail penalties. As it follows, will be done an approach about constitutional and underconstitutional legislation that disciplines penalties fullfiling in Brazil, analyzing their main aspects, emphasizing the possibility to charge Brazilian state for disregarding mentioned standards. Next, will also be started a critical analyzis about international regulations, which forbids diminishing or cruel penalties or treatments, approaching human rights international treaties and conventions ratified by Braziland their incorporation and effectiveness in local Law, emphasizing monitoring forms and country international charging possibility for disregarding international regulations. Lastly, will advance to the real possibility to materialize human dignity principle in penalties fullfiling, based in a case study verification - the APAC (Associação de Proteção e Assistência aos Condenados) called method, analyzing the various theories about penalties grounding, with emphasis in their ressocializing function, as well as traditional penitentiary systems, and the theory adopted by vernacular order, in desideratum to contribute to improve national penitentiary system chaotic situation

A Produção biopolítica do corpo saudável: mídia e subjetividade na cultura do excesso e da moderação

Recognizing the plans left by Foucault as legitimate, for those that the struggle to fight against all forms of way of life subjection takes an important role on human being existence, this thesis questions the impacts of body planning on health specialized media on the production of the contemporary subjectivity. Having the Saúde! magazine as this thesis empirical field, it discusses the subjectivity processes centered on the realization of many bodily practices destined to a perfect body self-construction, finding suitable conditions for a narcissistic development of the new ways of social regulation on hypermodern societies. Our central argument, refering to a specific reflection about the body, media and subjectivity, is that the body promoting over the health specialized media makes possible the creation of new existential territories, configuring the healthy body bio-political production by a subjectivity process open to experimenting and to self-invention. Bodily subjectivity process centered on body self-construction, simultaneously generating human subjectivity singularization and massification, evidencing escape routes to build a body health existential perspective. In this thesis we seek to point not only the historically hegemonic forms of being healthy, but mainly the forces that nowadays question these forms, making possible the thought of other ways to live the health of the body, starting from the subjectivity singularization

Heritability estimation in early generations of two-way crosses in soybean

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

Uso de técnicas de otimização baseadas em derivadas como suporte do planejamento operacional de redes de distribuição de energia elétrica

The usual programs for load flow calculation were in general developped aiming the simulation of electric energy transmission, subtransmission and distribution systems. However, the mathematical methods and algorithms used by the formulations were based, in majority, just on the characteristics of the transmittion systems, which were the main concern focus of engineers and researchers. Though, the physical characteristics of these systems are quite different from the distribution ones. In the transmission systems, the voltage levels are high and the lines are generally very long. These aspects contribute the capacitive and inductive effects that appear in the system to have a considerable influence in the values of the interest quantities, reason why they should be taken into consideration. Still in the transmission systems, the loads have a macro nature, as for example, cities, neiborhoods, or big industries. These loads are, generally, practically balanced, what reduces the necessity of utilization of three-phase methodology for the load flow calculation. Distribution systems, on the other hand, present different characteristics: the voltage levels are small in comparison to the transmission ones. This almost annul the capacitive effects of the lines. The loads are, in this case, transformers, in whose secondaries are connected small consumers, in a sort of times, mono-phase ones, so that the probability of finding an unbalanced circuit is high. This way, the utilization of three-phase methodologies assumes an important dimension. Besides, equipments like voltage regulators, that use simultaneously the concepts of phase and line voltage in their functioning, need a three-phase methodology, in order to allow the simulation of their real behavior. For the exposed reasons, initially was developped, in the scope of this work, a method for three-phase load flow calculation in order to simulate the steady-state behaviour of distribution systems. Aiming to achieve this goal, the Power Summation Algorithm was used, as a base for developing the three phase method. This algorithm was already widely tested and approved by researchers and engineers in the simulation of radial electric energy distribution systems, mainly for single-phase representation. By our formulation, lines are modeled in three-phase circuits, considering the magnetic coupling between the phases; but the earth effect is considered through the Carson reduction. It s important to point out that, in spite of the loads being normally connected to the transformer s secondaries, was considered the hypothesis of existence of star or delta loads connected to the primary circuit. To perform the simulation of voltage regulators, a new model was utilized, allowing the simulation of various types of configurations, according to their real functioning. Finally, was considered the possibility of representation of switches with current measuring in various points of the feeder. The loads are adjusted during the iteractive process, in order to match the current in each switch, converging to the measured value specified by the input data. In a second stage of the work, sensibility parameters were derived taking as base the described load flow, with the objective of suporting further optimization processes. This parameters are found by calculating of the partial derivatives of a variable in respect to another, in general, voltages, losses and reactive powers. After describing the calculation of the sensibility parameters, the Gradient Method was presented, using these parameters to optimize an objective function, that will be defined for each type of study. The first one refers to the reduction of technical losses in a medium voltage feeder, through the installation of capacitor banks; the second one refers to the problem of correction of voltage profile, through the instalation of capacitor banks or voltage regulators. In case of the losses reduction will be considered, as objective function, the sum of the losses in all the parts of the system. To the correction of the voltage profile, the objective function will be the sum of the square voltage deviations in each node, in respect to the rated voltage. In the end of the work, results of application of the described methods in some feeders are presented, aiming to give insight about their performance and acuity

Uso de técnicas de otimização baseadas em derivadas como suporte do planejamento operacional de redes de distribuição de energia elétrica

The usual programs for load flow calculation were in general developped aiming the simulation of electric energy transmission, subtransmission and distribution systems. However, the mathematical methods and algorithms used by the formulations were based, in majority, just on the characteristics of the transmittion systems, which were the main concern focus of engineers and researchers. Though, the physical characteristics of these systems are quite different from the distribution ones. In the transmission systems, the voltage levels are high and the lines are generally very long. These aspects contribute the capacitive and inductive effects that appear in the system to have a considerable influence in the values of the interest quantities, reason why they should be taken into consideration. Still in the transmission systems, the loads have a macro nature, as for example, cities, neiborhoods, or big industries. These loads are, generally, practically balanced, what reduces the necessity of utilization of three-phase methodology for the load flow calculation. Distribution systems, on the other hand, present different characteristics: the voltage levels are small in comparison to the transmission ones. This almost annul the capacitive effects of the lines. The loads are, in this case, transformers, in whose secondaries are connected small consumers, in a sort of times, mono-phase ones, so that the probability of finding an unbalanced circuit is high. This way, the utilization of three-phase methodologies assumes an important dimension. Besides, equipments like voltage regulators, that use simultaneously the concepts of phase and line voltage in their functioning, need a three-phase methodology, in order to allow the simulation of their real behavior. For the exposed reasons, initially was developped, in the scope of this work, a method for three-phase load flow calculation in order to simulate the steady-state behaviour of distribution systems. Aiming to achieve this goal, the Power Summation Algorithm was used, as a base for developping the three phase method. This algorithm was already widely tested and approved by researchers and engineers in the simulation of radial electric energy distribution systems, mainly for single-phase representation. By our formulation, lines are modeled in three-phase circuits, considering the magnetic coupling between the phases; but the earth effect is considered through the Carson reduction. Its important to point out that, in spite of the loads being normally connected to the transformers secondaries, was considered the hypothesis of existence of star or delta loads connected to the primary circuit. To perform the simulation of voltage regulators, a new model was utilized, allowing the simulation of various types of configurations, according to their real functioning. Finally, was considered the possibility of representation of switches with current measuring in various points of the feeder. The loads are adjusted during the iteractive process, in order to match the current in each switch, converging to the measured value specified by the input data. In a second stage of the work, sensibility parameters were derived taking as base the described load flow, with the objective of suporting further optimization processes. This parameters are found by calculating of the partial derivatives of a variable in respect to another, in general, voltages, losses and reactive powers. After describing the calculation of the sensibility parameters, the Gradient Method was presented, using these parameters to optimize an objective function, that will be defined for each type of study. The first one refers to the reduction of technical losses in a medium voltage feeder, through the installation of capacitor banks; the second one refers to the problem of correction of voltage profile, through the instalation of capacitor banks or voltage regulators. In case of the losses reduction will be considered, as objective function, the sum of the losses in all the parts of the system. To the correction of the voltage profile, the objective function will be the sum of the square voltage deviations in each node, in respect to the rated voltage. In the end of the work, results of application of the described methods in some feeders are presented, aiming to give insight about their performance and acuity

How can micelle systems be rebuilt by a heating process?

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Finding the Higgs boson through supersymmetry

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Ressignificação existencial do pretérito e longevidade humana

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

CDHI promoter hypermethylation and E-cadherin protein expression in infiltrating breast cancer

Background: the E-cadherin gene (CDH1) maps, at chromosome 16q22.1, a region often associated with loss of heterozygosity (LOH) in human breast cancer. LOH at this site is thought to lead to loss of function of this tumor suppressor gene and was correlated with decreased disease-free survival, poor prognosis, and metastasis. Differential CpG island methylation in the promoter region of the CDH1 gene might be an alternative way for the loss of expression and function of E-cadherin, leading to loss of tissue integrity, an essential step in tumor progression.Methods: the aim of our study was to assess, by Methylation-Specific Polymerase Chain Reaction (MSP), the methylation pattern of the CDH1 gene and its possible correlation with the expression of E-cadherin and other standard immunohistochemical parameters (Her-2, ER, PgR, p53, and K-67) in a series of 79 primary breast cancers ( 71 infiltrating ductal, 5 infiltrating lobular, 1 metaplastic, 1 apocrine, and 1 papillary carcinoma).Results: CDH1 hypermethylation was observed in 72% of the cases including 52/71 ductal, 4/5 lobular carcinomas and 1 apocrine carcinoma. Reduced levels of E-cadherin protein were observed in 85% of our samples. Although not statistically significant, the levels of E-cadherin expression tended to diminish with the CDH1 promoter region methylation. In the group of 71 ductal cancinomas, most of the cases of showing CDH1 hypermethylation also presented reduced levels of expression of ER and PgR proteins, and a possible association was observed between CDH1 methylation and ER expression ( p = 0.0301, Fisher's exact test). However, this finding was not considered significant after Bonferroni correction of p-value.Conclusion: Our preliminary findings suggested that abnormal CDH1 methylation occurs in high frequencies in infiltrating breast cancers associated with a decrease in E-cadherin expression in a subgroup of cases characterized by loss of expression of other important genes to the mammary carcinogenesis process, probably due to the disruption of the mechanism of maintenance of DNA methylation in tumoral cells.

Influence of enamel matrix derivative (Emdogain((R))) and sodium fluoride on the healing process in delayed tooth replantation: histologic and histometric analysis in rats

Although it has already been shown that enamel matrix derivative (Emdogain((R))) promotes periodontal regeneration in the treatment of intrabony periodontal defects, there is little information concerning its regenerative capacity in cases of delayed tooth replantation. To evaluate the alterations in the periodontal healing of replanted teeth after use of Emdogain((R)), the central incisors of 24 Wistar rats (Rattus norvegicus albinus) were extracted and left on the bench for 6 h. Thereafter, the dental papilla and the enamel organ of each tooth were sectioned for pulp removal by a retrograde way and the canal was irrigated with 1% sodium hypochlorite. The teeth were assigned to two groups:in group I, root surface was treated with 1% sodium hypochlorite for 10 min (changing the solution every 5 min), rinsed with saline for 10 min and immersed in 2% acidulated-phosphate sodium fluoride for 10 min; in group II, root surfaces were treated in the same way as described above, except for the application of Emdogain((R)) instead of sodium fluoride. The teeth were filled with calcium hydroxide (in group II right before Emdogain((R)) was applied) and replanted. All animals received antibiotic therapy. The rats were killed by anesthetic overdose 10 and 60 days after replantation. The pieces containing the replanted teeth were removed, fixated, decalcified and paraffin-embedded. Semi-serial 6-mu m-thick sections were obtained and stained with hematoxylin and eosin for histologic and histometric analyses. The use of 2% acidulated-phosphate sodium fluoride provided more areas of replacement resorption. The use of Emdogain((R)) resulted in more areas of ankylosis and was therefore not able to avoid dentoalveolar ankylosis. It may be concluded that neither 2% acidulated-phosphate sodium fluoride nor Emdogain((R)) were able to prevent root resorption in delayed tooth replantation in rats.