Verification: Theory and Practice

Verification: Theory and Practice
Author: Nachum Dershowitz
Publisher: Springer
Total Pages: 798
Release: 2004-02-24
Genre: Computers
ISBN: 3540399100

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor. The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.

Deductive Software Verification – The KeY Book

Deductive Software Verification – The KeY Book
Author: Wolfgang Ahrendt
Publisher: Springer
Total Pages: 714
Release: 2016-12-19
Genre: Computers
ISBN: 3319498126

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visualization, and debugging. All of them are realized in the state-of-art deductive verification framework KeY. This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice. It contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work. But the book also features fully self-contained chapters on the Java Modeling Language and on Using KeY that require nothing else than familiarity with Java. All other chapters are accessible for graduate students (M.Sc. level and beyond). The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book.

Theory in Practice

Theory in Practice
Author: Chris Argyris
Publisher: John Wiley & Sons
Total Pages: 278
Release: 1992-04-16
Genre: Education
ISBN: 1555424465

"This book is a landmark in two fields. It is a practical guide tothe reform of professional education. It is also a beacon totheoretical thinking about human organizations, about theirinterdepAndence with the social structure of the professions, andabout theory in practice." -- Journal of Higher Education

Theory and Practice of Formal Methods

Theory and Practice of Formal Methods
Author: Erika Ábrahám
Publisher: Springer
Total Pages: 0
Release: 2016-03-13
Genre: Computers
ISBN: 9783319307336

This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems, soundness, and completeness; semantics, compositionality, and full abstraction; process algebra and decidability; multithreading and actor-based concurrency; agent programming, ontologies, and modal logic; real-time systems, timed automata, and schedulability; enterprise architectures, choreography, and coordination; testing and runtime monitoring; and cloud computing and service-level agreements. For a while, he also liked failures, especially in semantics, and optimistically concluded with the failure of failures. In fact, Frank has an opportunistic approach to research. Rather than seeing obstacles, he finds opportunities.

The Theory and Practice of Item Response Theory, Second Edition

The Theory and Practice of Item Response Theory, Second Edition
Author: R. J. de Ayala
Publisher: Guilford Publications
Total Pages: 674
Release: 2022-04-29
Genre: Business & Economics
ISBN: 1462547753

Introduction to measurement -- The one-parameter model -- Joint maximum likelihood parameter estimation -- Marginal maximum likelihood parameter estimation -- The two-parameter model -- The three-parameter model -- Rasch models for ordered polytomous data -- Non-Rasch models for ordered polytomous data -- Models for nominal polytomous data -- Models for multidimensional data -- Linking and equating -- Differential item functioning -- Multilevel IRT models.

Practice Theory, Work, and Organization

Practice Theory, Work, and Organization
Author: Davide Nicolini
Publisher: Oxford University Press
Total Pages: 283
Release: 2013
Genre: Business & Economics
ISBN: 0199231605

The volume provides a rigorous yet accessible introduction to this emerging area of study.

Medical Education: Theory and Practice E-Book

Medical Education: Theory and Practice E-Book
Author: Tim Dornan
Publisher: Elsevier Health Sciences
Total Pages: 395
Release: 2011-12-02
Genre: Medical
ISBN: 0702049867

Medical Education: Theory and Practice is a new text linking the theory and the practice for graduate students and educators who want to go beyond the basics. The scholarship of medical education is, above all, a ‘practice’, but one that has a strong theoretical foundation. Neither theory nor practice stand still, and both are grounded in research. The novelty of this book lies in its interweaving of practice, theory, innovation and research. The book starts with a theorised, contemporary overview of the field. Next, it explores the theoretical foundations of medical education in depth. The remainder of the book reviews a whole a range of educational contexts, processes and outcomes. This work has been edited by a distinguished, international team of medical educationalists and written by equally accomplished authors from across the globe representing a spectrum of disciplines. This will be an invaluable text for all Masters Students in health professions education as well as PhD students and education researchers wanting a background to the discipline. Educators and medical students will also find it a very useful resource. Written by key figures in medical educational research combined with a strong editorial influence from the international editorial team. The text has a strong evidence-based approach that is fully cognisant of research methodology issues, The book provides a scholarly explanation on the topic, rather than aiming to say the last word. Written throughout in a clear and comprehensible style. The content is extensively referenced with additional suggestions for further reading.

The Theory & Practice of Training

The Theory & Practice of Training
Author: Roger Buckley
Publisher: Kogan Page Publishers
Total Pages: 340
Release: 2007
Genre: Business & Economics
ISBN: 9780749449766

Firmly established as a comprehensive introduction on the topic, this revised 5th edition provides a wide-ranging outline of the major instructional and training concepts, and their relationship to training in practice. The authors have expanded on information relating to the training environment, equipment, strategies and target population, as well as including a completely new section on ethics.Written with the newcomer to the training function in mind, it provides numerous real-life case studies to illustrate the theory. This engaging and practical book is as valuable to those who want to put their training experience into a coherent context, as it is to managers who need to understand the role that training can play.

Software Testing and Quality Assurance

Software Testing and Quality Assurance
Author: Kshirasagar Naik
Publisher: John Wiley & Sons
Total Pages: 702
Release: 2011-09-23
Genre: Computers
ISBN: 1118211634

A superior primer on software testing and quality assurance, from integration to execution and automation This important new work fills the pressing need for a user-friendly text that aims to provide software engineers, software quality professionals, software developers, and students with the fundamental developments in testing theory and common testing practices. Software Testing and Quality Assurance: Theory and Practice equips readers with a solid understanding of: Practices that support the production of quality software Software testing techniques Life-cycle models for requirements, defects, test cases, and test results Process models for units, integration, system, and acceptance testing How to build test teams, including recruiting and retaining test engineers Quality Models, Capability Maturity Model, Testing Maturity Model, and Test Process Improvement Model Expertly balancing theory with practice, and complemented with an abundance of pedagogical tools, including test questions, examples, teaching suggestions, and chapter summaries, this book is a valuable, self-contained tool for professionals and an ideal introductory text for courses in software testing, quality assurance, and software engineering.

The Theory and Practice of Revenue Management

The Theory and Practice of Revenue Management
Author: Kalyan T. Talluri
Publisher: Springer Science & Business Media
Total Pages: 731
Release: 2006-02-21
Genre: Business & Economics
ISBN: 0387273913

Revenue management (RM) has emerged as one of the most important new business practices in recent times. This book is the first comprehensive reference book to be published in the field of RM. It unifies the field, drawing from industry sources as well as relevant research from disparate disciplines, as well as documenting industry practices and implementation details. Successful hardcover version published in April 2004.