JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

The Methodological Influence of Peirce's Pragmatism on Knowledge Organization

Information and knowledge organization in Brazil has been historically influenced by theoretical linguistics. However, some aspects related to language theory and its interface with philosophy need to be further investigated, particularly the semiotic interpretation of information and knowledge organization processes. In order to advance a dialogue with the philosophy and semiotics of Charles Peirce (1839-1914), a theoretical and bibliographical study was carried out so as to understand and evaluate the contributions of the Peircean thought to information organization. It was found that several aspects of Peirce's work, viewed as a whole and not just semiotic concepts, suggest fundamental points to explain issues in information and knowledge organization. Basing on the analysis of Thellefsen's studies, this research presents some arguments aimed at reframing Peirce's pragmatism, which should no longer be mistakenly considered as a doctrine of practical results, but as a useful methodological approach for professionals dealing with knowledge organization in the field of Information Science.

Social Panorama of Latin America 2006

Includes bibliography

Profile evaluation of orthodontic professionals as for their legal actions

Objective: Evaluate the legal actions and behavior in the doctor/patient relationship, used by dental surgeons practicing orthodontics. Methods: The population sample of the present study consisted of dental surgeons, active in the field of orthodontics, and registered with Dental Press Publishing Company - Maringá/PR, Brazil, with a total sample size of 525 professionals. The research was conducted using a 17-question survey forwarded to these professionals. Results and Conclusions: The majority of participants in our study are specialized in orthodontics; 75% of professionals use some sort of contract at the office/clinic; 73.7% of professionals periodically request maintenance X-rays; a large percentage of professionals (58.9%) keep patient records on file for life. The interviewed professionals demonstrate good knowledge of the Brazilian Code of Ethics in Dentistry, especially of Chapter XIV - on Communication.

Pacta sunt servanda versus the social role of contracts: the case of Brazilian agriculture contracts

This study explores the instability created by contradictory court decisions related with contract breaches. Forward marketing contracts represent an important source of resources to finance Brazilian agriculture, however a large number of contract breaches were observed during a period of marked increase in soy prices. The study analyzed 161 judicial appeal decisions and a survey was carried with 70 farmers. The results show the difference of judges' interpretation and the existence of second order effects. The effects of court decisions were more requirements of guarantees and the reduction in the number of contracts. Those soybean farmers who did not breach their contracts have also been negatively affected by the strategic reactions of trading and processing companies. The concept of "social function of the contract" introduced in Brazilian civil code led to a higher degree of instability in contracts, raising transaction costs and motivating private economic sanctions.

Essays on behavioral aspects of the design and disclosure of compensation contracts

