All About Maude - A High-Performance Logical Framework

All About Maude - A High-Performance Logical Framework
Author: Manuel Clavel
Publisher: Springer
Total Pages: 799
Release: 2007-07-19
Genre: Computers
ISBN: 3540719997

Maude is a language and system based on rewriting logic. In this comprehensive account, you’ll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.

Handbook on Planning, Monitoring and Evaluating for Development Results

Handbook on Planning, Monitoring and Evaluating for Development Results
Author: United Nations Development Programme
Publisher: United Nations Development programm
Total Pages: 220
Release: 2009
Genre: Business & Economics
ISBN: 9789211262698

This 'Handbook on Planning, Monitoring and Evaluating for Development Results' is an updated edition of the 2002 edition of 'Handbook on Monitoring and Evaluation for Results'. It seeks to address new directions in planning, monitoring and evaluation in the context of the United Nations Development Programme (UNDP) corporate strategic plan, the requirements of the UNDP evaluation policy approved by the Executive Board in 2006 and the United Nations Evaluation Group (UNEG) 'Standards for Evaluation in the UN System'. The updated Handbook also incorporates information recommended by key users of the Handbook during various workshops held by UNDP units.

International Development Projects

International Development Projects
Author: Ruggero Golini
Publisher: Project Management Institute
Total Pages: 147
Release: 2013-09-01
Genre: Business & Economics
ISBN: 1628251182

In International Development Projects: Peculiarities and Managerial Approaches, researchers-practitioners from two of Italy's most prestigious universities provide practical insights into this phenomenon...and how the lessons learned in this high stakes international arena can help anyone managing projects that span companies, cultures and continents. Incorporating the wisdom of almost 500 experienced ID project managers, as well as the latest in academic research, this book provides an unprecedented look at the unique characteristics of ID projects, the methods being used to manage them and the specific tools and processes that most often lead to success.

Inquisitive Semantics

Inquisitive Semantics
Author: Ivano Ciardelli
Publisher: Oxford University Press
Total Pages: 232
Release: 2018-12-27
Genre: Language Arts & Disciplines
ISBN: 019881478X

This is an open access title available under the terms of a CC BY-NC-ND 4.0 International licence. It is free to read at Oxford Scholarship Online and offered as a free PDF download from OUP and selected open access locations. This book presents a new logical framework to capture the meaning of sentences in conversation. The traditional approach equates meaning with truth-conditions: to know the meaning of a sentence is to know under which circumstances it is true. The reason for this is that linguistic and philosophical investigations are usually carried out in a logical framework that was originally designed to characterize valid argumentation. However, argumentation is neither the sole, nor the primary function of language. One task that language more widely and ordinarily fulfils is to enable the exchange of information between conversational participants. In the framework outlined in this volume, inquisitive semantics, information exchange is seen as a process of raising and resolving issues. Inquisitive semantics provides a new formal notion of meaning, which makes it possible to model various concepts that are crucial for the analysis of linguistic information exchange in a more refined and more principled way than has been possible in previous frameworks. Importantly, it also allows an integrated treatment of statements and questions. The first part of the book presents the framework in detail, while the second demonstrates its benefits in the semantic analysis of questions, coordination, modals, conditionals, and intonation. The book will be of interest to researchers and students from advanced undergraduate level upwards in the fields of semantics, pragmatics, philosophy of language, and logic.

Ten Steps to a Results-based Monitoring and Evaluation System

Ten Steps to a Results-based Monitoring and Evaluation System
Author: Jody Zall Kusek
Publisher: World Bank Publications
Total Pages: 270
Release: 2004-06-15
Genre: Government productivity
ISBN: 0821382896

An effective state is essential to achieving socio-economic and sustainable development. With the advent of globalization, there are growing pressures on governments and organizations around the world to be more responsive to the demands of internal and external stakeholders for good governance, accountability and transparency, greater development effectiveness, and delivery of tangible results. Governments, parliaments, citizens, the private sector, NGOs, civil society, international organizations and donors are among the stakeholders interested in better performance. As demands for greater accountability and real results have increased, there is an attendant need for enhanced results-based monitoring and evaluation of policies, programs, and projects. This Handbook provides a comprehensive ten-step model that will help guide development practitioners through the process of designing and building a results-based monitoring and evaluation system. These steps begin with a OC Readiness AssessmentOCO and take the practitioner through the design, management, and importantly, the sustainability of such systems. The Handbook describes each step in detail, the tasks needed to complete each one, and the tools available to help along the way."

