In the last few years, researchers have begun to study novel human communication systems in the laboratory (Experimental Semiotics, ES). The first goal of this article is to provide a primer to ES, which we will do by reviewing the experimental paradigms developed by experimental semioticians, as well as the main research themes that have emerged in the discipline. A second goal is to illustrat...

This paper presents semiotics as a framework for unders tanding and designing computer systems as sign systems. Although semiotic methods can be applied to all levels of computer systems, they view computer systems under a particular perspective, namely as targets of interpretations. When we need to see c o m p u t e r systems as automata, semiotics has little to offer. The main focus of the pa...

Designers are among those professionals who have shown a first and continued interest in the modern revival of semiotics. In search of a theory for a field of human practice characterized by a lack of conceptual discipline, designers, especially those formed in the Ulm School tradition, were willing to adopt semiotics as their theory, provided that semioticians pay attention to critical problem...

This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over the web. Our tools include a proof editor/assistant, servers for remote proof execution, a distributed truth protocol, an editor generator, and a new method for interface design called algebraic semiotics, which combines semiot...

In article authors put forward a hypothesis about existence special semiotics system in music, which is close on the structure and mechanisms to a natural language. To check the hypothesis we have selected the ancient Russian chants of XI-XVII centuries, written by Znamenny notation. Using "lingvomusical" analogies and allocation of the corresponding semiotics designs allowed applying linguisti...

Software Evolution is a fact in industrial life. More than that, maintenance is one of the most expensive phases on software life cycle. Additionally, social and organizational aspects are increasingly gaining greater importance for information systems development. In this context, Organizational Semiotics has been considered a promising tool, providing the framework MEASUR for requirements gat...

The Tatami project is building a system to support software engineering over the internet, exploiting recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems led us into hidden algebra. We discuss the Tatami sys...

Sometimes, in order to mature, a methodology operates outside the mainstream for a period of time; it becomes the mainstream methodology only after this phase. This happened, for example, with neural networks, which appeared in the early 60's, but became the mainstream in research only 25 years later, after the development of the backpropagation algorithm as its learning algorithm. It happened ...

A man in a hut high above the North Wales coast points his telescope towards a similar hut 15 km to the west. He suddenly sees an array of shapes being hoisted up a mast above the hut. He notes the shapes and the angles of their display and creates the same array on the mast above his hut. And 15 km to the east someone is carefully watching and will repeat the display. This is the 1820s and the...