scholarly journals Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86

2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-28
Author(s):  
Azalea Raad ◽  
Ori Lahav ◽  
Viktor Vafeiadis
Keyword(s):  
Program Logic

Cancer care coordination: building a platform for the development of care coordinator roles and ongoing evaluation

2015 ◽  
Vol 21 (2) ◽  
pp. 157 ◽  
Author(s):  
Louise Freijser ◽  
Lucio Naccarella ◽  
Rosemary McKenzie ◽  
Meinir Krishnasamy
Keyword(s):  
Cancer Care ◽  
Research Policy ◽  
Contextual Influences ◽  
Policy And Practice ◽  
Care Coordinator ◽  
Program Logic ◽  
Policy Makers ◽  
Patient Advocates ◽  
The Individual ◽  
Ongoing Evaluation

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.

Evaluation for management and development

2006 ◽  
Vol 6 (1) ◽  
pp. 13-26 ◽  
Author(s):  
Jeff Bost
Keyword(s):  
Papua New Guinea ◽  
Continuous Improvement ◽  
Monitoring And Evaluation ◽  
Program Logic ◽  
Front End ◽  
Management And Development ◽  
Donor Agency ◽  
Recipient Government ◽  
Further Development

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.

scholarly journals A Sound and Complete Program Logic for Eiffel

2009 ◽  
pp. 195-214 ◽  
Author(s):  
Martin Nordio ◽  
Cristiano Calcagno ◽  
Peter Müller ◽  
Bertrand Meyer
Keyword(s):  
Program Logic ◽  
Complete Program

The politics of program logic

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

scholarly journals Methodology of software development for artificial microclimate control systems

2020 ◽  
pp. 21-31
Author(s):  
Ihor Golinko ◽  
Pavlo Gikalo
Keyword(s):  
Control System ◽  
Software Development ◽  
Control Systems ◽  
Mass Exchange ◽  
Air Conditioning ◽  
Block Diagram ◽  
Dew Point ◽  
Program Logic ◽  
Air Conditioners ◽  
Exchange Processes

The specificity of accelerated software development for microcontrollers is considered. The software development technique for a program-logic controller is presented on the example of an algorithm for controlling the industrial premises microclimate. The method of “dew point” for the control system of industrial air conditioning. The analysis of the functioning of the control system of industrial air conditioning according to the “dew point” method has been carried out and a block diagram of the control system of an artificial microclimate has been proposed. Structurally, the mathematical description of an artificial microclimate system is presented, which takes into account the nonlinearity of mass-exchange processes of air preparation. It can be used by specialists to implement computer-integrated technologies and to analyze and adjust the parameters of the control system of industrial air conditioners.

scholarly journals Evaluating Youth Programs: An Overview of Practitioner Led Evaluations

2010 ◽  
Vol 5 (1) ◽  
pp. 112-117
Author(s):  
Mat D. Duerden ◽  
Peter A. Witt
Keyword(s):  
Program Evaluation ◽  
Youth Programs ◽  
Positive Development ◽  
Positive Outcomes ◽  
Program Logic ◽  
Evaluation Strategy ◽  
Logic Models ◽  
Different Types ◽  
Key Issues

Youth programs are prime contexts for the intentional facilitation of positive development. However, not all youth programs achieve positive outcomes equally. In order to promote the identification and dissemination of the characteristics and processes of effective youth programs, increased focus needs to be given to program evaluation. This article briefly reviews the main tenets of evaluation science in order to provide practitioners a roadmap for conducting their own evaluations. This includes an overview of different types of evaluations and key issues to consider when constructing an evaluation strategy such as targeting outcomes and developing program logic models.

Denotational semantics for a program logic of objects

2006 ◽  
Vol 16 (02) ◽  
pp. 313 ◽  
Author(s):  
BERNHARD REUS ◽  
JAN SCHWINGHAMMER
Keyword(s):  
Denotational Semantics ◽  
Program Logic

Integration of a Security Type System into a Program Logic

2007 ◽  
pp. 116-131 ◽  
Author(s):  
Reiner Hähnle ◽  
Jing Pan ◽  
Philipp Rümmer ◽  
Dennis Walter
Keyword(s):  
Type System ◽  
Program Logic

Visual Tools for Analyzing and Organizing Engineering Data and Information

2020 ◽  
pp. 177-196
Author(s):  
Felix Kin Peng Hui ◽  
Hamzeh Zarei ◽  
Colin Duffield
Keyword(s):  
Engineering Education ◽  
Technical Information ◽  
Educational Institutions ◽  
Program Logic ◽  
Inquiry Based Learning ◽  
Know How ◽  
Engineering Data ◽  
Consistent Manner ◽  
Engineering Information ◽  
Engineering Drawings

The chapter examines the use of visual tools in inquiry-based learning in engineering education. Engineering information has traditionally been communicated using engineering drawings. The advancement of technology has empowered engineers to work with data to generate graphics where visual tools have been successfully employed in the industry. However, many educational institutions still rely on text-based learning, which rely on linguistic abilities to convey complex concepts. Using program logic theory, the authors evaluate how a poster can help learners acquire knowledge and know-how to represent complex ideas in a logical and consistent manner. Students reported benefits in poster exercise compared with a written assignment. This chapter also discusses the educational and managerial significance of using visual tools to greater effectiveness and the importance of communicating technical information.

Sign in / Sign up

Export Citation Format

Share Document