Now showing items 1-10 of 894
Sources of inspiration in industrial practice: The case of knitwear design.
(Delft University Press / Inderscience, 2003-08-01)
Comparative study of design with application to engineering design.
(Design Society, 2005)
A recent exploratory study examines design processes across domains and compares them. This is achieved through a series of interdisciplinary, participative workshops. A systematic framework is used to collect data from ...
Keeping an eye on the game: Eye gaze interaction with massively multiplayer online games and virtual communities for motor impaired users.
Online virtual communities are becoming increasingly popular both within the able-bodied and disabled user communities. These games assume the use of keyboard and mouse as standard input devices, which in some cases is ...
The spiral of applied research: a methodological view on integrated design research.
(Design Society, 2003-08-15)
Design covers a wide range of human activities. It is inherently multi-facetted, multi-layered and complex. Design research serves the dual purpose of understanding the phenomenon of design and improving particular aspects ...
Program analysis by formal transformation
This paper treats Knuth and Szwarcfiter’s topological sorting program, presented in their paper “A structured program to generate all topological sorting arrangements” (Knuth and Szwarcfiter 1974), as a case study for the ...
Ambiguity is a double-edged sword: Similarity references in communication.
(Design Society, 2003-08-19)
Designers often explain new concepts and new ideas by reference to existing designs. This is parsimonious, as it only requires a pointer to the referent and a description of the modifications. Such descriptions can be ...
Assembler to C migration using the FermaT transformation system
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal transformation engine with many applications ...
Formal methods to aid the evolution of software.
There is a vast collection of operational software systems which are vitally important to their users, yet are becoming increasingly difficult to maintain, enhance and keep up to date with rapidly changing requirements. ...
Using PVS for Interval Temporal Logic proofs, part 1: The syntactic and semantic encoding
Interval temporal logic (ITL) is a logic that is used to specify and reason about systems. The logic has a powerful proof system but rather than doing proofs by hand, which is tedious and error prone, we want a tool that ...
Risk across design domains.
(Professional Engineering Publishers, 2005)
Design processes involve risk: to life and limb if the product is unsafe, to the financial health of the company if the product is late, unsuccessful or simply the wrong product, as well as to the emotions and careers of ...