Since the mid-1970s, and with the development of each new programming paradigm there has been an increasing interest in exceptions and the benefits of exception handling. With the move towards programming for ever mor...
详细信息
Since the mid-1970s, and with the development of each new programming paradigm there has been an increasing interest in exceptions and the benefits of exception handling. With the move towards programming for ever more complex architectures, understanding basic facilities such as exception handling as an aid to improving program reliability, robustness and comprehensibility has become much more important. Interest has sparked the production of many papers both theoretical and practical, each giving a view of exceptions and exception handling from a different standpoint. In an effort to provide a means of classifying exception handling models which may be encountered, a taxonomy is presented in this paper. As the taxonomy is developed some of the concepts of exception handling are introduced and discussed. The taxonomy is applied to a number of exception handling models in some contemporary programming languages and some observations and conclusions offered.
In this paper we present some ideas on the functionality that should be incorporated into an object-oriented distributed system to support distributed and parallel programming. The work is based on practical experienc...
详细信息
In this paper we present some ideas on the functionality that should be incorporated into an object-oriented distributed system to support distributed and parallel programming. The work is based on practical experience in developing several substantial distributed and parallel applications on the Amadeus platform. Related work in the area is sketched.
The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potentially large number of subsumed paths i...
详细信息
Two major challenges with requirement analysis in concurrent engineering are: (1) requirements from multiple members of a concurrent engineering team are often conflicting with each other;and (2) requirements are ofte...
详细信息
Two major challenges with requirement analysis in concurrent engineering are: (1) requirements from multiple members of a concurrent engineering team are often conflicting with each other;and (2) requirements are often imprecise in nature. Existing formal methods for requirement engineering are very limited in addressing these issues. More specifically, they have not fully explored the use of artificial intelligence technique for achieving effective trade-offs among conflicting imprecise requirements. This paper presents a comprehensive methodology for specifying imprecise requirements and for characterizing complex relationships among them to facilitate trade-off analysis. Imprecise requirements are represented by the canonical form in test-score semantics in fuzzy logic. A formal approach and a practical method are developed to analyze the complex relationships between requirements. Conflicting requirements can be identified and represented using both qualitative terms and quantitative measures. Multiple requirements with complex relationships among them are fused into an overall system requirement based on fuzzy multi-criteria decision techniques. To obtain a feasible overall system requirement that is satisfactory to customers, the iterative refinement of requirements and the negotiation between the customers and the requirement analysts regarding conflicting requirements are crucial. Our methodology supports the iterative process of refinement end negotiation by facilitating a formal trade-off analysis, by providing intelligent feedbacks generated based on the analysis, and by defining a clear process of compromise. Therefore, this methodology can help to achieve a better system objective that is satisfactory to customers and feasible to developers by fully exploiting the elasticity of imprecise requirements. In addition, the explicit specification of imprecise requirements provides a basis for verification and validation of software systems.
作者：
Wabnig, H.Haring, G.University of Vienna
Institute of Applied Computer Science and Information Systems Department of Advanced Computer Engineering Lenaugasse 2/8 ViennaA-1080 Austria
In the PAPS-parallel program performance prediction toolset-parallel systems are specified by the structure of the parallel program, the multiprocessor hardware, and the mapping of the program elements to processor no...
详细信息
The use of versioned data has proven its value in many areas of computerscience including concurrency control. In this paper we examine the use of versioned objects in object bases for the purpose of enhancing concur...
详细信息
Statecharts are used to produce operational specifications in the CASE tool STATEMATE. This tool provides some analysis capabilities such as reachability of states, but formal methods offer the potential of linking mo...
详细信息
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it is still the case that the vast majori...
详细信息
The last several years have witnessed the introduction of a number of resource discovery systems to the Internet. Archie, Gopher, and the World-Wide Web are common examples which have achieved widespread popularity. T...
The last several years have witnessed the introduction of a number of resource discovery systems to the Internet. Archie, Gopher, and the World-Wide Web are common examples which have achieved widespread popularity. These systems are typically categorized as either searchers, or browsers, depending upon their approach to the information discovery *** methodologies have their respective strengths and weaknesses. However, neither approach appears to be fully capable of dealing with the increased demands of a rapidly expanding global network and burgeoning volume of data. Future Internet growth will only exacerbate this problem. A resource discovery system better suited to cope with the observed trends in Internet growth would ideally combine the most effective elements of both types of discovery *** paper describes one approach to such a hybrid resource discovery system. We focus on addressing specific shortcomings of current discovery paradigms and on the issues involved in locating and presenting high-quality information.
暂无评论