Object-oriented programming techniques promote a new approach to software engineering. By revising "frameworks" of plug-compatible softwarecomponents [3], reliable, open applications can be largely construc...
详细信息
Object-oriented programming techniques promote a new approach to software engineering. By revising "frameworks" of plug-compatible softwarecomponents [3], reliable, open applications can be largely constructed, rather than programmed. Although the dream of a components-based software industry is very old [9], it is only recently that we appear close to realizing the dream. The reason for this is twofold:
The component-oriented software development can greatly improve the implementation efficiency and ease the extensibility and maintenance of large engineering software. In this paper, a prototype component-oriented sof...
详细信息
The component-oriented software development can greatly improve the implementation efficiency and ease the extensibility and maintenance of large engineering software. In this paper, a prototype component-orientedsoftware system for structural analysis using the finite element method is presented. The prototype program is completely based on the component object model that enables the development of modular, object-oriented, customizable and upgradable, distributed programming systems using a number of different programming languages. (C) 2004 Civil-Comp Ltd and Elsevier Ltd. All rights reserved.
A component-orientedsoftware system, *** (image-based biomechanical modeling) is proposed for generation of patient-specific finite element model. It applies a systematic software engineering approach to patient/subj...
详细信息
A component-orientedsoftware system, *** (image-based biomechanical modeling) is proposed for generation of patient-specific finite element model. It applies a systematic software engineering approach to patient/subject-specific meshing and assignment of material properties. The prototype program is based on the component object model (COM), which enables ease of combination of existing mesh generation algorithms and material property assignment schemes, and incorporation of new ones. It also facilitates utilization by other programming languages or platforms. Data input comprises a series of medical images captured from the patient. The output is a patient-specific finite element model for computational analysis using commercially available finite element software. The prototype software system provides a framework to compare the different finite element mesh generation methods as well as schemes for material property assignment. Our focus is on patient/subject-specific modeling of the human vertebrae. (C) 2008 Elsevier Ltd. All rights reserved.
We are in the midst of a paradigm shift toward component-oriented software development, and significant progress has been made in understanding and harnessing this new paradigm. Oddly enough. however, the new paradigm...
详细信息
We are in the midst of a paradigm shift toward component-oriented software development, and significant progress has been made in understanding and harnessing this new paradigm. Oddly enough. however, the new paradigm does not currently extend to the level at which components themselves are constructed. While we have composition architectures and languages that describe how systems are put together out of atomic program parts, the parts themselves are still constructed on the basis of a previous paradigm: object-oriented programming. We argue that this mismatch impedes the progress of compositional software design: many of the assumptions that underlie object-oriented languages simply do not apply in the open and dynamic contexts of componentsoftware environments. What, then, would a programming language that supported component-oriented programming at the smallest granularity look like? Lagoona, our project to develop such a language, tries to answer this question. This paper motivates the key concepts behind Lagoona and briefly describes their realization (using Lagoona itself as the implementation language) in the context of Microsoft's NET environment. (c) 2004 Elsevier B.V. All rights reserved.
This paper reports as a case study an attempt to model check the control subsystem of an operational NASA robotics system. Thirty seven properties including both safety and liveness specifications were formulated for ...
详细信息
This paper reports as a case study an attempt to model check the control subsystem of an operational NASA robotics system. Thirty seven properties including both safety and liveness specifications were formulated for the system. Twenty two of the thirty seven properties were successfully model checked. Several significant flaws in the original software system were identified and corrected during the model checking process. The case study presents the entire process in a semi-historical mode. The goal is to provide reusable knowledge of what worked, what did not work and why.
Object-orientation offers more than just objects, classes and inheritance as means to structure applications. It is an approach to application development in which software systems can be constructed by composing and ...
详细信息
Object-orientation offers more than just objects, classes and inheritance as means to structure applications. It is an approach to application development in which software systems can be constructed by composing and refining pre-designed, plug-compatible softwarecomponents. But for this approach to be successfully applied, programming languages must provide better support for component specification and software composition, the softwaredevelopment life-cycle must separate the issues of generic component design and reuse from that of constructing applications to meet specific requirements, and, more generally, the way we develop, manage, exchange and market software must adapt to better support large-scale reuse for software communities. In this paper we shall explore these themes and we will highlight a number of key research directions and open problems to be explored as steps towards improving the effectiveness of object technology.
暂无评论