Unified dependability modeling and analysis consists of both functional and non-functional modeling and analysis techniques. Nowadays one of the most popular modeling techniques is UML. Functional properties of an UML model can be validated and verified by existing modeling tools. Checking of non-functional properties, like those related to dependability is of a growing importance while they ca...

Specifying virtual components at the behavioral level appears as the most promising solution to achieve a real efficiency of design reuse. In this paper we propose a methodology to specify and use Behavioral Level IP (BL-IP). Thus, IP designer tasks are easier due to the unified representation offered by this level of abstraction. The genericity of a behavioral IP permits efficient optimization...

In this paper, we propose a fuzzy model-based methodology to deal with various control objectives for discrete-time chaotic systems from a unified viewpoint. With intent to unify the design process, we introduce a new design concept called virtual-desired-variable synthesis. Then, both the chaotic control and chaotification are eventually treated as a stabilization problem. Consequently, the co...

We present a unified view of the two-party and multi-party computation protocols based on oblivious transfer first outlined in Nielsen et al and Larraia et al. We present a number of modifications and improvements to these earlier presentations, as well as full proofs of the entire protocol. Improvements include a unified pre-processing and online MAC methodology, mechanisms to pass between dif...

A kind of "unified theory" is proposed as a dynamic generalization of the standard consumersurplus methodology for evaluating welfare changes. The "unified theory" allows rigorous dynamic welfare comparisons to be inferred between any two economic situations-from just knowing current incomes and observing a short-run market demand schedule. Essentially, the change in present discounted future u...

Present information processing suffers from the lack of coordination among researches on new methods of solving information processing problems and non-interoperability of information processing systems. This thesis suggests a unified web-based bank of knowledge meant for coordinating researches on the new methods, supporting development of interoperable intelligent information-processing syste...

CBD (Component Based Development) methodology is a cost effective software development paradigm in which encapsulated software modules are assembled via interface to perform required functions. The CBD process directly applicable to general software development projects in conjunction with UML (Unified Modeling Language) based OOD (object-oriented development) methodology. However, special proj...

Important trends are emerging for the design of embedded systems: a) the use of highly programmable platforms, and b) the use of the Unified Modeling Language (UML) for embedded software development. We believe that the time has come to combine these two concepts into a unified embedded system development methodology. Although each concept is powerful in its own right, their combination magnifi...

Problem statement: Building UML diagrams is a very important and time consuming task for both requirements and design phases. However, some of these diagrams, such as use-case and class diagrams can be considered as a transition between the two phases. Approach: Through this study, the event table will be used to derive the use-case and class diagrams. Results: A new CASE tool to automate the p...

This paper presents a pedagogical evaluation of the framework SDDD (Soft Domain Driven Design) which encourages a “soft systems” approach to Domain-Driven Design. The framework combines techniques from Soft Systems Methodology (SSM) with notation from the Unified Modeling Language (UML) and the “Naked Objects” implementation pattern. The framework has been used in the delivery of a postgraduate...