Designing the user interface (videotape)
Designing the user interface (videotape)
Parallel distributed processing: explorations in the microstructure of cognition, vol. 1: foundations
Intelligence without representation
Artificial Intelligence
Topology and category theory in computer science
Towards an algebraic semantics for the object paradigm
Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
Observational specifications and the indistinguishability assumption
Theoretical Computer Science
Theoretical Computer Science
Swinging types = functions + relations + transition systems
Theoretical Computer Science
Software Engineering Economics
Software Engineering Economics
Algebraic Semantics of Imperative Programs
Algebraic Semantics of Imperative Programs
Human-Computer Interaction
PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Circular Coinductive Rewriting
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Circular Coinduction
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
An introduction to algebraic semiotics, with application to user interface design
Computation for metaphors, analogy, and agents
Fuzzy logic = computing with words
IEEE Transactions on Fuzzy Systems
Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ
Proceedings of the 16th IEEE international conference on Automated software engineering
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method
Electronic Notes in Theoretical Computer Science (ENTCS)
Concepts, model and framework of cooperative software engineering
CSCWD'04 Proceedings of the 8th international conference on Computer Supported Cooperative Work in Design I
An open environment for compositional software development
ISPA'06 Proceedings of the 2006 international conference on Frontiers of High Performance Computing and Networking
| Hi-index | 0.00 |
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 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.