Program Methods
Author: Maynard A. Speece
Publisher:
Published: 1953
Total Pages: 44
ISBN-13:
DOWNLOAD EBOOKPp. 29.
Read and Download eBook Full
Author: Maynard A. Speece
Publisher:
Published: 1953
Total Pages: 44
ISBN-13:
DOWNLOAD EBOOKPp. 29.
Author: Manfred Broy
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 538
ISBN-13: 3642608582
DOWNLOAD EBOOKModern 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.
Author: David L. Parkhurst
Publisher: Createspace Independent Publishing Platform
Published: 2014-07-17
Total Pages: 518
ISBN-13: 9781500563103
DOWNLOAD EBOOKPHREEQC 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.
Author: Rostislav Yavorskiy
Publisher: Springer Nature
Published: 2024-01-02
Total Pages: 205
ISBN-13: 3031504232
DOWNLOAD EBOOKThis 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.
Author: Vladimir Itsykson
Publisher: Springer
Published: 2017-12-29
Total Pages: 225
ISBN-13: 3319717340
DOWNLOAD EBOOKThis 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.
Author:
Publisher:
Published: 1996
Total Pages: 12
ISBN-13:
DOWNLOAD EBOOKAuthor: Roland Backhouse
Publisher: Springer
Published: 2003-07-31
Total Pages: 401
ISBN-13: 3540477977
DOWNLOAD EBOOKProgram 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.
Author: G. G. Lauenstein
Publisher:
Published: 1993
Total Pages: 204
ISBN-13:
DOWNLOAD EBOOKAuthor: Jori N. Hall
Publisher: IAP
Published: 2023-01-01
Total Pages: 274
ISBN-13:
DOWNLOAD EBOOKWhile 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
Author: Kenneth J. Linfield
Publisher: Routledge
Published: 2018-09-03
Total Pages: 515
ISBN-13: 1351592017
DOWNLOAD EBOOKThis 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.