Author: Robert John Weber Publisher: ISBN: Category : Mathematics Languages : en Pages : 344
Book Description
Statistical software testing is a promising technique for reducing the software testing burden by applying test cases to the software under test according to a model of the expected usage of the system in operation, called an operational profile. However, current statistical testing techniques have not been put into general practice, as they do not scale well as the complexity of the systems under test increases. In particular, as system complexity increases, the matrices required to generate test cases and perform model analysis can grow dramatically, even exponentially, overwhelming the test generation and analysis applications. In this work, a new technique for representing the operational profile is proposed to mitigate the complexity issue for statistical test case generation. The use of a state-based requirements specification model as the basis of the operational profile leverages parallelism to reduce the visible size of the model. The specification model can then be extended to include conditional probabilities of input data occurrence. * This work also proposes a statistical testing framework using this specification-based operational profile to generate and execute test cases. Such a framework allows us to evaluate the effectiveness and efficiency of this statistical testing technique.
Author: Patrick Langdon Publisher: Springer Science & Business Media ISBN: 1447128672 Category : Technology & Engineering Languages : en Pages : 238
Book Description
The Cambridge Workshops on Universal Access and Assistive Technology (CWUAAT) are a series of workshops held at a Cambridge University College every two years. The workshop theme: “Designing inclusion for real-world applications” refers to the emerging potential and relevance of the latest generations of inclusive design thinking, tools, techniques, and data, to mainstream project applications such as healthcare and the design of working environments. Inclusive Design Research involves developing tools and guidance enabling product designers to design for the widest possible population, for a given range of capabilities. There are five main themes: Designing for the Real-World Measuring Demand And Capabilities Designing Cognitive Interaction with Emerging Technologies Design for Inclusion Designing Inclusive Architecture In the tradition of CWUAAT, we have solicited and accepted contributions over a wide range of topics, both within individual themes and also across the workshop’s scope. We ultimately hope to generate more inter-disciplinary dialogues based on focused usage cases that can provide the discipline necessary to drive further novel research, leading to better designs. The aim is to impact industry and end-users as well governance and public design, thereby effectively reducing exclusion and difficulty in peoples’ daily lives and society.
Author: Radek Silhavy Publisher: Springer ISBN: 3319184733 Category : Technology & Engineering Languages : en Pages : 380
Book Description
This volume is based on the research papers presented in the 4th Computer Science On-line Conference. The volume Software Engineering in Intelligent Systems presents new approaches and methods to real-world problems, and in particular, exploratory research that describes novel approaches in the field of Software Engineering. Particular emphasis is laid on modern trends in selected fields of interest. New algorithms or methods in a variety of fields are also presented. The Computer Science On-line Conference (CSOC 2015) is intended to provide an international forum for discussions on the latest high-quality research results in all areas related to Computer Science. The addressed topics are the theoretical aspects and applications of Computer Science, Artificial Intelligences, Cybernetics, Automation Control Theory and Software Engineering.
Author: Hendrik Blockeel Publisher: Springer ISBN: 3540784691 Category : Computers Languages : en Pages : 307
Book Description
This book contains the post-conference proceedings of the 17th International Conference on Inductive Logic Programming. It covers current topics in inductive logic programming, from theoretical and methodological issues to advanced applications.
Author: United States. Congress. Senate. Select Committee on Small Business Publisher: ISBN: Category : Federal aid to minority business enterprises Languages : en Pages : 224
Author: Roger Lee Publisher: Springer ISBN: 3642321720 Category : Technology & Engineering Languages : en Pages : 230
Book Description
The purpose of the 13th International Conference on Computer and Information Science (SNPD 2012) held on August 8-10, 2012 in Kyoto, Japan was to bring together researchers and scientists, businessmen and entrepreneurs, teachers and students to discuss the numerous fields of computer science, and to share ideas and information in a meaningful way. Our conference officers selected the best 17 papers from those papers accepted for presentation at the conference in order to publish them in this volume. The papers were chosen based on review scores submitted by members of the program committee, and underwent further rounds of rigorous review. The conference organizers selected 17 outstanding papers from SNPD 2012, all of which you will find in this volume of Springer’s Studies in Computational Intelligence.
Author: Lucio Tommaso De Paolis Publisher: Springer Nature ISBN: 3031434013 Category : Computers Languages : en Pages : 555
Book Description
This two-volume set LNCS 14218 and LNCS 14219 constitutes the refereed proceedings of the International Conference on Extended Reality, XR Salento 2023, held in Lecce, Italy, during September 6-9, 2023. The 60 full papers presented together with 11 short papers were carefully reviewed and selected from 97 submissions. They cover a wide range of many different research topics such as: eXtended reality; digital twin; artificial intelligence; user experience in eXtended reality; virtual reality for neurofeedback, biofeedback and emotion recognition; eXtended reality in education; eXtended reality and metaverse in cultural heritage; eXtended reality in health and medicine; and eXtended reality in industrial field.
Author: James L. Antonakos Publisher: CRC Press ISBN: 1466562609 Category : Computers Languages : en Pages : 350
Book Description
Data structure and software engineering is an integral part of computer science. This volume presents new approaches and methods to knowledge sharing, brain mapping, data integration, and data storage. The author describes how to manage an organization’s business process and domain data and presents new software and hardware testing methods. The book introduces a game development framework used as a learning aid in a software engineering at the university level. It also features a review of social software engineering metrics and methods for processing business information. It explains how to use Pegasys to create and manage sequence analysis workflows.
Author: Robert John Weber
Author: Patrick Langdon
Author: 
Author: Radek Silhavy
Author: Hendrik Blockeel
Author: 
Author: United States. Congress. Senate. Select Committee on Small Business
Author: Roger Lee
Author: Lucio Tommaso De Paolis
Author: James L. Antonakos