Object-oriented Programming Laws for Annotated Java Programs

Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL). The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming programs. In this paper we introduce a set of programming laws for object-oriented languages like Java combined with the Java Modeling Language (JML). The set of laws deals with object-oriented features taking into account their specifications. Some laws deal only with features of the specification language. These laws constitute a set of small transformations for the development of more elaborate ones like refactorings

Requirements of the authorized examinator physician (AME) for class II: interpretative doubts and suggestions

The purpose of this document is to clarify the requirements that a doctor must have for carrying out the Authorized Examiner (AME) activity for class II workers. We have consulted the normative sources that indicate the requisite that the authorized physicians must possess and subsequently we have compared the norms, the European Union regulations and the national ones issued by the National Civil Aviation Body (ENAC), as well as the guidelines indicated by the EASA. Finally, Authors give suggestions that can be given to ENAC regarding the issue of the authorization as AME examiner for class II workers

L’esercizio del diritto al di là della terapia. Lo human enhancement

Human Enhancement is a modification aimed at improving individual human performance through scientific or technological interventions in the human body. Sure enough, it is based on techniques aimed to improve the knowledge, to change the physique appearance, to increase the physique and the athletic performance, to intensify the working capabilities. The Authors propose to identify the ethical and juridical frames, as well as the medical legal and medical social ones, in which to assimilate the enhancement, duly considering that it's inevitable, since human beings are naturally competitive and since the change is constant and it's the historical main character of every social and cultural revolution, in other words it's the main reason of our evolution. Therefore, we need to value if the application of the enhancement technologies is harmful of the human dignity or if it's an useful tool to improve the human life's condition and then his own dignity

The fate of the homoctenids (Tentaculitoidea) during the Frasnian-Famennian mass extinction (Late Devonian)

The homoctenids (Tentaculitoidea) are small, conical-shelled marine animals which are amongst the most abundant and widespread of all Late Devonian fossils. They were a principal casualty of the Frasnian-Famennian (F-F, Late Devonian) mass extinction, and thus provide an insight into the extinction dynamics. Despite their abundance during the Late Devonian, they have been largely neglected by extinction studies. A number of Frasnian-Famennian boundary sections have been studied, in Poland, Germany, France, and the United States. These sections have yielded homoctenids, which allow precise recognition of the timing of the mass extinction. It is clear that the homoctenids almost disappear from the fossil record during the latest Frasnian “Upper Kellwasser Event”. The coincident extinction of this pelagic group, and the widespread development of intense marine anoxia within the water column, provides a causal link between anoxia and the F-F extinction. Most notable is the sudden demise of a group, which had been present in rock-forming densities, during this anoxic event. One new species, belonging to Homoctenus is described, but is not formally named here

Guidelines on the diagnosis, treatment and management of visceral and renal arteries aneurysms: a joint assessment by the Italian Societies of Vascular and Endovascular Surgery (SICVE) and Medical and Interventional Radiology (SIRM)

: The objective of these Guidelines is to provide recommendations for the classification, indication, treatment and management of patients suffering from aneurysmal pathology of the visceral and renal arteries. The methodology applied was the GRADE-SIGN version, and followed the instructions of the AGREE quality of reporting checklist. Clinical questions, structured according to the PICO (Population, Intervention, Comparator, Outcome) model, were formulated, and systematic literature reviews were carried out according to them. Selected articles were evaluated through specific methodological checklists. Considered Judgments were compiled for each clinical question in which the characteristics of the body of available evidence were evaluated in order to establish recommendations. Overall, 79 clinical practice recommendations were proposed. Indications for treatment and therapeutic options were discussed for each arterial district, as well as follow-up and medical management, in both candidate patients for conservative therapy and patients who underwent treatment. The recommendations provided by these guidelines simplify and improve decision-making processes and diagnostic-therapeutic pathways of patients with visceral and renal arteries aneurysms. Their widespread use is recommended