Web-based multimedia support for distributed cooperative software engineering

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 system design, especially user interface issues, and sketch an extension of algebraic semiotics for interface dynamics.

[1]  Ben Shneiderman,et al.  Designing The User Interface , 2013 .

[2]  Joseph A. Goguen,et al.  Optimal Structures for Multimedia Instruction. Annual Technical Report. , 1984 .

[3]  Grigore Rosu,et al.  Circular coinductive rewriting , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[4]  Grigore Rosu,et al.  An Overview of the Tatami Project , 2000 .

[5]  J. Gibson.  The Ecological Approach to Visual Perception , 1979 .

[6]  G. A. Miller.  THE PSYCHOLOGICAL REVIEW THE MAGICAL NUMBER SEVEN, PLUS OR MINUS TWO: SOME LIMITS ON OUR CAPACITY FOR PROCESSING INFORMATION 1 , 1956 .

[7]  J. Goguen.  An introduction to algebraic semiotics, with application to user interface design , 1999 .

[8]  Joseph A. Goguen,et al.  Algebraic semantics of imperative programs , 1996, Foundations of computing series.

[9]  Joseph A. Goguen,et al.  HYPERPROGRAMMING: A Formal Approach to Software Environments , 1990 .

[10]  D. Blakemore.  Linguistics: The Cambridge Survey: The organization of discourse , 1988 .

[11]  F. Saussure,et al.  Course in General Linguistics , 1960 .

[12]  Grigore Rosu,et al.  A protocol for distributed cooperative work , 1999, Electron. Notes Theor. Comput. Sci..

[13]  FranceNicholas A. Merriam.  What is Wrong with GUIs for Theorem Provers ? , 1997 .

[14]  Razvan Diaconescu,et al.  Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification , 1998, AMAST Series in Computing.

[15]  Joseph A. Goguen.  Social and Semiotic Analyses for Theorem Prover User Interface Design 1 , 1999, Formal Aspects of Computing.

[16]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[17]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[18]  Tom Carey,et al.  Human-computer interaction , 1994 .

[19]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[20]  J. Goguen.  A Hidden Herbrand Theorem: Combining the Object, Logic and Functional Paradigms , 1998 .

[21]  Joseph A. Goguen,et al.  Software Engineering with Obj: Algebraic Specification In Action , 2010 .

[22]  Tetsuo Tamai,et al.  CAFE: An Industrial-Strength Algebraic Formal Method , 2000 .

[23]  D. Herman.  Life Stories: The Creation of Coherence , 1996 .

[24]  Joseph A. GoguenDepartment.  Towards a Social, Ethical Theory of Information 1 , 1997 .

[25]  J. Goguen.  L-fuzzy sets , 1967 .

[26]  Ferdinand de Saussure.  Course in General Linguistics , 1916 .

[27]  Joseph Campbell,et al.  The Hero with a Thousand Faces , 1949 .

[28]  Joseph A. Goguen,et al.  Types as theories , 1991 .