Book Companion Website - Explore the Science & Experts | ideXlab

Scan Science and Technology

Contact Leading Edge Experts & Companies

Book Companion Website

The Experts below are selected from a list of 15 Experts worldwide ranked by ideXlab platform

Amaresh Chakrabarti – 1st expert on this subject based on the ideXlab platform

  • Engineering design methods: Strategies for product design
    Materials & Design, 1995
    Co-Authors: Amaresh Chakrabarti

    Abstract:

    Written in a clear and readable style by an experienced author of teaching texts, Engineering Design Methods is an integrated design textBook that presents specific methods within an overall strategy from concept to detail design. It also outlines the nature of design thinking, and sets it within broader contexts of product development and design process management. The Book is much more than a manual of procedures; throughout, there is discussion and explication of the principles and practice of design. Building on the outstanding success of the previous three editions, this new edition cements the position of Engineering Design Methods at the forefront of engineering and industrial design as an essential text not only for students and lecturers but also for practitioners. The Book promotes a flexible approach to the design process, and provides explicit, step-by-step advice on how to implement several separate design methods that have been shown to be of value in both education and practice. This revised fourth edition – •promotes a flexible approach to the design process, •provides explicit, step-by-step advice on how to implement several separate design methods that have been shown to be of value in both education and practice, •contains new case studies and examples from industry that further broaden the scope of the Book from engineering design into product design, •includes a significant new chapter presenting user scenarios; a procedure for investigating potential product user wants and needs, that culminates in a design brief identifying an opportunity for developing a new product concept, •features a Book Companion Website with powerpoint slides for instructors. Reviewers’ comments: “Engineering Design Methods… is a valuable contribution to the engineering design literature. The engineering design methods presented are those that are of practical significance and the Book is a must for anyone wishing to raise the standard of their design work. The design methods are described clearly and succinctly, examples are used to illustrate principles and design strategies are presented that show how the methods are best employed”. Professor Graham Thompson, Department of Mechanical Engineering, UMIST, UK “Professor Nigel Cross’ treatment of Engineering Design is a singularly successful treatment for my courses because it is short and concise enough to be read by virtually all students. Furthermore, his interpretations are open enough to allow the inquiring mind to fill out the picture, incorporating and extending the ideas to fit the reflective designer’s own needs.” Professor Larry Leifer, Stanford Center for Design Reseach, Stanford University, USA “This Book is an excellent Book as a textBook for design methodology both for undergraduate and graduate level… Students will gain a firm foundation of design methods from problem definition to design evaluations from this Book”. Professor Kun-Pyo Lee, Department of Industrial Design, Korea Institute of Science and Technology, Korea

Mattias Ulbrich – 2nd expert on this subject based on the ideXlab platform

  • Deductive Software Verification – The KeY Book – Deductive Software Verification – The KeY Book
    Lecture Notes in Computer Science, 2017
    Co-Authors: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich

    Abstract:

    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.

Wolfgang Ahrendt – 3rd expert on this subject based on the ideXlab platform

  • Deductive Software Verification – The KeY Book – Deductive Software Verification – The KeY Book
    Lecture Notes in Computer Science, 2017
    Co-Authors: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich

    Abstract:

    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.