It is pointed out that what concurrent engineering contributed to industry is that our knowledge is non-physical so that it can be shared. Although traditional concurrent engineering contributed very greatly in reducing time to market and reducing cost, it only paid attention to 1 dimension, i.e. time. But if we expand concurrent engineering into 2 dimensions, i.e. time and space, we can integr...

The principal problem in protocol verification is state explosion problem. In our work (W.C. Liu, C.G. Chung, Path-based Protocol Verification Approach, Technical Report, Department of Computer Science and Information Engineering, National Chiao-Tung University, Hsin-Chu, Taiwan, ROC, 1998), we have proposed a “divide and conquer” approach to alleviate this problem, the path-based approach. Thi...

A concurrent engineering-oriented design database representation model (CE-DDRM) is introduced in this research for supporting various life-cycle aspects in concurrent design. In this model, concepts and behaviors of different design database modeling components, including entities, properties, relationships, tasks, and specifications, are defined at meta-class level. Design database is modeled...

How to design a security engineering process that can cope with the dynamic evolution of Future Internet scenarios and the rigidity of existing system engineering processes? The SecureChange approach is to orchestrate (as opposed to integrate) security and system engineering concerns by two types of relations between engineering processes: (i) vertical relations between successive security-rela...

In this paper, a number of options and issues are illustrated which companies and organizations seeking to incorporate environmental issues in product design and realization should consider. A brief overview and classification of a number of approaches for reducing the environmental impact is given, as well as their organizational impact. General characteristics, representative examples, and in...

paper describes a knowledge-based approach to automate CODARTS, a software design method for concurrent and real-time systems. The approach uses multiple paradigms to represent knowledge embedded within CODARTS. Semantic data modeling provides the means to model specifications and related designs. A specification meta-model enables automated inferences about the presence of semantic concepts wi...

One of the most significant impacts on product development in recent years has been made by the application of data management techniques, which are known as product data management, engineering data management, engineering documentation management, and integrated product data management. The initial objective of applying these techniques was to provide methods for the storage and retrieval of ...

A general account is given of the problem frames approach to the development of software-intensive systems, assuming that the reader is already familiar with its basic ideas. The approach is considered in the light of the long-standing aspiration of software developers to merit a place among practitioners of the established branches of engineering. Some of its principles are examined, and some ...