the author presents a software re-engineering method based on the hierarchical-client-server (HCS) paradigm. the re-engineering method consists of extracting cross-reference relations and transforming the data into an...
详细信息
ISBN:
(纸本)081862065X
the author presents a software re-engineering method based on the hierarchical-client-server (HCS) paradigm. the re-engineering method consists of extracting cross-reference relations and transforming the data into an hierarchical set of diagrams that represent the software architecture. these diagrams provide a documentation skeleton, and may be analyzed withthe BUBBLES computer-aided softwareengineering (CASE) tool to reveal valuable information that encourages software re-use and helps software maintenance. the HCS paradigm and BUBBLES were used for re-engineering of several softwaresystems of various sizes, and proved to be very useful for reducing the budget and schedule, and improving the quality. the analysis required only a few hours for systemsthat required several man-years of effort to develop. the author shows and example of a subsystem that was analyzed in that framework, and presents the properties and patterns that were revealed by this analysis.
An approach to the tested elements reduction problem, in which a set of reduction rules is developed to detect the dominated tested elements and remove them is proposed. the dominant elements are then manifested. thes...
详细信息
ISBN:
(纸本)081862065X
An approach to the tested elements reduction problem, in which a set of reduction rules is developed to detect the dominated tested elements and remove them is proposed. the dominant elements are then manifested. these reduction rules are formally proved mathematically. the physical meaning of each rule is described in detail. their effectiveness is illustrated by examples. the proposed table-reduction approach is a generalized method for all kinds of coverage criteria, including individual, local, and mixed coverage criteria.
the authors introduce control structures for parallel programming designed to facilitate the process of developing parallel programs. these basic control structures are listed, and are given intuitive sequential and p...
详细信息
ISBN:
(纸本)081862065X
the authors introduce control structures for parallel programming designed to facilitate the process of developing parallel programs. these basic control structures are listed, and are given intuitive sequential and parallel semantics. the parallel versions are then refined to display the power of the various variations that could be used. Named control structures which help synchronize the execution of the different parts of a program are also introduced. In particular, it is noted that the named control structure solves the DOACROSS problem.
the author suggests a method for managing and maintaining the basic software in a network from a central installation, thus offering great saving of effort, with nearly no degradation in the service level. the method ...
详细信息
ISBN:
(纸本)081862065X
the author suggests a method for managing and maintaining the basic software in a network from a central installation, thus offering great saving of effort, with nearly no degradation in the service level. the method is based on a small number of model systems (software), which are installed at the central installation. Each remote installation is associated with a specific model system and is called a target system. Any maintenance operation which is required by one of the target systems is applied in the model system, tested there, and eventually exported to all target systems, rather than reinstalled in each installation. Adding a junction to the network requires almost no additional work.
the softwareengineering principles that lead to the decomposition of a software system to CSCIs (computersoftware configuration items) were applied in the software integration phase of a relatively large tightly cou...
详细信息
ISBN:
(纸本)081862065X
the softwareengineering principles that lead to the decomposition of a software system to CSCIs (computersoftware configuration items) were applied in the software integration phase of a relatively large tightly coupled multiprocessor system. Accordingly, the integration of this nondistributed embedded softwaresystems was accelerated and the product was improved by separately linking the CSCIs. Interfacing modules were added to each separately linked subsystem to enable it to access its imported services. Subsystem linking (sublinking), implemented manually and aided by ad hoc tools, is described, followed by a discussion of its possible applications to software development environments (i.e. compilers, linkers, test tools, ICEs, and debuggers) which at present scarcely support test and integration with separately linked executable images.
At israel Aircraft Industries (IAI), a variety of system development processes have been used to address the various phases of computer-based system (CBS) system development. these include methodologies and techniques...
详细信息
ISBN:
(纸本)081862065X
At israel Aircraft Industries (IAI), a variety of system development processes have been used to address the various phases of computer-based system (CBS) system development. these include methodologies and techniques for generation of the system specification, design and development of application code, and automatic generation of control code. A case study of the integration of these methodologies and techniques within a spiral development process is presented. the individual techniques and methodologies are described, and lessons learned from their application to an unmanned air vehicle system are documented.
the author examines risk management through use of analysis disciplines. A method for risk management is presented which consists of a three-dimensional classification schema. this classification method is based on ri...
详细信息
ISBN:
(纸本)081862065X
the author examines risk management through use of analysis disciplines. A method for risk management is presented which consists of a three-dimensional classification schema. this classification method is based on risk categories, risk danger levels, and the probabilities of the risk actually occuring. the method allows for the total management of the risk aspects of a project. the processes are for risk management in high-technology projects and high-technology environments. this article is based on the risk management procedure contained in the PATRIARCH manager's procedure manual.
Aspects of methodology in correction with large DP projects are discussed. It is pointed out that methodology is a mapping of the stages of a project and/or the deliverables produced by each of those stages against ti...
详细信息
ISBN:
(纸本)081862065X
Aspects of methodology in correction with large DP projects are discussed. It is pointed out that methodology is a mapping of the stages of a project and/or the deliverables produced by each of those stages against time or against state of completeness. It is further noted that individual resistance to methodology on technical grounds is a positive force, and on psycho-social grounds is a natural reaction to a change in the work context. the introduction of methodology into large DP projects should be defined as a prototyping effort.
the authors introduce OBJECTEXT, an object-oriented data model for hypertext systems, featuring an extensible set of typed, structured nodes. It is argued that the integration of object-oriented principles can give hy...
详细信息
ISBN:
(纸本)081862065X
the authors introduce OBJECTEXT, an object-oriented data model for hypertext systems, featuring an extensible set of typed, structured nodes. It is argued that the integration of object-oriented principles can give hypertexts a clearer, more formal framework and reduce the problem of user disorientation without sacrificing generality or flexibility. It is also argued that hypertexts are a special case of semantic models in general, and of the object-oriented paradigm in particular. An implementation of the system, developed in Prolog, is discussed.
A novel algorithm for parallel design verification is described. Its data model is that of the data flow computer and is based on the partitioning of the design verification cycle into independent tasks that can be ru...
详细信息
ISBN:
(纸本)081862065X
A novel algorithm for parallel design verification is described. Its data model is that of the data flow computer and is based on the partitioning of the design verification cycle into independent tasks that can be run concurrently. the significance of this methodology is that, unlike other concepts that cannot use the existing sequential code and can only run on an expensive special-purpose hardware, the proposed approach does not require any code development and can be accommodated by a standard UNIX distributed network or a multiprocessor. the author presents experimental results for performing 52 design rule checks on 1.3 million polygons (12 layers) on both a multiprocessor configuration and a distributed network.
暂无评论