8,035 research outputs found
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
- …