Social and Semiotic Analyses for Theorem Prover User Interface Design

Formal Aspects of Computing

Volumn 11, Issue 3, 1999, Pages 272-301

  Goguen, Joseph ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Algebraic semiotics; Algebraic specification; CSCW; Narratology; Semiotics; Sociology; Theorem proving; User interface design

Indexed keywords

EID: 0041597615     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650050051     Document Type: Article

References (66)

1. Bailey, R.: Human Performance Engineering. Prentice-Hall, 1996.
2. Campbell, J.: The Hero with a Thousand Faces. Princeton, 1973. Bollingen series.
3. Clavel, M., Eker, S., Lincoln, P. and Meseguer, J.: Principles of Maude. In José Meseguer, editor, Proceedings, First International Workshop on Rewriting Logic and its Applications. Elsevier Science, 1996. Volume 4, Electronic Notes in Theoretical Computer Science.
4. CoFI.: CASL summary, 1998. http://www.brics.dk/Projects/CoFi/.
5. Diaconescu, R.: Behavioural coherence in object-oriented algebraic specification. Technical Report IS-RR-98-0017F, Japan Advanced Institute for Science and Technology, June 1998. Submitted for publication.
6. Diaconescu, R. and Futatsugi, K.: Logical semantics for CafeOBJ. Technical Report IS-RR-96-0024S, Japan Advanced Institute for Science and Technology, 1996.
7. Diaconescu, R. and Futatsugi, K.: CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. World Scientific, 1998. AMAST Series in Computing, volume 6.
8. Fauconnier, G. and Turner, M.: Conceptual projection and middle spaces. Technical Report 9401, University of California at San Diego, 1994. Dept. of Cognitive Science.
9. Field, S.: Screenplay: The Foundations of Screenwriting. Dell, 1982. Third edition.
10. Futatsugi, K., Goguen, J., Jouannaud, J.-P. and Meseguer, J.: Principles of OBJ2. In Brian Reid, editor. Proceedings, Twelfth ACM Symposium on Principles of Programming Languages, pages 52-66. Association for Computing Machinery, 1985.
11. Futatsugi, K. and Nakagawa, A.: An overview of Cafe specification environment. In Proceedings, ICFEM'97, University of Hiroshima, 1997.
12. Garfinkel, H.: Studies in Ethnomethodology. Prentice-Hall, 1967.
13. Goguen, J.: The logic of inexact concepts. Synthese, 19:325-373, 1968-69.
14. Goguen, J.: Principles of parameterized programming. In Ted Biggerstaff and Alan Perlis, editors. Software Reusability, Volume I: Concepts and Models, pages 159-225. Addison Wesley, 1989.
15. Goguen, J.: On notation (a sketch of the paper). In Boris Magnusson, Bertrand Meyer, and Jean-Francois Perrot, editors, TOOLS 10: Technology of Object-Oriented Languages and Systems, pages 5-10. Prentice-Hall, 1993. The extended version of this paper may be obtained from http://www.cs.ucsd.edu/users/goguen/ps/notn.ps.gz.
16. Goguen, J.: Requirements engineering as the reconciliation of social and technical issues. In Marina Jirotka and Joseph Goguen, editors, Requirements Engineering: Social and Technical Issues, pages 165-200. Academic, 1994.
17. Goguen, J.: An empirical study of distributed cooperative verification, 1997. Unpublished draft manuscript, Dept. Computer Science & Engineering, UCSD.
18. Goguen, J.: Towards a social, ethical theory of information. In Geoffrey Bowker, Leigh Star, William Turner, and Les Gasser, editors, Social Science, Technical Systems and Cooperative Work: Beyond the Great Divide, pages 27-56. Erlbaum, 1997.
19. Goguen, J.: An introduction to algebraic semiotics, with applications to user interface design. In Chrystopher Nehaniv, editor, Computation for Metaphors, Analogy and Agents. Springer, 1999. Lecture Notes in Artificial Intelligence, volume 1562, pages 242-291.
20. Goguen, J.: First order logic. In Theorem Proving and Algebra. MIT, to appear. This chapter can be obtained from http://www.cs.ucsd.edu/users/goguen/ps/tp/ fol.ps.gz.
21. Goguen, J. and Futatsugi, K.: Semiotic redesign of a specification language. in preparation.
22. Goguen, J., Lin, K., Mori, A., Roşu, G. and Sato, A.: Distributed cooperative formal methods tools. In Michael Lowry, editor. Proceedings, Automated Software Engineering, pages 55-62. IEEE, 1997.
23. Goguen, J. and Linde, C.: Optimal structures for multi-media instruction. Technical report, SRI International, 1984. To Office of Naval Research, Psychological Sciences Division.
24. Goguen, J. and Linde, C.: Techniques for requirements elicitation. In Stephen Fickas and Anthony Finkelstein, editors, Requirements Engineering '93, pages 152-164. IEEE, 1993. Reprinted in Software Requirements Engineering (Second Edition), ed. Richard Thayer and Merlin Dorfman, IEEE Computer Society, 1996.
25. Goguen, J. and Linde, C.: Techniques for requirements elicitation. In Stephen Fickas and Anthony Finkelstein, editors, Requirements Engineering '93, pages 152-164. IEEE, 1993. Reprinted in Software Requirements Engineering (Second Edition), ed. Richard Thayer and Merlin Dorfman, IEEE Computer Society, 1996.
26. Goguen, J. and Malcolm, G.: Algebraic Semantics of Imperative Programs. MIT, 1996.
27. Goguen, J. and Malcolm, G.: More higher order programming in OBJ3. In Joseph Goguen and Grant Malcolm, editors, Software Engineering with OBJ: Algebraic specification in action. Kluwer, to appear 1999.
28. Goguen, J. and Malcolm, G.: A hidden agenda. Theoretical Computer Science, to appear 1999. Also UCSD Dept. Computer Science & Eng. Technical Report CS97-538, May 1997.
29. Goguen, J. and Meseguer, J.: Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105(2):217-273, 1992. Drafts exist from as early as 1985.
30. Goguen, J., Thatcher, J. and Wagner, E.: An initial algebra approach to the specification, correctness and implementation of abstract data types. In Raymond Yeh, editor, Current Trends in Programming Methodology, IV, pages 80-149. Prentice-Hall, 1978.
31. Goguen, J., Thatcher, J., Wagner, E. and Wright, J. Initial algebra semantics and continuous algebras. Journal of the Association for Competing Machinery, 24(1):68-95, January 1977. An early version is "Initial Algebra Semantics", by Joseph Goguen and James Thatcher, IBM T.J. Watson Research Center, Report RC 4865, May 1974.
32. Goguen, J., Thatcher, J., Wagner, E. and Wright, J. Initial algebra semantics and continuous algebras. Journal of the Association for Competing Machinery, 24(1):68-95, January 1977. An early version is "Initial Algebra Semantics", by Joseph Goguen and James Thatcher, IBM T.J. Watson Research Center, Report RC 4865, May 1974.
33. Goguen, J. and Tracz, W.: An implementation-oriented semantics for module composition. In Gary Leavens and Murali Sitaraman, editors, Foundations of Component-based Systems. Cambridge, 1999. To appear.
34. Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K. and Jouannaud, J.-P.: Introducing OBJ. In Joseph Goguen and Grant Malcolm, editors, Software Engineering with OBJ: Algebraic specification in action. Kluwer, to appear 1999. Also Technical Report SRI- CSL-88-9, August 1988, SRI International.
35. Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K. and Jouannaud, J.-P.: Introducing OBJ. In Joseph Goguen and Grant Malcolm, editors, Software Engineering with OBJ: Algebraic specification in action. Kluwer, to appear 1999. Also Technical Report SRI-CSL-88-9, August 1988, SRI International.
36. Guttag, J., Horning, J. and Wing, J.: Larch in five easy pieces. Technical Report 5, Digital Equipment Corporation, Systems Research Center, July 1985.
37. Hamel, L.: Behavioural Verification and Implementation of an Optimizing Compiler for OBJ3. PhD thesis, Oxford University Computing Lab, 1996.
38. Hiraga, M. K.: Diagrams and metaphors: Iconic aspects in language. Journal of Pragmatics, 22:5-21, 1994.
39. Jepson, B. and Hughes, D.: Official Guide to Mini SQL 2.0. Free Press, 1995.
40. Labov, W.: Language in the Inner City. University of Pennsylvania, 1972.
41. Labov, W.: Sociolinguistic Patterns. University of Pennsylvania, 1972.
42. Labov, W.: The transformation of experience in narrative syntax. In Language in the Inner City, pages 354-396. University of Pennsylvania, 1972.
43. Livingston, E.: The Ethnomethodology of Mathematics. Routledge & Kegan Paul, 1987.
44. Merriam, N. and Harrison, M.: What is wrong with GUIs for theorem provers? In Yves Bartot, editor, Proceedings, User Interfaces for Theorem Provers, pages 67-74. INRIA, 1997. Sophia Antipolis, 1-2 September 1997.
45. Miller, G. A.: The magic number seven, plus or minus two: Some limits on our capacity for processing information. Psychological Science, 63:81-97, 1956.
46. Padawitz, P.: Towards the one-tiered design of data types and transition systems. In Proceedings, WADT'97, pages 365-380. Springer, 1998. Lecture Notes in Computer Science, Volume 1376.
47. Padawitz, P.: Swinging types = functions + relations + transition systems. To appear, Theoretical Computer Science, 2000.
48. Peirce, C. S.: Collected Papers. Harvard, 1965. In 6 volumes; see especially Volume 2: Elements of Logic.
49. Peirce, C. S.: Collected Papers. Harvard, 1965. In 6 volumes; see especially Volume 2: Elements of Logic.
50. Petre, M. and Price, B.: Why computer interfaces are not like paintings: the user as a deliberate reader. In Proceedings, East-West HCI'92, Vol. I, pages 217-224. Int. Centre for Scientific and Technical Information, Moscow, 1992.
51. Preece, J., Rogers, Y., Sharp, H., Benyon, D., Holland, S. and Carey, T.: Human-Computer Interaction. Addison Wesley, 1994.
52. Rosch, E.: On the internal structure of perceptual and semantic categories. In T.M. Moore, editor, Cognitive Development and the Acquisition of Language. Academic, 1973.
53. Rosch, E.: Cognitive reference points. Cognitive Psychology, 7, 1975.
54. Rumelhart, D. E. and McClelland, J. L.: editors. Parallel Distributed Processing. MIT, 1986.
55. Sacks, H.: Lectures on Conversation. Blackwell, 1992. Edited by Gail Jefferson.
56. Saussure, F. de: Course in General Linguistics. Duckworth, 1976. Translated by Roy Harris.
57. Shneiderman, B.: Designing the User Interface. Addison Wesley, 1997.
58. Sommerville, I.: Software Engineering. Addison-Wesley, 1995. Fifth edition.
59. Srinivas, Y. V. and Jüllig, R.: SpecWare language manual, version 2.0. Technical report, Kestrel, 1996.
60. Roşu, G. and Goguen, J.: Hidden congruent deduction. In Ricardo Caferra and Gernot Salzer, editors, Proceedings, 1998 Workshop on First Order Theorem Proving, pages 213-223. Technische Universität Wien, 1998. (Schloss Wilhelminenberg, Vienna, November 23-25, 1998). Full version to appear in Lecture Notes in Artificial Intelligence, Springer, 1999.
61. Roşu, G. and Goguen, J.: Hidden congruent deduction. In Ricardo Caferra and Gernot Salzer, editors, Proceedings, 1998 Workshop on First Order Theorem Proving, pages 213- 223. Technische Universität Wien, 1998. (Schloss Wilhelminenberg, Vienna, November 23-25, 1998). Full version to appear in Lecture Notes in Artificial Intelligence, Springer, 1999.
62. Tracz, W.: LILEANNA: a parameterized programming language. In Proceedings, Second International Workshop on Software Reuse, pages 66-78, March 1993. Lucca, Italy.
63. Tracz, W.: Formal Specification of Parameterized Programs in LILLEANNA. PhD thesis, Stanford University, 1997.
64. Turner, M.: The Literary Mind. Oxford, 1997.
65. Vogler, C.: The Writer's Journal: Mythic Structure for Storytellers & Screenwriters. Michael Wiese Productions, 1992.
66. Zadeh, L.: Fuzzy sets. Information and Control, 8:338-353, 1965.