This thesis consists of four essays on the design and disclosure of compensation contracts. Essays 1, 2 and 3 focus on behavioral aspects of mandatory compensation disclosure rules and of contract negotiations in agency relationships. The three experimental studies develop psychology- based theory and present results that deviate from standard economic predictions. Furthermore, the results of Essay 1 and 2 also have implications for firms’ discretion in how to communicate their top management’s incentives to the capital market. Essay 4 analyzes the role of fairness perceptions for the evaluation of executive compensation. For this purpose, two surveys targeting representative eligible voters as well as investment professionals were conducted. Essay 1 investigates the role of the detailed ‘Compensation Discussion and Analysis’, which is part of the Security and Exchange Commission’s 2006 regulation, on investors’ evaluations of executive performance. Compensation disclosure complying with this regulation clarifies the relationship between realized reported compensation and the underlying performance measures and their target achievement levels. The experimental findings suggest that the salient presentation of executives’ incentives inherent in the ‘Compensation Discussion and Analysis’ makes investors’ performance evaluations less outcome dependent. Therefore, investors’ judgment and investment decisions might be less affected by noisy environmental factors that drive financial performance. The results also suggest that fairness perceptions of compensation contracts are essential for investors’ performance evaluations in that more transparent disclosure increases the perceived fairness of compensation and the performance evaluation of managers who are not responsible for a bad financial performance. These results have important practical implications as firms might choose to communicate their top management’s incentive compensation more transparently in order to benefit from less volatile expectations about their future performance. Similar to the first experiment, the experiment described in Essay 2 addresses the question of more transparent compensation disclosure. However, other than the first experiment, the second experiment does not analyze the effect of a more salient presentation of contract information but the informational effect of contract information itself. For this purpose, the experiment tests two conditions in which the assessment of the compensation contracts’ incentive compatibility, which determines executive effort, is either possible or not. On the one hand, the results suggest that the quality of investors’ expectations about executive effort is improved, but on the other hand investors might over-adjust their prior expectations about executive effort if being confronted with an unexpected financial performance and under-adjust if the financial performance confirms their prior expectations. Therefore, in the experiment, more transparent compensation disclosure does not lead to more correct overall judgments of executive effort and to even lower processing quality of outcome information. These results add to the literature on disclosure which predominantly advocates more transparency. The findings of the experiment however, identify decreased information processing quality as a relevant disclosure cost category. Firms might therefore carefully evaluate the additional costs and benefits of more transparent compensation disclosure. Together with the results from the experiment in Essay 1, the two experiments on compensation disclosure imply that firms should rather focus on their discretion how to present their compensation disclosure to benefit from investors’ improved fairness perceptions and their spill-over on performance evaluation. Essay 3 studies the behavioral effects of contextual factors in recruitment processes that do not affect the employer’s or the applicant’s bargaining power from a standard economic perspective. In particular, the experiment studies two common characteristics of recruitment processes: Pre-contractual competition among job applicants and job applicants’ non-binding effort announcements as they might be made during job interviews. Despite the standard economic irrelevance of these factors, the experiment develops theory regarding the behavioral effects on employees’ subsequent effort provision and the employers’ contract design choices. The experimental findings largely support the predictions. More specifically, the results suggest that firms can benefit from increased effort and, therefore, may generate higher profits. Further, firms may seize a larger share of the employment relationship’s profit by highlighting the competitive aspects of the recruitment process and by requiring applicants to make announcements about their future effort. Finally, Essay 4 studies the role of fairness perceptions for the public evaluation of executive compensation. Although economic criteria for the design of incentive compensation generally do not make restrictive recommendations with regard to the amount of compensation, fairness perceptions might be relevant from the perspective of firms and standard setters. This is because behavioral theory has identified fairness as an important determinant of individuals’ judgment and decisions. However, although fairness concerns about executive compensation are often stated in the popular media and even in the literature, evidence on the meaning of fairness in the context of executive compensation is scarce and ambiguous. In order to inform practitioners and standard setters whether fairness concerns are exclusive to non-professionals or relevant for investment professionals as well, the two surveys presented in Essay 4 aim to find commonalities in the opinions of representative eligible voters and investments professionals. The results suggest that fairness is an important criterion for both groups. Especially, exposure to risk in the form of the variable compensation share is an important criterion shared by both groups. The higher the assumed variable share, the higher is the compensation amount to be perceived as fair. However, to a large extent, opinions on executive compensation depend on personality characteristics, and to some extent, investment professionals’ perceptions deviate systematically from those of non-professionals. The findings imply that firms might benefit from emphasizing the riskiness of their managers’ variable pay components and, therefore, the findings are also in line with those of Essay 1.

Law and science: risk assessment and risk management in the WTO agreement on the application of sanitary and phytosanitary measures

