A comparsion of three concurrent software reliability models (Littlewood/Verrall, Musa, and Goel/Okumoto) has been performed. A set of criteria for evaluating a software reliability model is devoloped and a method for...
ISBN:
(纸本)9780818605284
A comparsion of three concurrent software reliability models (Littlewood/Verrall, Musa, and Goel/Okumoto) has been performed. A set of criteria for evaluating a software reliability model is devoloped and a method for model assessment is presented. then this assessment method is applied to the three selected models.
this paper describes an effort to use metrics to evaluate software designs early in the design process. Key facets of the work include a machine processable design notation and the definition of software design metric...
ISBN:
(纸本)9780818605284
this paper describes an effort to use metrics to evaluate software designs early in the design process. Key facets of the work include a machine processable design notation and the definition of software design metrics. We believe that the future success of building an intelligent software design assistant depends on the ability to quantify attributes of a software design, as well as to have the representation of the design available for automated examination.
Large-scale software requires a consistent development philosophy in all phases, from design through coding to maintenance. this paper describes the closed control tree structure concept which we used to achieve this ...
ISBN:
(纸本)9780818605284
Large-scale software requires a consistent development philosophy in all phases, from design through coding to maintenance. this paper describes the closed control tree structure concept which we used to achieve this consistency while developing AIM/RDB, a large relational data base system.
In this paper we present a (necessarily) informal and brief description of formal concepts which lend mathematical support to a paradigm of software development. Some important obligations which must be met by the sof...
详细信息
ISBN:
(纸本)9780818605284
In this paper we present a (necessarily) informal and brief description of formal concepts which lend mathematical support to a paradigm of software development. Some important obligations which must be met by the software developers are pointed out. Correspondences between widely adhered to practices and their mathematical counterparts are identified and explained.
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 models that 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.
Based on an analysis of errors in a piece of Pascal software a new language feature is introduced to increase the degree of compile time checking of program logic and thus improve the confidence of the programmer in t...
ISBN:
(纸本)9780818605284
Based on an analysis of errors in a piece of Pascal software a new language feature is introduced to increase the degree of compile time checking of program logic and thus improve the confidence of the programmer in the correctness of a program. Specifically this involves a form of abstract data type, augmented by restrictions on the use of operations provided withthe type, and a means of allowing the programmer to bring logically related segments of program together textually.
the decomposition of a large program into modules can be guided by the use of a property called cohesion, first described by Constantine. Cohesion is a quality that describes the degree to which the different actions ...
详细信息
ISBN:
(纸本)9780818605284
the decomposition of a large program into modules can be guided by the use of a property called cohesion, first described by Constantine. Cohesion is a quality that describes the degree to which the different actions performed by a module contribute to a unified function. However, this technique may be difficult to apply due to the subjective nature of the definitions of levels of cohesion. In this paper a software metric is defined and proposed as a discriminant for classifying modules according to their cohesion. Formal properties of the metric are derived which can be used to set the metric value ranges for module classification.
A large number of problems to be solved withthe help of computer systems are ill-structured. their solution requires incremental design processes, because complete and stable specifications are net *** tasks of this ...
详细信息
ISBN:
(纸本)9780818605284
A large number of problems to be solved withthe help of computer systems are ill-structured. their solution requires incremental design processes, because complete and stable specifications are net *** tasks of this sort, life cycle models are inadequate. Our design methodology is based on a rapid prototyping approach which supports the coevolution of specification and implementation. Communication between customers, designers and implementors and communication between the humans and the knowledge base in which the emerging product is embedded are of crucial importance. Our work is centered around knowledge-based systems which enhance and support the communication needs in connection withsoftware *** documentation systems are used as an example to illustrate the relevance of knowledge-based human-computer communication in softwareengineering.
暂无评论