Tools and Methods of Program Analysis
Tools and Methods of Program Analysis

Author: Anna Kalenkova

Publisher: Springer Nature

Published: 2021-03-16

Total Pages: 216

ISBN-13: 3030714721

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019. The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.

Tools and Methods of Program Analysis
Tools and Methods of Program Analysis

Author: Vladimir Itsykson

Publisher: Springer

Published: 2017-12-29

Total Pages: 225

ISBN-13: 3319717340

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.

Statistical Tools for Program Evaluation
Statistical Tools for Program Evaluation

Author: Jean-Michel Josselin

Publisher: Springer

Published: 2017-05-23

Total Pages: 530

ISBN-13: 3319528270

DOWNLOAD EBOOK

This book provides a self-contained presentation of the statistical tools required for evaluating public programs, as advocated by many governments, the World Bank, the European Union, and the Organization for Economic Cooperation and Development. After introducing the methodological framework of program evaluation, the first chapters are devoted to the collection, elementary description and multivariate analysis of data as well as the estimation of welfare changes. The book then successively presents the tools of ex-ante methods (financial analysis, budget planning, cost-benefit, cost-effectiveness and multi-criteria evaluation) and ex-post methods (benchmarking, experimental and quasi-experimental evaluation). The step-by-step approach and the systematic use of numerical illustrations equip readers to handle the statistics of program evaluation. It not only offers practitioners from public administrations, consultancy firms and nongovernmental organizations the basic tools and advanced techniques used in program assessment, it is also suitable for executive management training, upper undergraduate and graduate courses, as well as for self-study.

Principles of Program Analysis
Principles of Program Analysis

Author: Flemming Nielson

Publisher: Springer

Published: 2015-02-27

Total Pages: 465

ISBN-13: 3662038110

DOWNLOAD EBOOK

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.

Proceedings of the 3rd International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA) 2014
Proceedings of the 3rd International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA) 2014

Author: Suresh Chandra Satapathy

Publisher: Springer

Published: 2014-11-03

Total Pages: 0

ISBN-13: 9783319119328

DOWNLOAD EBOOK

This volume contains 95 papers presented at FICTA 2014: Third International Conference on Frontiers in Intelligent Computing: Theory and Applications. The conference was held during 14-15, November, 2014 at Bhubaneswar, Odisha, India. This volume contains papers mainly focused on Data Warehousing and Mining, Machine Learning, Mobile and Ubiquitous Computing, AI, E-commerce & Distributed Computing and Soft Computing, Evolutionary Computing, Bio-inspired Computing and its Applications.

Formal Methods
Formal Methods

Author: Flemming Nielson

Publisher: Springer

Published: 2019-07-16

Total Pages: 170

ISBN-13: 3030051560

DOWNLOAD EBOOK

This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity. The early chapters on program graphs and the Guarded Commands language are sufficient introduction for most readers to then enjoy a plug-and-play approach to the remaining chapters. These explain formal methods for analysing the behaviour of programs in various ways ranging from verification, via program analysis and language-based security, to model checking. The remaining chapters present language extensions with procedures and concurrency and cover their semantics. The book is suitable for advanced undergraduate and graduate courses in software development, and the text is supported throughout with exercises of varying grades of difficulty. The authors have developed an online learning environment that allows students to create examples beyond those covered in the main text, and in the book appendices they present programming projects aimed at implementing central parts of the development using the functional language F#.

Program Evaluation in Practice
Program Evaluation in Practice

Author: Dean T. Spaulding

Publisher: John Wiley & Sons

Published: 2016-12-19

Total Pages: 173

ISBN-13: 1118450205

DOWNLOAD EBOOK

An updated guide to the core concepts of program evaluation This updated edition of Program Evaluation in Practice covers the core concepts of program evaluation and uses case studies to touch on real-world issues that arise when conducting an evaluation project. This important resource is filled with illustrative examples written in accessible terms and provides a wide variety of evaluation projects that can be used for discussion, analysis, and reflection. The book addresses foundations and theories of evaluation, tools and methods for collecting data, writing of reports, and the sharing of findings. The discussion questions and class activities at the end of each chapter are designed to help process the information in that chapter and to integrate the information from the other chapters, thus facilitating the learning process. As useful for students as it is for evaluators in training, Program Evaluation in Practice is a must-have text for those aspiring to be effective evaluators. Includes expanded discussion of basic theories and approaches to program evaluation Features a new chapter on objective-based evaluation and a new section on ethics in program evaluation Provides more detailed information and in-depth description for each case, including evaluation approaches, fresh references, new readings, and the new Joint Committee Standards for Evaluation

Handbook of Practical Program Evaluation
Handbook of Practical Program Evaluation

Author: Joseph S. Wholey

Publisher: Jossey-Bass

Published: 2004-06-08

Total Pages: 600

ISBN-13: 0787973882

DOWNLOAD EBOOK

The second edition of Handbook of Practical Program Evaluation offers managers, analysts, consultants, and educators in government, nonprofit, and private institutions a valuable resource that outlines efficient and economical methods for assessing program results and identifying ways to improve program performance. The Handbook has been thoroughly revised. Many new chapters have been prepared for this edition, including chapters on logic modeling and on evaluation applications for small nonprofit organizations. The Handbook of Practical Program Evaluation is a comprehensive resource on evaluation, covering both in-depth program evaluations and performance monitoring. It presents evaluation methods that will be useful at all levels of government and in nonprofit organizations.

Program Evaluation and Performance Measurement
Program Evaluation and Performance Measurement

Author: James C. McDavid

Publisher: SAGE Publications

Published: 2012-10-25

Total Pages: 561

ISBN-13: 145228959X

DOWNLOAD EBOOK

Program Evaluation and Performance Measurement: An Introduction to Practice, Second Edition offers an accessible, practical introduction to program evaluation and performance measurement for public and non-profit organizations, and has been extensively updated since the first edition. Using examples, it covers topics in a detailed fashion, making it a useful guide for students as well as practitioners who are participating in program evaluations or constructing and implementing performance measurement systems. Authors James C. McDavid, Irene Huse, and Laura R. L. Hawthorn guide readers through conducting quantitative and qualitative program evaluations, needs assessments, cost-benefit and cost-effectiveness analyses, as well as constructing, implementing and using performance measurement systems. The importance of professional judgment is highlighted throughout the book as an intrinsic feature of evaluation practice.

Using Software in Qualitative Research
Using Software in Qualitative Research

Author: Ann Lewins

Publisher: SAGE

Published: 2007-05

Total Pages: 312

ISBN-13: 9780761949237

DOWNLOAD EBOOK

Using Software in Qualitative Research is an essential introduction to the practice and principles of Computer Assisted Qualitative Data Analysis (CAQDAS), helping the reader choose the most appropriate package for their needs and to get the most out of the software once they are using it. This step-by-step book considers a wide range of tasks and processes, bringing them together to demystify qualitative software and encourage flexible and critical choices and uses of software in supporting analysis. The book can be read as a whole or by chapters, building on one another to provide a holistic sense of the analytic journey without advocating a particular sequential process. Accessible and comprehensive, Using Software in Qualitative Research provides a practical but analytically-grounded guide to thinking about and using software and will be an essential companion for any qualitative researcher.