Object management systems (OMSs) are key components of software development environments. They offer the ability to manage the vast amount of documents which are generated and manipulated along the software life cycle...
详细信息
Object management systems (OMSs) are key components of software development environments. They offer the ability to manage the vast amount of documents which are generated and manipulated along the software life cycle. They differ in their data models and, in particular, in their choices at the schema definition level. In this paper we show how an object-oriented OMS is used as a central means to support data integration. We describe the principle to model different kinds of documents and the approach used to convert them to a common OMS schema. With object-oriented features, such as: types, methods, and inheritance, the common schema describes both coarse grained and fine grained objects to represent documents. This work also contains sample implementations for some typical documents.< >
In this paper we present the graphical Interface InGRAPH designed for a fully object-oriented database system. InGRAPH is based on an extended entity-relationship model which provides essential object-oriented modelin...
详细信息
Kernel/2r is a software infrastructure that provides the integration platform for the construction of distributed process-oriented multi-user/multi-role systems. Kernel/2r includes different process engines that enabl...
详细信息
Kernel/2r is a software infrastructure that provides the integration platform for the construction of distributed process-oriented multi-user/multi-role systems. Kernel/2r includes different process engines that enable the enactment of formally defined process models, thus assisting users in staying in line with procedures and regulations required by law or by the organization or ISO 9000 quality standards, for instance. The authors demonstrate the appropriateness of Kernel/2r as a basis for the construction of application systems in the engineering domain as well as in the commercial domain by discussing the IRIN software Factory and the OTIS on-line ticket vending system.< >
We propose an extension to Prolog called the count term for controlling Prolog *** purpose is to allow the programmers as well as the users to have greater flexibility in controlling the execution behavior of Prolog p...
详细信息
We propose an extension to Prolog called the count term for controlling Prolog *** purpose is to allow the programmers as well as the users to have greater flexibility in controlling the execution behavior of Prolog programs and for limiting the number of answers retrieved when Prolog is used as a database query language. Both syntax and operational semantics of the count term are *** analyze the possible meanings one might associate with the count *** possible replacement of cut and fail by the count term is *** ease of analysis of programs with count terms is discussed.
A model-based formal specification directed software testing approach is presented. It provides a test oracle and introduces a new coverage criterion for the functional (black-box) testing based on formal specificatio...
详细信息
A model-based formal specification directed software testing approach is presented. It provides a test oracle and introduces a new coverage criterion for the functional (black-box) testing based on formal specifications. Given the source code of an implementation, its formal specification, and the retrieve functions, a test driver can be generated to conduct, evaluate, and measure the functional test. Although the complete specification conformance of an implementation cannot be established by testing alone, our approach provides a strong necessary condition of complete specification conformance.< >
The paper proposes a new pulse‐width‐modulation controlled AC/DC current source GTO converter circuit. The circuit operation and its performances are investigated. This converter has low harmonic content and does no...
The Flooding Casualty Control software (FCCS) was developed under the auspices of the Naval Sea systems Command (NavSea) and is currently being deployed on a variety of ships in the neets of both the U.S. Navy and the...
The Flooding Casualty Control software (FCCS) was developed under the auspices of the Naval Sea systems Command (NavSea) and is currently being deployed on a variety of ships in the neets of both the U.S. Navy and the U.S. Coast Guard. The primary objective of FCCS is to enable damage control personnel to identify critical stability conditions, especially when related to the loss of reserve buoyancy due to battle damage and the destabilizing effects of large quantities of firefighting water, in a timely manner. FCCS was initially deploved in 1990. It utilizes the standard algorithms of the Ship Hull Characteristics Program (SHCP). The user interface was designed to allow quick familiarity for shipboard users, primarily the damage control assistant (DCA) and his staff. Intact stability evaluations include the effects of topside icing, high winds, personnel crowding, heavy lifts over the side, high speed turns, and towing. FCCS also supports ballasting analysis for amphibious ships as well as providing bottom reaction and beached stability data for grounding incidents. Bv providing a tool for the ''fuel king'' and DCA to generate the required daily updates on the current ship load and liquids status, FCCS is assured of an accurate baseline in the event of damage. The design allows the evaluation of the ultimate ship stability status for a damage event using simple compartmentation and flooding status inputs. Evaluation of the adequacy of resulting stabilitv, as well as identification of such critical stability parameters as off center loading, margin line immersion, and negative GM, are accomplished by the program. Guidance is provided for the user to initiate appropriate flooding related damage control activities. Initially fitted on USS Oliver Hazard Perry Class frigates, FCCS databases have been for the USCG Hamilton class high endurance cutters, USS Arleigh Burke class Aegis destroyers, and a variety of other U.S. Navy and U.S. Coast Guard ship classes. The progra
As technology advances and our dependency on software increases, the requirement to develop the correct means to improve quality in both the deveiopment phase and the maintenance phase of software life cycle support b...
As technology advances and our dependency on software increases, the requirement to develop the correct means to improve quality in both the deveiopment phase and the maintenance phase of software life cycle support becomes increasingly significant. The focus of this paper is on the dilemma facing softwareengineering in maintaining quality within the constraints of the maintenance phase. The paper further proposes that the software maintenance process can also be analvzed and improved using statistical process control (SPC) techniques. The methods discussed in this paper have been proposed for use in the software Maintenance project at NUWC Detachment Norfolk. Upon successful testing at NUWC Detachment Norfolk, they will be forwarded to the AN/SQQ-89(V) (interagencv) software Quality Evaluation Committee for use by other agencies which are developing and maintaining AN/SQQ-89(V) software.
暂无评论