the Descartes specification language and support software provides a tool for developing and executing functional specifications. A variety of specifications have been developed to support the language design and eval...
详细信息
this paper presents an overview of the results from "An Insider's Survey on software Development". the purpose of the survey was: to provide a vehicle for the communication of information on the usefulne...
详细信息
A hierarchical structuring method for functional software systems is described. this method is greatly influenced by the authors" experiences in developing the experimental Hierarchical software Processor (HISP) ...
详细信息
In conclusion, we feel that the technique of doing static (Structure) and dynamic (State) data modeling is an effective prerequisite to information system design and related software implementation. Early concentratio...
详细信息
the software quality index, SPQL (software Product Quality Level), is proposed. the index indicates the software quality based on program test results and consists of two subindices: the test accuracy index and the te...
详细信息
this paper describes the concept of and a system for configuration control for evolutional software products, in which a wide spectrum of varied software products are being continuously evolved, along with rapid advan...
详细信息
Experience in the development and maintenance of software leads to the design of methodologies for different phases of the softwareengineering process. Such methodologies attempt to usefully support the programmer&qu...
详细信息
Experiments with quantitative assessment and prediction of software reliability are presented. the experiments are based on the analysis of the error and the complexity characteristics of a large set of programs. the ...
详细信息
the proceedings contain 47 papers. the topics discussed include: a closer look at iteration: the self stabilizing capability of loops;design, implementation, and evaluation of a revision control system;configuration c...
the proceedings contain 47 papers. the topics discussed include: a closer look at iteration: the self stabilizing capability of loops;design, implementation, and evaluation of a revision control system;configuration control for evolutional software products;from specifications to machine code: program construction through formal reasoning;experiments with computer software complexity and reliability;a model for estimating program size and its evaluation;experimental results on the paging behavior of numerical programs;verification system for formal requirements description;static and dynamic data modeling for information system design;an insider's survey on software development;and functional specification of synchronized processes based on modal logic.
Estimation of the size and time required for software development is probably the most difficult aspect of any project. Up to now, most estimates have been done subjectively by experts. these estimates are often inacc...
详细信息
暂无评论