This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The rationale underlying the choices made by designers is recorded in a style based on the “Questions, Options, Criteria” notation. The means of capturing formal specifications and the reasoning behind design decisions are presented ...

This study aimed to describe language symbols having wider meaning, metaphoric and socio-cultural background of HAMKA’s biography novel. The method used was descriptive qualitative. Findings this showed that the consisted of: ikon, indek, simbol; aspect meaning conceptual meaning. Metaphoric reflected in rethorical utterance. Out 18 rethotical utterances, there were 12 rhetorical utterances whi...

The proposed paper concerns with fashion and clothing as visual semiotic signifiers of both the individual society in William Shakespeare's Tragedy Macbeth its representations other media: film (costume design) haute couture (fashion design). As such, language vestimentary frame tragedy are used tools for reading sociocultural anxieties between expressed through art. Given rich symbolic metapho...

BACKGROUND The modes of communication which patients use are seen as important within the sphere of palliative care and have been the focus of much research. AIM This literature review aims to identify and analyse one particular mode of patient expression, namely that of the figure of speech (trope) 'metaphor', and ask questions regarding metaphor's therapeutic usefulness when engaging with t...

We propose that there are four fundamental kinds of metaphor that are uniquely mapped onto specific brain ‘‘networks’’ and present preliterate (i.e., evolutionary, including before the appearance of written language in the historical record), prelinguistic (i.e., developmental, before the appearance of speech in human development), and extralinguistic (i.e., neuropsychological, cognitive) evide...

Safety properties of critical software are consequences of the application safety properties (i.e. the front collision of two trains must not occur), and of the system design choices. This paper presents the first results of a SNCF and CESIR join research project which purpose is to design a constructive and formal method to derive, at each design level, the safety properties of subsystems from...

Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of the development. They are, however, currently considerably less formal. We propose to draw on the mentioned similarities and transfer methods from software engineering to engineering design in order to enhance in particular the...

Two hypotheses were considered regarding the relationship between positive schizotypy and metaphor processing. On the basis of continuity between schizophrenia and schizotypy, high schizotypal individuals would be expected to be impaired at metaphor processing. However, given the right hemisphere processing bias that has been associated with positive schizotypy, they would be expected to be sup...

This paper presents a novel interface for 3D modeling in augmented reality, aiming at developing a form gradually in the early phase of a product design process. Previous VR/AR based modeling systems have focused largely on geometrical algorithms and system performance issues. From a designers’ perspective, this study analyzed the conventional form creating processes and developed a more intuit...