Assessing and managing risks relating to the consumption of food stuffs for humans and to the environment has been one of the most complex legal issues in WTO law, ever since the Agreement on Sanitary and Phytosanitary Measures was adopted at the end of the Uruguay Round and entered into force in 1995. The problem was expounded in a number of cases. Panels and the Appellate Body adopted different philosophies in interpreting the agreement and the basic concept of risk assessment as defined in Annex A para. 4 of the Agreement. Risk assessment entails fundamental question on law and science. Different interpretations reflect different underlying perceptions of science and its relationship to the law. The present thesis supported by the Swiss National Research Foundation undertakes an in-depth analysis of these underlying perceptions. The author expounds the essence and differences of positivism and relativism in philosophy and natural sciences. He clarifies the relationship of fundamental concepts such as risk, hazards and probability. This investigation is a remarkable effort on the part of lawyer keen to learn more about the fundamentals based upon which the law – often unconsciously – is operated by the legal profession and the trade community. Based upon these insights, he turns to a critical assessment of jurisprudence both of panels and the Appellate Body. Extensively referring and discussing the literature, he deconstructs findings and decisions in light of implied and assumed underlying philosophies and perceptions as to the relationship of law and science, in particular in the field of food standards. Finding that both positivism and relativism does not provide adequate answers, the author turns critical rationalism and applies the methodologies of falsification developed by Karl R. Popper. Critical rationalism allows combining discourse in science and law and helps preparing the ground for a new approach to risk assessment and risk management. Linking the problem to the doctrine of multilevel governance the author develops a theory allocating risk assessment to international for a while leaving the matter of risk management to national and democratically accountable government. While the author throughout the thesis questions the possibility of separating risk assessment and risk management, the thesis offers new avenues which may assist in structuring a complex and difficult problem

An Economic Model of Fair Use

The doctrine of fair use allows unauthorized copying of original works of art, music, and literature for limited purposes like criticism, research, and education, based on the rationale that copyright holders would consent to such uses if bargaining were possible. This paper develops the first formal analysis of fair use in an effort to derive the efficient legal standard for applying the doctrine. The model interprets copies and originals as differentiated products and defines fair use as a threshold separating permissible copying from infringement. Application of the analysis to several key cases (including the recent Napster case) shows that this interpretation is consistent with actual legal reasoning. The analysis also underscores the role of technology in shaping the efficient scope of fair use.

An Economic Model of Fair Use

The doctrine of fair use allows limited copying of creative works based on the rationale that copyright holders would consent to such uses if bargaining were possible. This paper develops a formal model of fair use in an effort to derive the efficient legal standard for applying the doctrine. The model interprets copies and originals as differentiated products and defines fair use as a threshold separating permissible copying from infringement. The analysis highlights the role of technology in shaping the efficient standard. Discussion of several key cases illustrates the applicability of the model.

Sc[h]edule of work for finishing inside of dining halls & chapel, [ca. 1814]

Detailed list of twelve interior projects that need to be completed in University Hall. The list includes hinging doors, completing architraves, and installing windows. Appears to be simplified version of Memoranda of contract with carpenters, Moore, and others, in Box 1, Folder 42.

Book of records for the trial of actions begun May 3, 1762 [-1774]

Record book of justice of the peace Eldad Taylor, covering cases of debt, libel, rape, profanity, assault, breach of contract and theft. Each entry gives a full statement of the case and its settlement, including decisions of referees, costs, damages, appeals, etc.

Student notes of Elijah Dunbar, 1792-1793

Three unlined pages with notes written by Harvard undergraduate Elijah Dunbar. The documents consist of two pages of chemistry notes compiled in September 1792 when Dunbar was a junior and an undated, untitled list of theological themes. The chemistry notes include a summary of the discipline and a set of laws regarding the "affinity of composition." The verso of the second page was later annotated: "Borrow- He that discerneth Youth & Beau[ty] Elij. Dunar 2'd 1793. Rec'd David Tappan, Professor of Divinity in the University--Elijah Dunbar, jun." followed by a list of students identified as "Alchemists" in the "Ridiculous Society": Joseph Perkins, Isaac Braman, William Biglow, and Elijah Dunbar. The second document is an untitled list of 27 theological themes beginning "1. Doctrine of the Trinity," and ending "27. Family worship," and may refer to sermon or lecture topics.

Economic impact report for proposed regulations, coil coating segment of machinery and mechanical products point source category /

"December 10, 1980."

Basic experimental studies on boiling fluid flow and heat transfer at elevated pressures for month of ...

"Monthly progress report".