Within the compound project KorSo our team is concerned withthe research on techniques and methods for the development of reliable information systems on the basis of formal specifications. Our work focuses on the sp...
详细信息
this paper describes an approach for structuring ideas during software development. We design an ad hoc conversational model, which based on Issue-Based Information System (IBIS) model, to capture the ideas in the pha...
详细信息
ISBN:
(纸本)0780312333
this paper describes an approach for structuring ideas during software development. We design an ad hoc conversational model, which based on Issue-Based Information System (IBIS) model, to capture the ideas in the phases of object-oriented analysis and object-oriented design (OOA/OOD). Issue based system has been developed for collaborating on complex design problems, and object oriented approach is considered as the new methodology for fighting against the challenges of developing complex softwaresystems. We propose a new approach that is combining IBIS model and object-oriented method for idea processing in computer-aided software design.
the representation of complex objects and behaviors (state transitions) in information systems is a central issue in softwareengineering. In an information system, supported by a conventional database, the only avail...
详细信息
To guarantee the correctness of hard real-time softwaresystems, it is necessary to have a priori knowledge of the deterministic execution times of the system components. Timing schema are formulae based on source pro...
详细信息
ISBN:
(纸本)0780312333
To guarantee the correctness of hard real-time softwaresystems, it is necessary to have a priori knowledge of the deterministic execution times of the system components. Timing schema are formulae based on source program elements to calculate the execution time of programs. Deterministic timing schema or formulae are proposed in this paper for predicting the best and worst case execution times of parallel and distributed programs. the total execution time is computed from the schema provided for a variety of parallel program constructs for shared variable interactions through critical sections and, general semaphores, and for distributed message passing and remote procedure calls. As an initial attempt to validate the proposition, we have conducted a series of experiments on a shared memory multiprocessor (tightly coupled) system. In one of such experiments involving simplest process structures, where no process interactions occur except to synchronize the initiation and termination of processes, the timing schema based approach has been shown to exhibit safe and reasonably tight predictions. the representative implementations that obey the schema and the methods of incorporating some of the underlying hardware contentions and indeterminacies have also been studied. Predictable timing behaviour in concurrent systems is indeed a possibility using the schema approach.
A great many distributed applications have a client-server architecture, and many more are being planned, including transaction processing systems, network services, and computational services. Almost all systems base...
详细信息
Our goal is to overview the Application Programming Interface (API) we have developed to allow for the integration of Smalltalk-80 applications with Unix spreadsheets. We first present two motivating examples and summ...
详细信息
Our goal is to overview the Application Programming Interface (API) we have developed to allow for the integration of Smalltalk-80 applications with Unix spreadsheets. We first present two motivating examples and summarize the relevance of spreadsheets for Smalltalk applications. Our contention is that two omnipresent but cumbersome tasks of Smalltalk applications can be efficiently handled by a spreadsheet, namely the driving and the monitoring of an application. We overview the implementation of our API in order to demonstrate that the Smalltalk-80 programming environment is easily integratable with other Unix applications, and to emphasize the benefits of such a potential for integration.< >
Modular neural networks integrate several neural networks and possibly standard processing methods. Tackling such models is a challenge, since various modules have to be combined, either sequentially or in parallel, a...
详细信息
ISBN:
(纸本)0819412015
Modular neural networks integrate several neural networks and possibly standard processing methods. Tackling such models is a challenge, since various modules have to be combined, either sequentially or in parallel, and the simulations are time critical in many cases. For this, specific tools are prerequisite that are both flexible and efficient. We have developed the MONNET software system that supports the investigation of complex modular models. the design of MONNET is based on the object oriented paradigm, the environment is C++/UNIX. the basic concepts are dynamic modularity, object passing, scalability, reusability, and extensibility. MONNET features flexible and compact definition of complex simulations, and minimal overhead in order to run computationally demanding simulations efficiently.
Although reuse is recognized as a promising approach to producing cheaper and better software, the industrial penetration of reuse methodology has not been impressive. Generally, reuse is restricted to localized conte...
详细信息
Although reuse is recognized as a promising approach to producing cheaper and better software, the industrial penetration of reuse methodology has not been impressive. Generally, reuse is restricted to localized contexts, i.e. within a project team or potentially within a small company. the REBOOT project addresses the problem of supporting massive inter-group reuse from a library with a large number of components, and in this paper we discuss in particular the specific technical problems resulting from the size of the library. the first prototype version of the REBOOT reuse environment is finished, and is now being evaluated.< >
Due to the complexity of the issues affecting the performance of concurrency control algorithms in database systems most studies adopt different approaches and make different assumptions. We propose the use of a unifi...
详细信息
Due to the complexity of the issues affecting the performance of concurrency control algorithms in database systems most studies adopt different approaches and make different assumptions. We propose the use of a unified mean value analytic approach to the performance analysis of concurrency control algorithms. In this paper, we apply this modeling approach to analyze the performance of time-stamp ordering algorithms. We then compare our results withthose reported on two-phase locking and optimistic algorithms, and generate several conclusions and recommendations.< >
software reuse is composed of two phases: a phase to select software products corresponding to the given need and a phase to adapt those projects. the first phase may be suitably fulfilled by an Information Retrieval ...
详细信息
software reuse is composed of two phases: a phase to select software products corresponding to the given need and a phase to adapt those projects. the first phase may be suitably fulfilled by an Information Retrieval System, but since semantics play an essential role in software reuse applications, the central notion of keyword of classic Information Retrieval systems needs to be replaced. this paper presents a new approach to Information Retrieval based on semantics which is particularly appropriate for software reuse. An automated method is described to derive a semantic representation of the products from their documentation, and an intelligent retrieval process based on the use of knowledge is designed to broaden the retrieval scope.< >
暂无评论