Program Transformation for Development, Verification, and Synthesis of Software

In this paper we briefly describe the use of the program transformation methodology for the development of correct and efficient programs. We will consider, in particular, the case of the transformation and the development of constraint logic programs

Proving theorems by program transformation

In this paper we present an overview of the unfold/fold proof method, a method for proving theorems about programs, based on program transformation. As a metalanguage for specifying programs and program properties we adopt constraint logic programming (CLP), and we present a set of transformation rules (including the familiar unfolding and folding rules) which preserve the semantics of CLP programs. Then, we show how program transformation strategies can be used, similarly to theorem proving tactics, for guiding the application of the transformation rules and inferring the properties to be proved. We work out three examples: (i) the proof of predicate equivalences, applied to the verification of equality between CCS processes, (ii) the proof of first order formulas via an extension of the quantifier elimination method, and (iii) the proof of temporal properties of infinite state concurrent systems, by using a transformation strategy that performs program specialization

Strengthening Primary and Chronic Care: State Innovations to Transform and Link Small Practices

Presents case studies of state policies for reorganizing and improving primary and chronic care delivery among small practices, including leadership and convening, payment incentives, infrastructure support, feedback and monitoring, and certification

Starting Out Right: A Cluster Evaluation of the Early Childhood Grants of the John S. and James L. Knight Foundation: Year 3 Final Report

Evaluates Knight's early childhood grantmaking in twelve communities, with a focus on grants that transform systems and build networks at a scale sufficient to create meaningful change. Presents grantee results and lessons learned

Program transformation for development, verification, and synthesis of programs

This paper briefly describes the use of the program transformation methodology for the development of correct and efficient programs. In particular, we will refer to the case of constraint logic programs and, through some examples, we will show how by program transformation, one can improve, synthesize, and verify programs

FEMA's Integration of Preparedness and Development of Robust Regional Offices

In October 2006, Congress enacted major legislation to reform the function and organization of the Federal Emergency Management Agency (FEMA) in response to the recognized failures in preparation for and response to Hurricane Katrina. The Post-Katrina Emergency Management Reform Act of 2006 (PKEMRA) focused national preparedness responsibilities within FEMA and directed additional resources and responsibilities to FEMA's ten regional offices. Directed by Congress, in October 2008 a National Academy Panel began an independent assessment of FEMA's integration of preparedness functions and progress in development of robust regional offices.Main FindingsOver the past three years, FEMA has taken significant steps in an effort to integrate preparedness and develop more robust regional offices. These efforts, undertaken by both the previous and current Administrations, are documented throughout this report and should be recognized and applauded. However, FEMA has yet to define specific goals and outcomes that would permit it, Congress or the public to determine when preparedness has been fully integrated into all aspects of FEMA's work and whether the development and ongoing operation of robust regional offices has been achieved. In the absence of well-defined, measurable outcome indicators, the National Academy Panel relied upon the assessments of FEMA leaders and staff, documentation provided by FEMA, and a review of secondary sources material to inform its findings and recommendations. Based upon this evidence, the Panel has concluded that, while progress has been made: (1) preparedness is not fully integrated across FEMA, (2) FEMA's regional offices do not yet have the capacity required to ensure the nation is fully prepared, (3) stakeholders are not yet full partners with FEMA in national preparedness, and (4) FEMA has ineffective internal business practices, particularly with regard to human resource management. The Panel made seven recommendations for FEMA:Establish a cross-organizational process, with participation from internal and external stakeholders, to develop a shared understanding of preparedness integrationEstablish a robust set of outcome metrics and standards for preparedness integration, as well as a system to monitor and evaluate progress on an ongoing basisWork to eliminate organizational barriers that are adversely impacting the full integration of preparedness across the agencyContinue to build regional office capacity and monitor implementation consistent with the Administrator's recent policy guidanceUndertake steps to improve the ongoing working relationship between headquarters and the regions in accord with Panel-identified principlesTake steps to improve stakeholder engagement and relationships at all levels in accord with Panel-identified principles; andStrengthen internal business practices, especially in the area of human capital planning

Learning Group Formation Factors in a Career and Technical Education Networking Program

Team based learning based on the transformation of permanent student groups into powerful learning teams is widely and successfully used as an instructional strategy in postsecondary career and technical education. Failure of groups to reach the learning team status is a major learning drawback of this approach. Factors affecting the transformation of groups to teams are applied consistently to the whole class, with the exception of group formation and membership. Career and technical education populations differ from other postsecondary populations and examination of group formation factors may result in improvement of student results.Abstract / Introduction / Problem Statement / Purpose of Study / Literature Review / Method / Results / Conclusion / References / Appendix 1 - Consent Form / Appendix 2 Student Questionnaire - Group Selection / Appendix 3 Student Response Dat

Building Medical Homes in State Medicaid and CHIP Programs

Presents strategies, best practices, and lessons learned from ten states' efforts to advance the medical home model of comprehensive and coordinated care in Medicaid and Children's Health Insurance Programs in order to improve quality and contain costs

Health Care Opinion Leaders' Views on Delivery System Innovation and Improvement

Presents survey results on healthcare experts' views on strategies and models for fostering coordination and integration, such as accountable care systems, medical homes, and bundled payments; priorities among reform provisions; and market concerns