Prototyping Concurrent Systems in Cw

Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code

Thermal skin reference values in healthy late pregnancy

Digital thermal imaging has been employed in medicine for over 50 years. However, its use has been focused on vascular, musculoskeletal and neurological conditions, while other potential applications,such as obstetrics, have been much less explored. This paper presents a study conducted during 2011 at the Hospital of Braga on a group of healthy pregnant women in the last third of gestation. The analysis focused on characterizing typical pregnant women steady temperature profiles in specific defined regions of interest (ROI), and determining if the thermal symmetry values for late pregnant healthy women are in line with the values for non-pregnant healthy women. A temperature distribution pattern was found in the defined ROI. The obtained thermal symmetry value had a maximum of 0.370.2 1C, and there was no evidence for the influence of age (p40.05) in the observed group. The influence of the BMI requires further investigation since one ROI (P2 right) presented a p¼0.059, close to the threshold of statistical evidence in the influence of BMI. The study group presented symmetry values in line with non-pregnant reference values, but the profiles in temperature distribution are different. Assumptions can therefore now be used with higher confidence when assessing abnormalities in specific pathologic states during pregnancy using the defined ROI. This work represents a first contribution towards establishing guidelines for future research in this specific field of study.