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 ...