Author: Kim David Hagedorn
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Testing a Model-driven Process Engine Using a Domain-specific Functional Language Based on Temporal Logic
Author: Kim David Hagedorn
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
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
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
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
Government Reports Announcements & Index
Author:
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 882
Book Description
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 882
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
Model-Based Testing for Embedded Systems
Author: Justyna Zander
Publisher: CRC Press
ISBN: 135183391X
Category : Computers
Languages : en
Pages : 690
Book Description
What the experts have to say about Model-Based Testing for Embedded Systems: "This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading experts in this area and teach us well-used and validated techniques, along with new ideas for solving hard problems. "It is rare that a book can take recent research advances and present them in a form ready for practical use, but this book accomplishes that and more. I am anxious to recommend this in my consulting and to teach a new class to my students." —Dr. Jeff Offutt, professor of software engineering, George Mason University, Fairfax, Virginia, USA "This handbook is the best resource I am aware of on the automated testing of embedded systems. It is thorough, comprehensive, and authoritative. It covers all important technical and scientific aspects but also provides highly interesting insights into the state of practice of model-based testing for embedded systems." —Dr. Lionel C. Briand, IEEE Fellow, Simula Research Laboratory, Lysaker, Norway, and professor at the University of Oslo, Norway "As model-based testing is entering the mainstream, such a comprehensive and intelligible book is a must-read for anyone looking for more information about improved testing methods for embedded systems. Illustrated with numerous aspects of these techniques from many contributors, it gives a clear picture of what the state of the art is today." —Dr. Bruno Legeard, CTO of Smartesting, professor of Software Engineering at the University of Franche-Comté, Besançon, France, and co-author of Practical Model-Based Testing
Publisher: CRC Press
ISBN: 135183391X
Category : Computers
Languages : en
Pages : 690
Book Description
What the experts have to say about Model-Based Testing for Embedded Systems: "This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading experts in this area and teach us well-used and validated techniques, along with new ideas for solving hard problems. "It is rare that a book can take recent research advances and present them in a form ready for practical use, but this book accomplishes that and more. I am anxious to recommend this in my consulting and to teach a new class to my students." —Dr. Jeff Offutt, professor of software engineering, George Mason University, Fairfax, Virginia, USA "This handbook is the best resource I am aware of on the automated testing of embedded systems. It is thorough, comprehensive, and authoritative. It covers all important technical and scientific aspects but also provides highly interesting insights into the state of practice of model-based testing for embedded systems." —Dr. Lionel C. Briand, IEEE Fellow, Simula Research Laboratory, Lysaker, Norway, and professor at the University of Oslo, Norway "As model-based testing is entering the mainstream, such a comprehensive and intelligible book is a must-read for anyone looking for more information about improved testing methods for embedded systems. Illustrated with numerous aspects of these techniques from many contributors, it gives a clear picture of what the state of the art is today." —Dr. Bruno Legeard, CTO of Smartesting, professor of Software Engineering at the University of Franche-Comté, Besançon, France, and co-author of Practical Model-Based Testing
Model-Driven Software Development
Author: Sami Beydeda
Publisher: Springer Science & Business Media
ISBN: 3540285547
Category : Computers
Languages : en
Pages : 462
Book Description
Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model transformation constitute the core of model-driven development. Models can be refined and finally be transformed into a technical implementation, i.e., a software system. The aim of this book is to give an overview of the state of the art in model-driven software development. Achievements are considered from a conceptual point of view in the first part, while the second part describes technical advances and infrastructures. Finally, the third part summarizes experiences gained in actual projects employing model-driven development. Beydeda, Book and Gruhn put together the results from leading researchers in this area, both from industry and academia. The result is a collection of papers which gives both researchers and graduate students a comprehensive overview of current research issues and industrial forefront practice, as promoted by OMG’s MDA initiative.
Publisher: Springer Science & Business Media
ISBN: 3540285547
Category : Computers
Languages : en
Pages : 462
Book Description
Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model transformation constitute the core of model-driven development. Models can be refined and finally be transformed into a technical implementation, i.e., a software system. The aim of this book is to give an overview of the state of the art in model-driven software development. Achievements are considered from a conceptual point of view in the first part, while the second part describes technical advances and infrastructures. Finally, the third part summarizes experiences gained in actual projects employing model-driven development. Beydeda, Book and Gruhn put together the results from leading researchers in this area, both from industry and academia. The result is a collection of papers which gives both researchers and graduate students a comprehensive overview of current research issues and industrial forefront practice, as promoted by OMG’s MDA initiative.
ACM SIGPLAN Notices
Author:
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages : 1004
Book Description
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages : 1004
Book Description