A number of time-domain software reliability models attempt to predict the growth of a system9;s reliability during the system test phase of the development life cycle. In this paper we examine the results of apply...
ISBN:
(纸本)9780897912167
A number of time-domain software reliability models attempt to predict the growth of a system's reliability during the system test phase of the development life cycle. In this paper we examine the results of applying several types of Poisson-process models to the development of a large system for which system test was performed in two parallel tracks, using different strategies for test data selection. We show that the reliability growth predicted by non-homogeneous Poisson process models was found for only one of these testing strategies. these results imply that the applicability of a reliability growth model to a given software development project will depend on the nature of that project's system test process; they also raise theoretical questions about the assumption of certain statistical properties for failure occurrence during testing.
One way of responding to a keynote speaker is to put the expressed views into context, pointing to highlights in the address, suggesting areas where alternative viewpoints might have been presented, exposing any chink...
ISBN:
(纸本)9780897912167
One way of responding to a keynote speaker is to put the expressed views into context, pointing to highlights in the address, suggesting areas where alternative viewpoints might have been presented, exposing any chinks in the armour of the otherwise solid structure erected by the *** have made it impossible for this respondent to see the paper to be presented to ICSE9 by Professor L Osterweil before generating his own written response,. the above approach cannot, therefore, be taken. Instead, I raise a fundamental issue that follows from a comparison of the respective approaches to process modelling taken by Osterweil and myself. What is expressed here reflects my current understanding of his views on Process Programs and Process Programming, my reaction to what I believe he will present. I can only hope that this will not do too much violence to views to be expressed in his proceedings paper or in the Keynote lecture *** set the scene and to provide a basis and framework for discussion, let me first summarize my view of studies of the software development process in terms of my own involvement in *** the best of my knowledge, the first such study was a 1956 paper by Benington [BEN56]. In this, a process model with basic characteristics of that subsequently termed the 'Waterfall Model', was first presented. Current interest in the software development process makes it most appropriate that this historic paper is to re-presented at this conference. In 1968/9, totally unaware of the earlier paper, I engaged in a study whose conclusions were presented in a confidential report entitled 'the Programming Process' [LEH69]. this has now become available in the open literature [LEH85, chapter 3] and is, I believe, as relevant today as at the time it was written. It was this study and the continuing research it triggered that subsequently led my colleagues and me to the concepts of process models, evolution dynamics, program evolution and support envir
A new software reliability model is developed that predicts expected failures (and hence related reliability quantities) as well or better than existing software reliability models, and is simpler than any of the mode...
ISBN:
(纸本)9780818605284
A new software reliability model is developed that predicts expected failures (and hence related reliability quantities) as well or better than existing software reliability models, and is simpler than any of the modelsthat approach it in predictive validity. the model incorporates both execution time and calendar time components, each of which is derived. the model is evaluated, using actual data, and compared with other models.
this paper presents a model to bridge the gap between executive management and information systems management. Portraying information as an asset, the authors describe information systems as a revenue-generating syste...
详细信息
the NASA Tracking and Data Relay Satallite System is a coirmunications satellite system for services to low orbit user spacecraft like the Shuttle. It includes a Network Control Center based on a Univac 1100/22 for mo...
详细信息
this book constitutes the refereed post-conferenceproceedings of 13 workshops held at the 34thinternational ISC High Performance 2019conference, in Frankfurt, Germany, in June 2019:;HPC I/O in the Data Center (HPC-...
详细信息
ISBN:
(数字)9783030343569
ISBN:
(纸本)9783030343552
this book constitutes the refereed post-conferenceproceedings of 13 workshops held at the 34thinternational ISC High Performance 2019conference, in Frankfurt, Germany, in June 2019:;HPC I/O in the Data Center (HPC-IODC), Workshop on Performance & Scalability of Storage Systems (WOPSSS), Workshop on Performance & Scalability of Storage Systems (WOPSSS), 13th Workshop on Virtualization in High-Performance Cloud Computing (VHPC '18), 3rd international Workshop on In Situ Visualization: Introduction and Applications, ExaComm: Fourthinternational Workshop on Communication Architectures for HPC, Big Data, Deep Learning and Clouds at Extreme Scale, international Workshop on OpenPOWER for HPC (IWOPH18), IXPUG Workshop: Many-core Computing on Intel, Processors: Applications, Performance and Best-Practice Solutions, Workshop on Sustainable Ultrascale Computing Systems, Approximate and Transprecision Computing on Emerging Technologies (ATCET), First Workshop on the Convergence ofLarge Scale Simulation and Artificial Intelligence, 3rd Workshop for Open Source Supercomputing (OpenSuCo), First Workshop on Interactive High-Performance Computing, Workshop on Performance Portable Programming models for Accelerators (P^3MA). the 48 full papers included in this volume were carefully reviewed and selected. they cover all aspects of research, development, and application of large-scale, high performance experimental and commercial systems. Topics include HPC computer architecture and hardware; programming models, system software, and applications; solutions for heterogeneity, reliability, power efficiency of systems; virtualization and containerized environments; big data and cloud computing; and artificial intelligence.
this volume presents the proceedings of the 4thinternationalconference on Computers for Handicapped Persons (ICCHP 9;94), held in Vienna, Austria in September 1994. ICCHP 9;94 was organized by the Austrian Com...
详细信息
ISBN:
(数字)9783540489894
ISBN:
(纸本)9783540584766
this volume presents the proceedings of the 4thinternationalconference on Computers for Handicapped Persons (ICCHP '94), held in Vienna, Austria in September 1994. ICCHP '94 was organized by the Austrian Computer Society and the Rehabilitation engineering Group at the Vienna University of Technology withthe support of IFIP, CEPIS, BSC, GI, SI, ACM, and IEEE.;the book contains 95 refereed contributions, including 9 scientific posters and 13 short reports, and addresses all current aspects of computers for handicapped persons and human-computer interaction from the point of view of human disabilities.
this book constitutes the refereed proceedings of the 9thinternationalconference on theory and Applications of models of Computation, TAMC 2012, held in Beijing, China, in May 2012. the conference was combined with ...
详细信息
ISBN:
(数字)9783642299520
ISBN:
(纸本)9783642299513
this book constitutes the refereed proceedings of the 9thinternationalconference on theory and Applications of models of Computation, TAMC 2012, held in Beijing, China, in May 2012. the conference was combined withthe Turing Lectures 2012, dedicated to celebrating Alan Turing’s unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy, and the wider scientific world. Eight Turing Lectures were given at the TAMC 2012.
the 40 revised full papers presented together with invited talks were carefully reviewed and selected from 86 submissions. the papers address 4 special sessions at TAMC 2012 which were algorithms and information in networks, complexity and cryptography, models of computing and networking, programming and verification.
this book constitutes the refereed post-proceedings of the 9thinternationalconference and 10thinternationalconference on Model-Driven engineering and software Development, modelsWARD 2021 and M...
详细信息
ISBN:
(数字)9783031388217
ISBN:
(纸本)9783031388200
this book constitutes the refereed post-proceedings of the 9thinternationalconference and 10thinternationalconference on Model-Driven engineering and software Development, modelsWARD 2021 and modelsWARD 2022, was held virtually due to the COVID-19 crisis on February 8–10, 2021 and February 6–8, 2022.;the 11 full papers included in this book were carefully reviewed and selected from 121 submissions. the purpose of the internationalconference on model-driven engineering and software development is to provide a platform for researchers, engineers, academics as well as industrial professionals from all over the world to present their research results and development activities in using models and model driven engineering techniques for system development.
this book constitutes the refereed proceedings of the 14thinternationalconference on Subject-Oriented Business Process Management, S-BPM ONE 2023, held in Rostock, Germany, during May 31–June 1, 2023.;the...
详细信息
ISBN:
(数字)9783031402135
ISBN:
(纸本)9783031402128
this book constitutes the refereed proceedings of the 14thinternationalconference on Subject-Oriented Business Process Management, S-BPM ONE 2023, held in Rostock, Germany, during May 31–June 1, 2023.;the 10 full papers and 9 short papers included in this book were carefully reviewed and selected from 24 submissions. they were organized in topical sections as follows: management issues and people; development and requirements; modeling, technology and infrastructure.
暂无评论