In this paper I intend to examine several epistemological difficulties one quite naturally encounters within traditional semiotics, especially when trying to apply it to design (industrial design and product semantics in particular). Disciplines Communication This book chapter is available at ScholarlyCommons: http://repository.upenn.edu/asc_papers/295

This paper illustrates the rationale behind the second international workshop on Aesthetic Intelligence. The workshop addresses the multiple facets of aesthetics in the design process of Ambient Intelligence technologies, especially in the fields of architecture, industrial and interface design as well as human-computer interaction.

Over the past nine years, the Formal Methods Group at the IBM Haifa Research Laboratory has made steady progress in developing tools and techniques that make the power of model checking accessible to the community of hardware designers and verification engineers, to the point where it has become an integral part of the design cycle of many teams. We discuss our approach to the problem of integr...

A well-defined design methodology supported by a system-level design language (SLDL) is the key for managing the complexity of the design flow, especially at the system level. Only with well-defined and unambiguous models and transformations can we achieve productivity gains through synthesis, verification and tool interoperability. This paper presents the SpecC system design methodology. It sh...

During their time in university, students of industrial design are typically trained to improve the appearance, function and value of products. This product-centric focus of the industrial designer’s work is often blamed for the proliferation of unnecessary products in the market and the promotion of such wasteful values as rapid obsolescence and conspicuous consumption. In this paper, the usua...

This paper presents our work in collecting and formalizing data about dynamic engineering design processes in microelectronics design projects. The paper reports on our experience in evaluating the design process knowledge acquisition routine by applying it to the real industrial project of Cadence Design Systems, GmbH. The methodology is based on the usage of the ontologies developed in the PS...

Robotics researchers increasingly agree that ideas from biology and self-organization can strongly benefit the design of autonomous robots. Biological organisms have evolved to perform and survive in a world characterized by rapid changes, high uncertainty, indefinite richness, and limited availability of information. Industrial robots, in contrast, operate in highly controlled environments wit...