Towards code generation from design models

With the growing in size and complexity of modern computer systems, the need for improving the quality at all stages of software development has become a critical issue. The current software production has been largely depended on manual code development. Despite the slow development process, the errors introduced by the programmers contribute to a substantial portion of defects in the final software product. This paper explores the possibility of generating code and assertion constraints from formal design models and use them to verify the implementation. We translate Z formal models into their OCL counter-parts and Java assertions. With the help of existing tools, we demonstrate various checking at different levels to enhance correctness

横纹肌溶解症患者整体护理

Objective: To discuss the overall care plan of patients with rhabdomyolysis. Methods: Combining retrospective investigation with evidence-based nursing method, care measures of patients with rhabdomyolysis in clinical practice were analyzed, and care results were evaluated timely. Results: 16 patients were discharged, among whom 15 patients’ exercise abilities were fully recovered. Conclusion: Carrying out overall care, standardize care processes and methods is very important for rehabilitation of patients with rhabdomyolysis.目的  探讨横纹肌溶解症患者的整体护理方案。方法  采取回顾性调查和循证护理相结合的方法，分析在临床实践中遇到的横纹肌溶解症患者及其需要采取的护理措施，落实整体护理，并及时评价护理效果。结果  16例患者均康复出院，除一例患者运动能力未康复外，其他患者均完全康复。结论  实施整体护理、规范护理流程和护理方法对横纹肌溶解症患者的顺利康复有重要意义

Evaluation of a comprehensive intervention with a behavioural modification strategy for childhood obesity prevention: a nonrandomized cluster controlled trial

Background: With regard to the global childhood obesity epidemic, it is imperative that effective lifestyle interventions are devised to combat childhood obesity. This paper describes the development and implementation of a comprehensive (a combination of diet and physical activity (PA)), social cognitive behaviour modification intervention using accelerometry and a dietary diary to tackle child overweight and obesity. The comprehensive intervention effect was evaluated in a comparison with diet only, PA only and a no-treatment control group. Methods: A pilot study was conducted with a non-randomized cluster design. Four hundred thirty-eight overweight and obese children aged 7-12 years from ten primary schools in Beijing were recruited to receive a one-year intervention. Participants were allocated into one of four groups: the comprehensive intervention group; the PA only group (Happy 10 program); the diet only group (nutrition education program); and a control group. The effects of intervention on adiposity, blood pressure, and biochemical indicators were assessed by examining 2-way interactions (time x intervention) in linear mixed models. Means and 95 % confidence intervals (CI) for the adjusted changes between post-intervention and baseline relative to changes in the control group were calculated and reported as effect sizes. Results: The percentage of body fat in the comprehensive intervention group showed a significant relative decrease (adjusted change: -1.01 %, 95 % CI: (-1.81, -0.20) %) compared with the PA only, diet only or control groups (P < 0.001). Systolic blood pressure significantly decreased in the comprehensive intervention group (adjusted change: -4.37 mmHg, 95 % CI: (-8.42, -0.33) mmHg), as did diastolic blood pressure (adjusted change: -5.50 mmHg, 95 % CI (-8.81, -2.19) mmHg) (P < 0.05). Compared with the other two intervention groups and the control group, positive adjusted changes in fasting glucose in the comprehensive group were found, although not for the biochemical lipid metabolism indicators. Positive but non-significant adjusted changes in body mass index and waist circumference were observed. Conclusions: Compared with the diet or PA only intervention groups, the current comprehensive program had superior positive effects on body fat percentage and blood pressure but not on the biochemical lipid metabolism indicators in Chinese overweight and obese children. Future randomized controlled trials and long-term follow-up studies are required to elaborate the findings of the current intervention.Danone Dietary and Nutrition Research and Education Grant [DIC2009-11]; National Science and Technology Support Important Projects for the "Eleven Five-Year Plan" of China [2008BAI58B05]; Natural Science Foundation of China (NSFC) [81172683]SCI(E)[email protected]; [email protected]