RESCUE is a concurrent engineering approach to the specification of operational requirements in the domain of air traffic management. In RESCUE, we build on use cases and scenarios, using work from human-computer interaction (HCI) and elsewhere in requirements engineering. Our aim is to provide some validation of the use case models through which requirements are elicited, and thereby obtain a ...

In the last decade, Thales Alenia Space started studying the transition of its own systems engineering methods from standard requirement and document based ones to innovative approaches taking care of concurrent engineering, enhanced collaboration, model based system engineering methods and tools and tool-chains for overall engineering environments. In the field of system architectures analysis...

With widely used concurrent and collaborative engineering technologies, the validity and consistency of product information become important. In order to establish the state of the art, this paper reviews emerging concurrent and collaborative engineering approaches and emphasizes on the integration of different application systems across product life cycle management (PLM) stages. It is reveale...

Boatbuilding is a growth market with global competition and tight profit margins. Concurrent engineering is not presently prevalent within the boatbuilding industry and yet this is a technique that has found much success in other industries. A methodology has therefore been developed to aid design in the leisure boatbuilding industry. This environment uses collaborative engineering and automate...

Product data management is an engineering oriented information system. Engineering change request, engineering change notice, and engineering change control workflow in a product data management system are usually utilized starting from the detail product design phase. Lack of guidelines to identify configuration items and design change control workflow is one of the major reasons for not using...

ion and Assume-guarantee Reasoning for Automated Software Verification S. Chaki, E. Clarke, D. Giannakopoulou, and C.S. Păsăreanu 1 Carnegie Mellon Software Engineering Institute 2 Carnegie Mellon University 3 RIACS, NASA Ames Research Center, Moffett Field, CA, USA 4 Kestrel Technology LLC, NASA Ames Research Center, Moffett Field, CA, USA Abstract. Compositional verification and abstraction a...

Research for reduced lead time and cost in concurrent process development (CPD) becomes crucial in new work organizations. Today, the concurrent processes involve more and more activities and work groups which must be efficiently coordinated. In this article, the authors propose a framework for structuring concurrent activities in order to improve the global performance (lead time, workload, ri...

Collaboration in cooperative information systems, like concurrent design and engineering, exploits common work and information spaces. In this paper we present the TOGA service (Transaction-Oriented Group and Coordination Service for Data-Centric Applicationsj and the Data Propagator CHAMPAGNE that together realize a shared information space that is controlled by a basic collaboration service. ...

A CASE tool for the support of collaborative work in sofhvare engineering processes is &scribed. The tool supports multiple, concurrent users who may be distributed over a network and who are engaged in group &sign deliberation on sofmre engineering projects. The approach underlying the tool is based on Rittel’s issue-based information systems, but new features have been added to support more d...