Theories of Programming and Formal Methods
Theories of Programming and Formal Methods

Author: Jonathan P. Bowen

Publisher: Springer Nature

Published: 2023-09-07

Total Pages: 417

ISBN-13: 303140436X

DOWNLOAD EBOOK

This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences. The first paper in the volume provides an overview of Jifeng’s research contributions, especially in the area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng’s recent roadmap for UTP.

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.

Methods of Programming
Methods of Programming

Author: Manfred Broy

Publisher: Springer Science & Business Media

Published: 1991-10-23

Total Pages: 292

ISBN-13: 9783540545767

DOWNLOAD EBOOK

The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming), a group of researchers led by Prof. F.L. Bauer and Prof. K. Samelson started work in 1975 in the direction of formal program specification, transformational programming, and tool supportfor program development. The collection of papers in this volume presents examples of a formal approach to programming language concepts and program development based on algebraic specifications and program transformations. Examples are also presented of evolutions and modificationsof the original ideas of the CIP project. The topics range from descriptionsof the program development process to derivations of algorithms from specifications. The volume is dedicated to Prof. F.L. Bauer.

Methods and Models in Mathematical Programming
Methods and Models in Mathematical Programming

Author: S. A. MirHassani

Publisher: Springer Nature

Published: 2019-12-09

Total Pages: 389

ISBN-13: 3030270459

DOWNLOAD EBOOK

This book focuses on mathematical modeling, describes the process of constructing and evaluating models, discusses the challenges and delicacies of the modeling process, and explicitly outlines the required rules and regulations so that the reader will be able to generalize and reuse concepts in other problems by relying on mathematical logic.Undergraduate and postgraduate students of different academic disciplines would find this book a suitable option preparing them for jobs and research fields requiring modeling techniques. Furthermore, this book can be used as a reference book for experts and practitioners requiring advanced skills of model building in their jobs.

Andragogical and Pedagogical Methods for Curriculum and Program Development
Andragogical and Pedagogical Methods for Curriculum and Program Development

Author: Wang, Victor C. X.

Publisher: IGI Global

Published: 2014-03-31

Total Pages: 501

ISBN-13: 1466658738

DOWNLOAD EBOOK

Today’s ever-changing learning environment is characterized by the fast pace of technology that drives our society to move forward, and causes our knowledge to increase at an exponential rate. The need for in-depth research that is bound to generate new knowledge about curriculum and program development is becoming ever more relevant. Andragogical and Pedagogical Methods for Curriculum and Program Development offers an in-depth description of key terms and concepts related to curriculum and program development for both faculty and students, as well as program designers, instructional program developers, trainers, and librarians.

Methods of Architectural Programming (Routledge Revivals)
Methods of Architectural Programming (Routledge Revivals)

Author: Henry Sanoff

Publisher: Routledge

Published: 2016-05-20

Total Pages: 364

ISBN-13: 1134890494

DOWNLOAD EBOOK

First published in 1977, this volume was intended as a sourcebook for designers and attempts to specify the ingredients necessary to develop a design program rather than postulate a model program for which no consensus exists. As such it filled a void in the existing literature which seldom covered programming with much depth and provides technical aids to guide designers. The author attempts to integrate the pioneering contributions from others in order to identify the substance of programming for designers and represents a culling of the strategies and techniques from the social, behavioural and management sciences — building on the developing efforts of other disciplines.

Mixed Methods for Policy Research and Program Evaluation
Mixed Methods for Policy Research and Program Evaluation

Author: Patricia Burch

Publisher: SAGE Publications

Published: 2015-02-18

Total Pages: 218

ISBN-13: 1506308570

DOWNLOAD EBOOK

This practical text equips students, researchers, and policymakers in the social sciences with the tools they need for applying mixed methods in policy research and program evaluation, from design, through data collection, and dissemination. Emphasizing the "how-to"—the set of conceptual and active tasks carried out by mixed methods researchers—the book is illustrated with rich case studies from the authors’ own research projects in education and public policy. These examples help readers identify and explain policy and program impacts and better understand the "why" and "how" of observed effects. Throughout the book, the authors describe challenges that both beginners and advanced scholars are likely to encounter when doing mixed methods research and recommend practical tools available to address them.

Extreme Programming and Agile Methods - XP/Agile Universe 2002
Extreme Programming and Agile Methods - XP/Agile Universe 2002

Author: Don Wells

Publisher: Springer Science & Business Media

Published: 2002-07-24

Total Pages: 305

ISBN-13: 3540440240

DOWNLOAD EBOOK

The second XP Universe and ?rst Agile Universe brought together many p- ple interested in building software in a new way. Held in Chicago, August 4–7, 2002 it attracted software experts, educators, and developers. Unlike most c- ferences the venue was very dynamic. Many activities were not even well de?ned in advance. All discussions were encouraged to be spontaneous. Even so, there were some written words available and you are holding all of them now. We have collected as much material as possible together into this small volume. It is just the tip of the iceberg of course. A reminder to us of what we learned, the people we met, and the ideas we expressed. The conference papers, including research and experience papers, are rep- duced in these proceedings. Forty-one (41) papers were submitted. Each subm- ted paper received three reviews by program committee members. The program committee consisted of 40 members. Papers submitted by program committee members were refereed separately. This ensured that reviewers could provide an honest feedback not seen by the paper submitters. In many cases, the program committee shepherded authors to signi?cantly improve their initial submission prior to completing the version contained in these proceedings. In the end, the program committee chose 25 papers for publication (60% acceptance).