A discussion is presented of the different standpoints which, at the beginning of the eighties, have brought forth prototyping as a strategy. the different lines of development are sketched, and the various trends are...
详细信息
ISBN:
(纸本)0818620412
A discussion is presented of the different standpoints which, at the beginning of the eighties, have brought forth prototyping as a strategy. the different lines of development are sketched, and the various trends are examined. An examination is made of the following topics: (1) the history of prototyping and the software crises, (2) prototyping terminology, (3) trends that have supported prototyping, (4) methods in line withthe idea of prototyping, (5) areas of research and development that will help to promote and develop prototyping, and (6) integrating prototyping into the concept of evolutionary systems development.
the primary purpose for holding the FM89 workshop was to assess the role of formal methods in the development and fielding of trustworthy critical systems. the workshop was to complete the following tasks: (i) assess ...
详细信息
ISBN:
(纸本)0818620269
the primary purpose for holding the FM89 workshop was to assess the role of formal methods in the development and fielding of trustworthy critical systems. the workshop was to complete the following tasks: (i) assess the problems retarding the development of trustworthy critical systems, (ii) determine the (potential) impact of applying formal methods techniques to the development of trustworthy critical systems, (iii) determine the R&D required to facilitate a broader application of formal methods techniques, (iv) identify 'example systems' that would be useful in determining the effectiveness of formal methods, and (v) identify how to improve international coordination and communications of formal methods research. the author briefly describes the purposes of the workshop, the material covered, and the resulting recommendations and conclusions.
A generalized logical model for CASE tools, which is designed as a 'methodology generator' for system development, is presented. the model is applied using the SuitCASE workstation, which enables all parties i...
详细信息
ISBN:
(纸本)0818620412
A generalized logical model for CASE tools, which is designed as a 'methodology generator' for system development, is presented. the model is applied using the SuitCASE workstation, which enables all parties involved in system development (organizations, computer units, software houses, consultants, project managers, professional training institutes) to computerize development methodologies and to build up a set of computerized standards for supporting all life-cycle phases. During a one-year trial period, about 50 projects were implemented withthe help of the software, within the framework of system analysis courses. It soon became clear that the model--which was initially constructed for learning purposes--is also effective for organizations, computer units, and software houses who are involved with developing information systems. Experience running the software during a two-year period demonstrated that the process of adapting to the product is simple and convenient. Full control of the operation kit of the product requires an investment of 4 hours of training and exercises. the most sophisticated operation kit requires 5 additional hours of training.
Trends leading to the development of advanced tools powerful enough to allow realistic visualization of scientific and engineering phenomena are reviewed. Applications of the technology are described, stressing the im...
详细信息
Trends leading to the development of advanced tools powerful enough to allow realistic visualization of scientific and engineering phenomena are reviewed. Applications of the technology are described, stressing the importance of high-speed communication as a key factor for the development of useful visualization tools. Value-added processing at the nodes, networking, and software requirements are discussed.
the development of a system for reverse softwareengineering of real-time programs is described. It is addressed specifically to the US Navy's modernization of tactical and strategic systems. the approach is based...
详细信息
the development of a system for reverse softwareengineering of real-time programs is described. It is addressed specifically to the US Navy's modernization of tactical and strategic systems. the approach is based on completely automatic translation from CMS-2 into a user-oriented nonprocedural specification language called MODEL. the user can better understand, maintain, and modernize the specification of programs in the MODEL language. there is an existing system for analysis, translation, and optimization in the conversion of MODEL to Ada. this completes the translation from the real-time CMS-2 programs to Ada programs. the overall system will use a powerful workstation with graphics.
A novel approach to the operational specification of concurrent systemsthat leads to an object-oriented specification language is presented. In contrast to object-oriented programming languages, objects are structure...
详细信息
ISBN:
(纸本)0818620269
A novel approach to the operational specification of concurrent systemsthat leads to an object-oriented specification language is presented. In contrast to object-oriented programming languages, objects are structured as hierarchical state-transition systems, methods of individual objects are replaced by roles in cooperative multiobject actions whereby explicit mechanisms for process communication are avoided, and a simple nondeterministic execution model that requires no explicit invocation of actions is introduced. the approach has a formal basis, and it emphasizes structured derivation of specifications. Top-down and bottom-up methodologies are reflected in two variants of inheritance. the former captures the methodology of designing distributed systems by superimposition;the latter is suited to the specification of reusable modules.
the author summarizes a presentation given at a panel session on safety-critical softwaresystems. the features of both probabilistic and nonprobabilistic approaches are considered. Particular emphasis is placed on an...
详细信息
ISBN:
(纸本)0818620269
the author summarizes a presentation given at a panel session on safety-critical softwaresystems. the features of both probabilistic and nonprobabilistic approaches are considered. Particular emphasis is placed on an approach in which safety verification and analysis are backed up by using software safety design techniques that protect against hazardous states that might result from undetected software faults, including those stemming from flaws in the software requirements specification.
the use of VHS video technology as a medium for program documentation is shown to offer some compelling advantages. these include reduced drudgery, ease of motivation of the documenters, low cost, and appeal of the pr...
详细信息
ISBN:
(纸本)0818620269
the use of VHS video technology as a medium for program documentation is shown to offer some compelling advantages. these include reduced drudgery, ease of motivation of the documenters, low cost, and appeal of the product to its target audience. A case study concerning the use of video for program documentation is presented. It is believed that many other areas of softwareengineering could also benefit from the application of video technology to the documentation process.
TRW's Ada Process Model has proved to be the key to the Command Center Processing and Display System-Replacement (CCPDS-R) project's success in developing over 300,000 lines of Ada source code executing in a d...
详细信息
ISBN:
(纸本)0818620269
TRW's Ada Process Model has proved to be the key to the Command Center Processing and Display System-Replacement (CCPDS-R) project's success in developing over 300,000 lines of Ada source code executing in a distributed VAX VMS environment. the Ada Process Model is a uniform application of incremental development coupled with a demonstration-based approach to design review for continuous and insightful thread testing and risk management. It is pointed out that the use of Ada as the life-cycle language for design evolution provides the vehicle for uniformity and a basis for consistent software progress metrics. the author provides an overview of the techniques and benefits of the Ada Process Model and describes some of the experience and lessons learned.
the authors discuss the important problem of invisibility that is inherent in the task of developing large softwaresystems. It is pointed out that there are no direct solutions to this problem;however, there are seve...
详细信息
ISBN:
(纸本)0818620269
the authors discuss the important problem of invisibility that is inherent in the task of developing large softwaresystems. It is pointed out that there are no direct solutions to this problem;however, there are several categories of systems--relational code analyzers, reuse librarians, and project management databases--that can be seen as addressing aspects of the invisibility problem. It is argued that these systems do not adequately deal with certain important aspects of the problem of invisibility--semantic proliferation, multiple views, and the need for intelligent indexing. A system called LaSSIE, which uses knowledge representation and reasoning technology to address each of these three issues directly and thereby help withthe invisibility problem, has been built. the authors conclude with an evaluation of the system and a discussion of open problems and ongoing work.
暂无评论