Author: Vaughn Vernon
Publisher: Pearson Education
ISBN: 0321834577
Category : Computers
Languages : en
Pages : 656
Book Description
Vaughn Vernon presents concrete and realistic domain-driven design (DDD) techniques through examples from familiar domains, such as a Scrum-based project management application that integrates with a collaboration suite and security provider. Each principle is backed up by realistic Java examples, and all content is tied together by a single case study of a company charged with delivering a set of advanced software systems with DDD.
Implementing Domain-driven Design
Author: Vaughn Vernon
Publisher: Pearson Education
ISBN: 0321834577
Category : Computers
Languages : en
Pages : 656
Book Description
Vaughn Vernon presents concrete and realistic domain-driven design (DDD) techniques through examples from familiar domains, such as a Scrum-based project management application that integrates with a collaboration suite and security provider. Each principle is backed up by realistic Java examples, and all content is tied together by a single case study of a company charged with delivering a set of advanced software systems with DDD.
Publisher: Pearson Education
ISBN: 0321834577
Category : Computers
Languages : en
Pages : 656
Book Description
Vaughn Vernon presents concrete and realistic domain-driven design (DDD) techniques through examples from familiar domains, such as a Scrum-based project management application that integrates with a collaboration suite and security provider. Each principle is backed up by realistic Java examples, and all content is tied together by a single case study of a company charged with delivering a set of advanced software systems with DDD.
Encyclopedia of Software Engineering
Author:
Publisher:
ISBN:
Category : Software engineering
Languages : en
Pages : 768
Book Description
Publisher:
ISBN:
Category : Software engineering
Languages : en
Pages : 768
Book Description
ScalaCheck
Author: Rickard Nilsson
Publisher:
ISBN: 9780981531694
Category : JavaScript (Computer program language)
Languages : en
Pages : 0
Book Description
"ScalaCheck is a library that facilitates automated specification-based testing of Scala or Java software applications, originally inspired by the QuickCheck library of Haskell. ScalaCheck: The Definitive Guide explains the big ideas behind ScalaCheck, and shows how to use it effectively to write tests at the higher level of property specifications."--
Publisher:
ISBN: 9780981531694
Category : JavaScript (Computer program language)
Languages : en
Pages : 0
Book Description
"ScalaCheck is a library that facilitates automated specification-based testing of Scala or Java software applications, originally inspired by the QuickCheck library of Haskell. ScalaCheck: The Definitive Guide explains the big ideas behind ScalaCheck, and shows how to use it effectively to write tests at the higher level of property specifications."--
Index to Theses with Abstracts Accepted for Higher Degrees by the Universities of Great Britain and Ireland and the Council for National Academic Awards
Author:
Publisher:
ISBN:
Category : Dissertations, Academic
Languages : en
Pages : 342
Book Description
Publisher:
ISBN:
Category : Dissertations, Academic
Languages : en
Pages : 342
Book Description
Science Abstracts
Author:
Publisher:
ISBN:
Category : Electrical engineering
Languages : en
Pages : 948
Book Description
Publisher:
ISBN:
Category : Electrical engineering
Languages : en
Pages : 948
Book Description
Software Engineering for Robotics
Author: Ana Cavalcanti
Publisher: Springer Nature
ISBN: 3030664945
Category : Computers
Languages : en
Pages : 483
Book Description
The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. The intended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work. Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Publisher: Springer Nature
ISBN: 3030664945
Category : Computers
Languages : en
Pages : 483
Book Description
The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. The intended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work. Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Software Testing and Analysis
Author: Mauro Pezze
Publisher: John Wiley & Sons
ISBN:
Category : Computers
Languages : en
Pages : 516
Book Description
Teaches readers how to test and analyze software to achieve an acceptable level of quality at an acceptable cost Readers will be able to minimize software failures, increase quality, and effectively manage costs Covers techniques that are suitable for near-term application, with sufficient technical background to indicate how and when to apply them Provides balanced coverage of software testing & analysis approaches By incorporating modern topics and strategies, this book will be the standard software-testing textbook
Publisher: John Wiley & Sons
ISBN:
Category : Computers
Languages : en
Pages : 516
Book Description
Teaches readers how to test and analyze software to achieve an acceptable level of quality at an acceptable cost Readers will be able to minimize software failures, increase quality, and effectively manage costs Covers techniques that are suitable for near-term application, with sufficient technical background to indicate how and when to apply them Provides balanced coverage of software testing & analysis approaches By incorporating modern topics and strategies, this book will be the standard software-testing textbook
Scientific and Technical Aerospace Reports
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 702
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 702
Book Description
Artificial Intelligence Abstracts
Author:
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 448
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 448
Book Description
Government Reports Announcements & Index
Author:
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 876
Book Description
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 876
Book Description