In this paper we briefly describe our work accomplished for the Eureka ECMA PCTE project. Our task was to define an object-oriented extension to the well-known and internationally standardized Portable Common Tool Env...
详细信息
This paper addresses the problem of semantic query reformulation in the context of object-oriented deductive databases. It extends the declarative object-oriented specifications of F-logic proposed by Kifer and Lausen...
详细信息
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.< >
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.< >
Any practical autonomous vehicle (AV) exists for a purpose, it is required to perform some set of tasks. The tasks represent components of any mission that the AV undertakes. A task level mission manager is responsibl...
详细信息
Any practical autonomous vehicle (AV) exists for a purpose, it is required to perform some set of tasks. The tasks represent components of any mission that the AV undertakes. A task level mission manager is responsible for ordering robot actions such that the robot can perform all its tasks and achieve its goals within a given time span. The field that addresses the above issues is known as 'knowledge based planning'. Knowledge based planning is concerned with the problems of automatically generating missions or plans. The techniques support reasoning with the handling of constraints, goals and tasks. One can predict future states with only some degree of certainty. This paper describes an implementation of fuzzy representations for uncertainty in knowledge based planning.< >
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.
The softwareengineering Institute’s (SEI) softwareengineering capability assessment method and the SEI’s Capability Maturity Model call specifically for training in certain areas. Training and education are a nece...
详细信息
暂无评论