scholarly journals A Sound and Complete Program Logic for Eiffel

Author(s):  
Martin Nordio ◽  
Cristiano Calcagno ◽  
Peter Müller ◽  
Bertrand Meyer
2014 ◽  
Vol 517 ◽  
pp. 75-101
Author(s):  
Kohei Honda ◽  
Nobuko Yoshida ◽  
Martin Berger

Author(s):  
Michael Metcalf ◽  
John Reid ◽  
Malcolm Cohen

A description of how a complete program is built from a main program and, optionally, subroutines and functions, some or all of which may be packaged into modules. They may themselves contain internal subroutines and functions. The methods by which information is transmitted between these components via arguments, host association, and use association are described. The concepts of scope and recursion are introduced.


2015 ◽  
Vol 21 (2) ◽  
pp. 157 ◽  
Author(s):  
Louise Freijser ◽  
Lucio Naccarella ◽  
Rosemary McKenzie ◽  
Meinir Krishnasamy

Continuity of care is integral to the quality and safety of care provided to people with cancer and their carers. Further evidence is required to examine the contribution Nurse Cancer Care Coordinator (NCCC) roles make in improving the continuity. The aim of the present study was to clarify the assumptions underpinning the NCCC roles and provide a basis for ongoing evaluation. The project comprised a literature review and a qualitative study to develop program logic. The participants who were purposively sampled included policy makers, practitioners, patient advocates, and researchers. Both the literature and participant reports found that NCCC roles are diverse and responsive to contextual influences to coordinate care at the individual (patient), organisational, and systems levels. The application of the program logic for the development of NCCC roles was explored. The conceptualisation of NCCC roles was also examined in relation to Boundary Spanning and Relational Coordination theory. Further research is required to examine how NCCCs contribute to improving equity, safety, quality and coordination of care. The project has implications for research, policy and practice, and makes explicit existing assumptions to provide a platform for further development and evaluation of these roles.


PEDIATRICS ◽  
1971 ◽  
Vol 48 (6) ◽  
pp. 1004-1005

Nassau County (N.Y.) Pediatric Postgraduate Lecture Series 1971-1972: Weekly lectures are sponsored by the Nassau County Medical Center for practicing pediatricians on Long Island each Thursday at 11:30 A.M. in the Recreation Activities Building on the Medical Center Grounds. American Academy of General Practice credit has been applied for; there is no registration fee. Further information and a complete program are available from P. J. Collipp, M.D., Department of Pediatrics, Nassau County Medical Center, 2201 Hempstead Turnpike, East Meadow, L.I., New York 11554.


2006 ◽  
Vol 6 (1) ◽  
pp. 13-26 ◽  
Author(s):  
Jeff Bost

This article examines an evaluation currently being undertaken in Papua New Guinea. The evaluation is designed to assist an organisation (comprising a donor agency, a recipient government department and a managing contractor) with the management and further development of an aid program set in the education sector. The challenge facing the organisation has been how to devise and implement a comprehensive managerial approach that will enable improvement of the existing program, the subsequent design of a new program and, at the same time, support a third objective of creating an ongoing culture of evaluation. In responding to that challenge the organisation has committed to the use of structured evaluation processes. Specifi cally, it has decided to implement a range of ‘front end’ evaluative approaches-developmental, evaluability assessment and program logic-drawn from the interactive and clarifi cative forms presented in Owen's (1999) conceptual framework. The article outlines the interventions that have been undertaken and assesses progress to date. Examples of completed activities are outlined and some innovative monitoring evaluative tools are introduced, such as the ‘capacity scale’ and the monitoring and evaluation (M&E) template. The paper concludes with some thoughts on the role of evaluation for management and development for achieving continuous improvement.


2003 ◽  
Vol 3 (1) ◽  
pp. 35-42 ◽  
Author(s):  
Brian English ◽  
Lisette Kaleveld
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document