The Logic Model Guidebook

The Logic Model Guidebook
Author: Lisa Wyatt Knowlton
Publisher: SAGE
Total Pages: 193
Release: 2012-08-24
Genre: Business & Economics
ISBN: 1452216754

The Logic Model Guidebook offers clear, step-by-step support for creating logic models and the modeling process in a range of contexts. Lisa Wyatt Knowlton and Cynthia C. Phillips describe the structures, processes, and language of logic models as a robust tool to improve the design, development, and implementation of program and organization change efforts. The text is enhanced by numerous visual learning guides (sample models, checklists, exercises, worksheets) and many new case examples. The authors provide students, practitioners, and beginning researchers with practical support to develop and improve models that reflect knowledge, practice, and beliefs. The Guidebook offers a range of new applied examples. The text includes logic models for evaluation, discusses archetypes, and explores display and meaning. In an important contribution to programs and organizations, it emphasizes quality by raising issues like plausibility, feasibility, and strategic choices in model creation.

The Great Mental Models, Volume 1

The Great Mental Models, Volume 1
Author: Shane Parrish
Publisher: Penguin
Total Pages: 209
Release: 2024-10-15
Genre: Business & Economics
ISBN: 0593719972

Discover the essential thinking tools you’ve been missing with The Great Mental Models series by Shane Parrish, New York Times bestselling author and the mind behind the acclaimed Farnam Street blog and “The Knowledge Project” podcast. This first book in the series is your guide to learning the crucial thinking tools nobody ever taught you. Time and time again, great thinkers such as Charlie Munger and Warren Buffett have credited their success to mental models–representations of how something works that can scale onto other fields. Mastering a small number of mental models enables you to rapidly grasp new information, identify patterns others miss, and avoid the common mistakes that hold people back. The Great Mental Models: Volume 1, General Thinking Concepts shows you how making a few tiny changes in the way you think can deliver big results. Drawing on examples from history, business, art, and science, this book details nine of the most versatile, all-purpose mental models you can use right away to improve your decision making and productivity. This book will teach you how to: Avoid blind spots when looking at problems. Find non-obvious solutions. Anticipate and achieve desired outcomes. Play to your strengths, avoid your weaknesses, … and more. The Great Mental Models series demystifies once elusive concepts and illuminates rich knowledge that traditional education overlooks. This series is the most comprehensive and accessible guide on using mental models to better understand our world, solve problems, and gain an advantage.

Purposeful Program Theory

Purposeful Program Theory
Author: Sue C. Funnell
Publisher: John Wiley & Sons
Total Pages: 576
Release: 2011-02-09
Genre: Education
ISBN: 0470939893

Between good intentions and great results lies a program theory not just a list of tasks but a vision of what needs to happen, and how. Now widely used in government and not-for-profit organizations, program theory provides a coherent picture of how change occurs and how to improve performance. Purposeful Program Theory shows how to develop, represent, and use program theory thoughtfully and strategically to suit your particular situation, drawing on the fifty-year history of program theory and the authors' experiences over more than twenty-five years. "From needs assessment to intervention design, from implementation to outcomes evaluation, from policy formulation to policy execution and evaluation, program theory is paramount. But until now no book has examined these multiple uses of program theory in a comprehensive, understandable, and integrated way. This promises to be a breakthrough book, valuable to practitioners, program designers, evaluators, policy analysts, funders, and scholars who care about understanding why an intervention works or doesn't work." Michael Quinn Patton, author, Utilization-Focused Evaluation "Finally, the definitive guide to evaluation using program theory! Far from the narrow 'one true way' approaches to program theory, this book provides numerous practical options for applying program theory to fulfill different purposes and constraints, and guides the reader through the sound critical thinking required to select from among the options. The tour de force of the history and use of program theory is a truly global view, with examples from around the world and across the full range of content domains. A must-have for any serious evaluator." E. Jane Davidson, PhD, Real Evaluation Ltd. Companion Web site: josseybass.com/go/funnellrogers

Using the Logical Framework

Using the Logical Framework
Author: Cedric Saldanha
Publisher:
Total Pages: 86
Release: 1998
Genre: Communication and traffic
ISBN:

The logical framework is presented as a conceptual and analytical tool for undertaking sector analysis, project planning, and project management. This guide clarifies concepts such as objectives, outputs, performance indicators, impact, assumptions, and cause effect analysis.