Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules

Software Product Line Engineering (SPLE) is a software engineering paradigm that focuses on reuse and variability. Although feature-oriented programming (FOP) can implement software product line efficiently, we still need a method to generate and prove correctness of all product variants more efficiently and automatically. In this context, we propose to manipulate feature modules which contain three kinds of artifacts: specification, code and correctness proof. We depict a methodology and a platform that help the user to automatically produce correct-by-construction product variants from the related feature modules. As a first step of this project, we begin by proposing a language, GFML, allowing the developer to write such feature modules. This language is designed so that the artifacts can be easily reused and composed. GFML files contain the different artifacts mentioned above.The idea is to compile them into FoCaLiZe, a language for specification, implementation and formal proof with some object-oriented flavor. In this paper, we define and illustrate this language. We also introduce a way to compose the feature modules on some examples.Comment: In Proceedings FMSPLE 2015, arXiv:1504.0301

Gestational diabetes: risks, management, and treatment options

Gestational diabetes mellitus (GDM) is commonly defined as glucose intolerance first recognized during pregnancy. Diagnostic criteria for GDM have changed over the decades, and several definitions are currently used; recent recommendations may increase the prevalence of GDM to as high as one of five pregnancies. Perinatal complications associated with GDM include hypertensive disorders, preterm delivery, shoulder dystocia, stillbirths, clinical neonatal hypoglycemia, hyperbilirubinemia, and cesarean deliveries. Postpartum complications include obesity and impaired glucose tolerance in the offspring and diabetes and cardiovascular disease in the mothers. Management strategies increasingly emphasize optimal management of fetal growth and weight. Monitoring of glucose, fetal stress, and fetal weight through ultrasound combined with maternal weight management, medical nutritional therapy, physical activity, and pharmacotherapy can decrease comorbidities associated with GDM. Consensus is lacking on ideal glucose targets, degree of caloric restriction and content, algorithms for pharmacotherapy, and in particular, the use of oral medications and insulin analogs in lieu of human insulin. Postpartum glucose screening and initiation of healthy lifestyle behaviors, including exercise, adequate fruit and vegetable intake, breastfeeding, and contraception, are encouraged to decrease rates of future glucose intolerance in mothers and offspring