A nondeterministic program logic

The aim of propositional algorithmic logic is to investigate the properties of program connectives. Complete axiomatic systems for deterministic as well as for nondeterministic interpretations of program variables are presented. They constitute basic sets of tools useful in the practice of proving the properties of program schemes. Propositional theories of data structures, e.g. the arithmetic of natural numbers and stacks, are constructed. This shows that in many aspects PAL is close to first-order algorithmic logic. Tautologies of PAL become tautologies of algorithmic logic after replacing program variables by programs and propositional variables by formulas. Another corollary to the completeness theorem asserts that it is possible to eliminate nondeterministic program variables and replace them by schemes with deterministic atoms.

Download Full-text

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

Australian Journal of Primary Health ◽

10.1071/py13037 ◽

2015 ◽

Vol 21 (2) ◽

pp. 157 ◽

Cited By ~ 13

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.

Download Full-text

Evaluation for management and development

Evaluation Journal of Australasia ◽

10.1177/1035719x0600600104 ◽

2006 ◽

Vol 6 (1) ◽

pp. 13-26 ◽

Cited By ~ 2

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.

Download Full-text

A Sound and Complete Program Logic for Eiffel

Objects, Components, Models and Patterns - Lecture Notes in Business Information Processing ◽

10.1007/978-3-642-02571-6_12 ◽

2009 ◽

pp. 195-214 ◽

Cited By ~ 10

Author(s):

Martin Nordio ◽

Cristiano Calcagno ◽

Peter Müller ◽

Bertrand Meyer

Keyword(s):

Program Logic ◽

Complete Program

Download Full-text

The politics of program logic

Evaluation Journal of Australasia ◽

10.1177/1035719x0300300106 ◽

2003 ◽

Vol 3 (1) ◽

pp. 35-42 ◽

Cited By ~ 4

Author(s):

Brian English ◽

Lisette Kaleveld

Keyword(s):

Program Logic

Download Full-text

Methodology of software development for artificial microclimate control systems

MECHANICS OF GYROSCOPIC SYSTEMS ◽

10.20535/0203-3771402020248748 ◽

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.

Download Full-text

Evaluating Youth Programs: An Overview of Practitioner Led Evaluations

Journal of Youth Development ◽

10.5195/jyd.2010.236 ◽

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.

Download Full-text