Mathematical Methods in Program Development

Mathematical Methods in Program Development

Author: Manfred Broy

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 538

ISBN-13: 3642608582

DOWNLOAD EBOOK

Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods are needed to model the systems and to support their development and validation. Impressive progress in mathematical methods for programming software systems makes it possible to think about unifying the different approaches. This book gives a comprehensive overview of existing methods and presents some of the most recent results in applying them. The main topics are: advanced programming techniques, foundations of systems engineering, mathematical support methods, and application of the methods. The approaches presented are illustrated by examples and related to other approaches.


Description of Input and Examples for Phreeqc Version 3

Description of Input and Examples for Phreeqc Version 3

Author: David L. Parkhurst

Publisher: Createspace Independent Publishing Platform

Published: 2014-07-17

Total Pages: 518

ISBN-13: 9781500563103

DOWNLOAD EBOOK

PHREEQC version 3 is a computer program written in the C and C++ programming languages that is designed to perform a wide variety of aqueous geochemical calculations. PHREEQC implements several types of aqueous models: two ion-association aqueous models (the Lawrence Livermore National Laboratory model and WATEQ4F), a Pitzer specific-ion-interaction aqueous model, and the SIT (Specific ion Interaction Theory) aqueous model. Using any of these aqueous models, PHREEQC has capabilities for (1) speciation and saturation-index calculations; (2) batch-reaction and one-dimensional (1D) transport calculations with reversible and irreversible reactions, which include aqueous, mineral, gas, solid-solution, surface-complexation, and ion-exchange equilibria, and specified mole transfers of reactants, kinetically controlled reactions, mixing of solutions, and pressure and temperature changes; and (3) inverse modeling, which finds sets of mineral and gas mole transfers that account for differences in composition between waters within specified compositional uncertainty limits.


Tools and Methods of Program Analysis

Tools and Methods of Program Analysis

Author: Rostislav Yavorskiy

Publisher: Springer Nature

Published: 2024-01-02

Total Pages: 205

ISBN-13: 3031504232

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021. The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis of software quality.


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.


Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Author: Roland Backhouse

Publisher: Springer

Published: 2003-07-31

Total Pages: 401

ISBN-13: 3540477977

DOWNLOAD EBOOK

Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory. This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra.


Disrupting Program Evaluation and Mixed Methods Research for a More Just Society

Disrupting Program Evaluation and Mixed Methods Research for a More Just Society

Author: Jori N. Hall

Publisher: IAP

Published: 2023-01-01

Total Pages: 274

ISBN-13:

DOWNLOAD EBOOK

While women have influenced the fields of program evaluation and mixed methods research, their contributions are rarely acknowledged. In this edited volume, we recognize the contributions Jennifer C. Greene made to evaluation and mixed methods, focusing on how she disrupted traditional ways methods are conceptualized and implemented. We aim to provide a range of perspectives on how Greene disrupted social science theory, methodology, and training through her commitment to the values of democracy, diversity, and dialogue. Accordingly, the volume makes explicit how Greene democratized social science inquiry and training by emphasizing inclusive, culturally responsive, and educative theories, methods, and pedagogical practices. Second, it clarifies how her commitment to diversity supported scholars from diverse disciplinary backgrounds and cultures (within and beyond the United States) and validated often ignored perspectives on phenomena or experiences. And third, it showcases how her commitment to dialogue opened spaces for non-traditional methodological approaches that engage, communicate, and disseminate program evaluation and mixed methods work. Taken together, the first-hand accounts presented in this volume offer a historical perspective and practical guidance on program evaluation and mixed methods conceptualization, implementation, and training. Endorsements: 'The theme of “disruption” in this book is a powerful look at the breadth and significance of Jennifer C. Greene’s distinguished contributions, both theoretical and practical, in evaluation for over 30 years. In essence, these chapters reveal the sustaining power of her scholarship and influence today and likely in years to come. Her recognition that no single method can solve the complex problems faced in evaluation is revealed in the ontological, epistemological, and methodological work she developed on mixed methods, which led to a genre of study that recast the debate about the hegemony of quantitative over qualitative methods and vice versa. She has foregrounded values, the quintessential character of evaluation, by recognizing the multiplicity of perspectives that guide our theories, roles, questions, designs, and perceptions of quality. Jennifer Greene’s generativity is exemplified in her egalitarian dialogic stance, inclusion of voices and context, and commitment to equity. The chapters reflect the impact of her work on scholars who continue to advance evaluation for a more just society.' — Valerie J. Caracelli, U.S. Government Accountability Office 'It is not possible to convey in a few words my strongest endorsement for this volume that begins scratching the surface of Jennifer C. Greene’s many contributions to evaluation theory, methods, and practice. I have worked with and learned from her on many occasions over the years as I grappled with refining my understanding and practice of culturally responsive evaluation. I commend the editors and authors for this first substantive collection providing a more in-depth understanding and appreciation of Jennifer Greene’s body of work for some while providing others the opportunity to revisit the lessons we have learned from her work, spirit, and commitment to make a difference.' — Stafford Hood, Center for Culturally Responsive Evaluation & Assessment (CREA) and Professor Emeritus University of Illinois at Urbana-Champaign


Program Evaluation

Program Evaluation

Author: Kenneth J. Linfield

Publisher: Routledge

Published: 2018-09-03

Total Pages: 515

ISBN-13: 1351592017

DOWNLOAD EBOOK

This text provides a solid foundation in program evaluation, covering the main components of evaluating agencies and their programs, how best to address those components, and the procedures to follow when conducting evaluations. Different models and approaches are paired with practical techniques, such as how to plan an interview to collect qualitative data and how to use statistical analyses to report results. In every chapter, case studies provide real world examples of evaluations broken down into the main elements of program evaluation: the needs that led to the program, the implementation of program plans, the people connected to the program, unexpected side effects, the role of evaluators in improving programs, the results, and the factors behind the results. In addition, the story of one of the evaluators involved in each case study is presented to show the human side of evaluation. This new edition also offers enhanced and expanded case studies, making them a central organizing theme, and adds more international examples. New online resources for this edition include a table of evaluation models, examples of program evaluation reports, sample handouts for presentations to stakeholders, links to YouTube videos and additional annotated resources. All resources are available for download under the tab eResources at www.routledge.com/9781138103962.