Web-Based Support for 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 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]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[2]  Grigore Rosu,et al.  Hidden Congruent Deduction , 1998, FTP.

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

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

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

[6]  T. Odlin Women, Fire, and Dangerous Things: What Categories Reveal about the Mind , 1988 .

[7]  Peter Padawitz,et al.  Swinging types=functions+relations+transition systems , 2000, Theor. Comput. Sci..

[8]  Grigore Rosu,et al.  Hiding More of Hidden Algebra , 1999, World Congress on Formal Methods.

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

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

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

[12]  G. Lakoff,et al.  Metaphors We Live by , 1982 .

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

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

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

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

[17]  James L. McClelland,et al.  Parallel distributed processing: explorations in the microstructure of cognition, vol. 1: foundations , 1986 .

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

[19]  Joseph A. Goguen,et al.  Hidden coinduction: behavioural correctness proofs for objects , 1999, Mathematical Structures in Computer Science.

[20]  Joseph A. Goguen,et al.  Towards an Algebraic Semantics for the Object Paradigm , 1992, COMPASS/ADT.

[21]  Razvan Diaconescu,et al.  Behavioural Coherence in Object-Oriented Algebraic Specification , 2000, J. Univers. Comput. Sci..

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

[23]  Grigore Rosu,et al.  Circular Coinduction , 2000 .

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

[25]  C. Linde Life Stories: The Creation of Coherence , 1993 .

[26]  W. Buxton Human-Computer Interaction , 1988, Springer Berlin Heidelberg.

[27]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

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

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

[30]  Lotfi A. Zadeh,et al.  Fuzzy logic = computing with words , 1996, IEEE Trans. Fuzzy Syst..

[31]  Joseph A. Goguen,et al.  A Hidden Herbrand Theorem , 1998, PLILP/ALP.

[32]  Michel Bidoit,et al.  Observer Complete Definitions are Behaviourally Coherent , 1999 .

[33]  Hartmut Ehrig,et al.  Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October, 26-30, 1992 : selected papers , 1994 .

[34]  C. Vogler The writer's journey : mythic structure for storytellers and screenwriters , 1999 .

[35]  Michel Bidoit,et al.  Observational Logic , 1998, AMAST.

[36]  E. Rosch ON THE INTERNAL STRUCTURE OF PERCEPTUAL AND SEMANTIC CATEGORIES1 , 1973 .

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

[38]  G. Lakoff,et al.  Women, Fire, and Dangerous Things: What Categories Reveal about the Mind , 1988 .

[39]  Samuel R. Buss,et al.  Incompleteness of Behavioral Logics , 2000, CMCS.

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

[41]  W. H. Ittelson Visual perception of markings , 1996, Psychonomic bulletin & review.

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

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

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

[45]  Grigore Ro Behavioral Coinductive Rewriting , 1999 .

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

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

[48]  Michel Bidoit,et al.  Observational Specifications and the Indistinguishability Assumption , 1995, Theor. Comput. Sci..

[49]  Ben Shneiderman,et al.  Designing the user interface (videotape) , 1987 .

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

[51]  Colin Potts,et al.  Design of Everyday Things , 1988 .