This paper presents three types of primary program dependences in concurrent logic programs, and a dependence-based representation named the argument dependence net (ADN) to explicitly represent these program dependences in a concurrent logic program. The ADN can be used as an underlying representation for developing software engineering tools for concurrent logic programs.

This paper considers how support for concurrent engineering can be provided through the industrial deployment of informatics standards based upon Product Models. It draws on research conducted within the pan-European CIMsteel project, and will look beyond the first release of the CIMsteel Integration Standards (CIS/1.0) which are currently entering industrial deployment. The main focus of the p...

Many companies are creating mterdisciplmary concurrent engineering teams to collaborate on product development projects from dispersed locations. The problems these companies face stem from the lack of understanding of technical, organizational, and procedural requirements for such activities to take place effectively. This paper proposes an integrated conceptual model of the product life cycle...

Integrated simulation based design requires effective methods to gain all desired results. Concurrent engineering is a product development method, which integrates all the company’s functions. It brings together people, departments, software and many other functions so that their co-operation will work effectively. Integrating all the functions requires a lot both management and software. Manag...

Time to market, competition and manufacturing costs are only some of the reasons why concurrent engineering is an increasingly used methodology for product development. The present paper deals with a case study of universityindustry cooperation to develop an improved part for an automotive application, with three main concerns: economic, performance and environmental. Four universities gathered...

Concurrency annotations are inserted into otherwise sequential object-oriented code, inducing a concurrent semantics that is very close to the original sequential semantics. This facilitates integrated engineering of sequential and concurrent software, in particular reuse of code across the boundary between concurrency and sequentiality. Concurrency annotations also blend well with inheritance,...