Results 1 
7 of
7
Towards a social, ethical theory of information
 SOCIAL SCIENCE, TECHNICAL SYSTEMS AND COOPERATIVE WORK: BEYOND THE GREAT DIVIDE
, 1997
"... We seek to take some initial steps towards a theory of information that is adequate for understanding and designing systems that process information, i.e., information systems in a broad sense. Formal representations of information are needed in designing, using and maintaining such systems, espe ..."
Abstract

Cited by 40 (14 self)
 Add to MetaCart
We seek to take some initial steps towards a theory of information that is adequate for understanding and designing systems that process information, i.e., information systems in a broad sense. Formal representations of information are needed in designing, using and maintaining such systems, especially when they are computer based. However, it is also necessary to take account of social context, including how information is produced and used, not merely how it is represented; that is, we need a social theory of information. Ideas from ethnomethodology and semiotics, as well as logic and the sociology of science, are used to explore the nature of information.
Social and Semiotic Analyses for Theorem Prover User Interface Design
 Formal Aspects of Computing
, 1999
"... We describe an approach to user interface design based on ideas from social science, narratology (the theory of stories), cognitive science, and a new area called algebraic semiotics. Social analysis helps to identify certain roles for users with their associated requirements, and suggests ways to m ..."
Abstract

Cited by 19 (11 self)
 Add to MetaCart
We describe an approach to user interface design based on ideas from social science, narratology (the theory of stories), cognitive science, and a new area called algebraic semiotics. Social analysis helps to identify certain roles for users with their associated requirements, and suggests ways to make proofs more understandable, while algebraic semiotics, which combines semiotics with algebraic specification, provides rigorous theories for interface functionality and for a certain technical notion of quality. We apply these techniques to designing user interfaces for a distributed cooperative theorem proving system, whose main component is a website generation and proof assistance tool called Kumo. This interface integrates formal proving, proof browsing, animation, informal explanation, and online background tutorials, drawing on a richer than usual notion of proof. Experience with using the interface is reported, and some conclusions are drawn.
An Overview of the Tatami Project
, 2000
"... This paper describes the Tatami project at UCSD, which is developing a system to support distributed cooperative software development over the web, and in particular, the validation of concurrent distributed software. The main components of our current prototype are a proof assistant, a generator fo ..."
Abstract

Cited by 13 (8 self)
 Add to MetaCart
This paper describes the Tatami project at UCSD, which is developing a system to support distributed cooperative software development over the web, and in particular, the validation of concurrent distributed software. The main components of our current prototype are a proof assistant, a generator for documentation websites, a database, an equational proof engine, and a communication protocol to support distributed cooperative work. We believe behavioral specification and verification are important for software development, and for this purpose we use first order hidden logic with equational atoms. The paper also briefly describes some novel user interface design methods that have been developed and applied in the project
Algebraic Semiotics, ProofWebs, and Distributed Cooperative Proving
 Proceedings, User Interfaces for Theorem Provers
, 1997
"... : We describe a new approach to interface design called algebraic semiotics, combining semiotics with algebraic specification to give a rigorous theory of representation quality, and we apply it to the tatami distributed cooperative proving project. This project uses standard html, Java, etc. for r ..."
Abstract

Cited by 10 (9 self)
 Add to MetaCart
: We describe a new approach to interface design called algebraic semiotics, combining semiotics with algebraic specification to give a rigorous theory of representation quality, and we apply it to the tatami distributed cooperative proving project. This project uses standard html, Java, etc. for remote proof browsing, servers for remote proof execution, a protocol to maintain truth of distributed cooperative proofs, and a tool combining proof assistance with website editing. Its proof paradigm reduces theorems to problems solvable by proof servers. ProofWebs integrate browsing, execution, animation, and informal explanation with formal proofs, and their design has been driven by semiotic ideas. 1 Introduction The landscape of theorem proving can be seen as two main peaks with a great plane between. These peaks represent fully automatic theorem provers and proof checking theorem provers; the plane represents the difficulty of combining their virtues. The peaks are steep and dark bec...
Distributed Cooperative Formal Methods Tools
 In Proc. Automated Software Engineering. IEEE
, 1997
"... : 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 edito ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
: 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 semiotics with algebraic specification. Some examples are given. 1. Introduction Formal methods have been used to prove correctness of software, but this task is known to be difficult, for various reasons [5, 13]. New technologies  the internet, the web, multimedia, applets, etc.  offer exciting opportunities to reduce this difficulty that have not yet been much explored. We seek to build industrial strength formal method tools for distributed work by ordinary software engineers over the web, especially for concurrent systems. This involves several challenging subtasks, including a practical ...
Webbased support for cooperative software engineering
 Annals of Software Engineering
, 2001
"... recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems has led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems has led us into hidden algebra and fuzzy logic. This p ..."
Abstract

Cited by 7 (2 self)
 Add to MetaCart
recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems has led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems has led us into hidden algebra and fuzzy logic. This paper discusses the Tatami system design, especially its software architecture, and its user interface principles. New work in the latter area includes an extension of algebraic semiotics to dynamic multimedia interfaces, and integrating Gibsonian affordances with algebraic semiotics. 1
Steps towards a Design Theory for Virtual Worlds
"... Abstract Virtual worlds, construed in a broad enough sense to include textbased systems, as well as video games, new media, and user interfaces of all kinds, are increasingly important in scientific research, entertainment, communication, and art. However, we lack scientific theories that can adequ ..."
Abstract
 Add to MetaCart
Abstract Virtual worlds, construed in a broad enough sense to include textbased systems, as well as video games, new media, and user interfaces of all kinds, are increasingly important in scientific research, entertainment, communication, and art. However, we lack scientific theories that can adequately support the design of such virtual worlds, even in simple cases. Semiotics would seem a natural source for such theories, but this field lacks the precision needed for engineering applications, and also fails to addresses interaction and social issues, both of which are crucial for applications to communication and collaboration. This paper suggests an approach called algebraic semiotics to help solve these and related problems, by providing precise applicationoriented basic concepts such as sign, representation, and representation quality, and a calculus of representation that includes blending. This paper also includes some theory for narrative and metaphor, and case studies on information visualization, proof presentation, humor, and user interaction.