We present a case study where we use automated formal analysis to reason about problem-frame concerns. The descriptions of the problem domains, machine and requirements are written in the Alloy language. We show that an evaluation of results and counterexamples provided by a model finder can reveal useful information that can help remove inconsistencies as well as composition errors.

Motivation „ Formal techniques not yet widely adopted by programmers. „ Commercial pressure to produce higher quality software is increasing. Motivation „ Formal techniques not yet widely adopted by programmers. „ Commercial pressure to produce higher quality software is increasing. „ Software developers favour so-called lightweight techniques that provide immediate returns and sit comfortably ...

BACKGROUND Several methods that are currently used for contouring analysis have problems providing reliable and/or meaningful results. In this paper a solution to these problems is proposed in a form of a novel measure, which was developed based on requirements defined for contouring studies. MATERIALS AND METHODS The proposed distance deviation measure can be understood as an extension of th...

Titanium alloys are widely used in many areas, such as aerospace, biomedical, and automotive industries, due to their excellent chemical physical properties. However, its difficult-to-machine characteristic causes various problems the machining process, serious tool wear elastic deformation of workpieces. To achieve high efficiency quality titanium alloy materials, this paper conducted an exper...

Statistical analyses of geochemical data from ferromanganese nodule samples representing a broad area of the southeast Pacific Ocean indicate nodule compositions are controlled by four factors: (1) suboxic diagenesis; (2) oxic diagenesis; (3) hydrogenous precipitation; and (4) hydrothermal precipitation. The first three are identical to those identified in studies of nodules from the North Paci...

Contextual modulation refers to the effect of texture placed outside of a neuron's classical receptive field as well as the effect of surround texture on the perceptual properties of variegated regions within. In this minireview, we argue that one role of contextual modulation is to enhance the perception of contours at the expense of textures, in short to de-texturize the image. The evidence f...

Cohort Profile: The 1934–66 Mysore Birth Records Cohort in South India Murali Krishna,* Kumaran Kalyanaraman, SR Veena, GV Krishanveni, SC Karat, Vanessa Cox, Patsy Coakley, Kiran Nagaraj, Claudia Stein, BDR Paul, Martin Prince, Clive Osmond and Caroline HD Fall Early Career Research Fellow, Wellcome DBT India Alliance, India, Epidemiology Research Unit, CSI Holdsworth Memorial Hospital, Mysore...

Cohort Profile: The 1934–66 Mysore Birth Records Cohort in South India Murali Krishna,* Kumaran Kalyanaraman, SR Veena, GV Krishanveni, SC Karat, Vanessa Cox, Patsy Coakley, Kiran Nagaraj, Claudia Stein, BDR Paul, Martin Prince, Clive Osmond and Caroline HD Fall Early Career Research Fellow, Wellcome DBT India Alliance, India, Epidemiology Research Unit, CSI Holdsworth Memorial Hospital, Mysore...