{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:35Z","timestamp":1761611075540,"version":"3.40.5"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Software Engineering"],"published-print":{"date-parts":[[2001,12]]},"DOI":"10.1023\/a:1013323127548","type":"journal-article","created":{"date-parts":[[2002,12,29]],"date-time":"2002-12-29T19:13:07Z","timestamp":1041189187000},"page":"167-191","source":"Crossref","is-referenced-by-count":7,"title":["Web-Based Support for Cooperative Software Engineering"],"prefix":"10.1007","volume":"12","author":[{"given":"Joseph A.","family":"Goguen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"388215_CR1","unstructured":"Aristotle (1997), Poetics, Dover, Translation by S.H. Butcher; original from approximately 330 B.C."},{"issue":"1\/2","key":"388215_CR2","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/0304-3975(94)00017-D","volume":"139","author":"G. Bernot","year":"1995","unstructured":"Bernot, G., M. Bidoit, and T. Knapik (1995), \u201cObservational Specifications and the Indistinguishability Assumption,\u201d Theoretical Computer Science 139, 1\/2, 275-314.","journal-title":"Theoretical Computer Science"},{"key":"388215_CR3","volume-title":"OBJ\/CafeOBJ\/Maude at Formal Methods '99, Proceedings of a Workshop","author":"M. Bidoit","year":"1999","unstructured":"Bidoit, M. and R. Hennicker (1999), \u201cObserver Complete Definitions are Behaviourally Coherent,\u201d In OBJ\/CafeOBJ\/Maude at Formal Methods '99, Proceedings of a Workshop, K. Futatsugi, J. Goguen, and J. Meseguer, Eds., Toulouse, France, 20-22 September, Theta, Bucharest, pp. 83-94."},{"key":"388215_CR4","volume-title":"Software Engineering Economics","author":"B. Boehm","year":"1981","unstructured":"Boehm, B. (1981), Software Engineering Economics, Prentice-Hall, Englewood Cliffs, NJ."},{"key":"388215_CR5","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/JRA.1986.1087032","volume":"2","author":"R. Brooks","year":"1986","unstructured":"Brooks, R. (1986), \u201cA Robust Layered Control System for a Mobile Robot,\u201d IEEE J. Robotics and Automation 2, 14-23.","journal-title":"IEEE J. Robotics and Automation"},{"key":"388215_CR6","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0004-3702(91)90053-M","volume":"47","author":"R. Brooks","year":"1991","unstructured":"Brooks, R. (1991), \u201cIntelligence without Representation,\u201d Artificial Intelligence 47, 139-159.","journal-title":"Artificial Intelligence"},{"key":"388215_CR7","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"61","volume-title":"Proceedings, Coalgebraic Methods in Computer Science (CMCS'00)","author":"S. Buss","year":"2000","unstructured":"Buss, S. and G. Ro\u015fu (2000), \u201cIncompleteness of Behavioral Logics,\u201d In Proceedings, Coalgebraic Methods in Computer Science (CMCS'00), H. Reichel, Ed., Electronic Notes in Theoretical Computer Science, Vol. 33, Elsevier Science, Amsterdam, pp. 61-79."},{"key":"388215_CR8","unstructured":"Campbell, J. (1973), The Hero with a Thousand Faces, Bollingen Series, Princeton."},{"key":"388215_CR9","doi-asserted-by":"crossref","DOI":"10.1142\/3831","volume-title":"CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification","author":"R. Diaconescu","year":"1998","unstructured":"Diaconescu, R. and K. Futatsugi (1998), CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification, AMAST Series in Computing, Vol. 6, World Scientific, Singapore."},{"issue":"1","key":"388215_CR10","first-page":"74","volume":"6","author":"R. Diaconescu","year":"2000","unstructured":"Diaconescu, R. and K. Futatsugi (2000), \u201cBehavioural Coherence in Object-Oriented Algebraic Specification,\u201d Journal of Universal Computer Science 6, 1, 74-96, also Technical Report IS-RR-98-0017F, Japan Advanced Institute for Science and Technology, June 1998.","journal-title":"Journal of Universal Computer Science"},{"key":"388215_CR11","volume-title":"Perceiving, Acting and Knowing: Toward an Ecological Psychology","author":"J. Gibson","year":"1977","unstructured":"Gibson, J. (1977), \u201cThe Theory of Affordances,\u201d In Perceiving, Acting and Knowing: Toward an Ecological Psychology, R. Shaw and J. Bransford, Eds., Erlbaum, London."},{"key":"388215_CR12","unstructured":"Gibson, J. (1979), An Ecological Approach to Visual Perception, Houghton Mifflin."},{"issue":"1","key":"388215_CR13","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0022-247X(67)90189-8","volume":"18","author":"J. Goguen","year":"1967","unstructured":"Goguen, J. (1967), \u201cL-Fuzzy Sets,\u201d Journal of Mathematical Analysis and Applications 18, 1, 145-174.","journal-title":"Journal of Mathematical Analysis and Applications"},{"key":"388215_CR14","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00485654","volume":"19","author":"J. Goguen","year":"1968","unstructured":"Goguen, J. (1968\/69), \u201cThe Logic of Inexact Concepts,\u201d Synthese 19, 325-373.","journal-title":"Synthese"},{"key":"388215_CR15","volume-title":"Proceedings of Symposium on Formal Approaches to Software Environment Technology","author":"J. Goguen","year":"1990","unstructured":"Goguen, J. (1990), \u201cHyperprogramming: A Formal Approach to Software Environments,\u201d In Proceedings of Symposium on Formal Approaches to Software Environment Technology, Joint System Development Corporation, Tokyo, Japan."},{"key":"388215_CR16","doi-asserted-by":"crossref","unstructured":"Goguen, J. (1991), \u201cTypes as Theories,\u201d In Topology and Category Theory in Computer Science, Proceedings of a Conference, Oxford, June 1989. G.M. Reed, A.W. Roscoe, and R.F. Wachter, Eds., Oxford, pp. 357-390.","DOI":"10.1093\/oso\/9780198537601.003.0014"},{"key":"388215_CR17","first-page":"27","volume-title":"Social Science, Technical Systems and Cooperative Work: Beyond the Great Divide","author":"J. Goguen","year":"1997","unstructured":"Goguen, J. (1997), \u201cTowards a Social, Ethical Theory of Information,\u201d In Social Science, Technical Systems and Cooperative Work: Beyond the Great Divide, G. Bowker, L. Star, W. Turner, and L. Gasser, Eds., Erlbaum, London, pp. 27-56."},{"key":"388215_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/3-540-48834-0_15","volume-title":"Computation for Metaphors, Analogy and Agents","author":"J. Goguen","year":"1999","unstructured":"Goguen, J. (1999a), \u201cAn Introduction to Algebraic Semiotics, with Applications to User Interface Design,\u201d In Computation for Metaphors, Analogy and Agents, C. Nehaniv, Ed., Lecture Notes in Artificial Intelligence, Vol. 1562, Springer, Berlin, pp. 242-291."},{"key":"388215_CR19","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/s001650050051","volume":"11","author":"J. Goguen","year":"1999","unstructured":"Goguen, J. (1999b), \u201cSocial and Semiotic Analyses for Theorem Prover User Interface Design,\u201d Formal Aspects of Computing 11, Special Issue on User Interfaces for Theorem Provers, 272-301.","journal-title":"Formal Aspects of Computing"},{"key":"388215_CR20","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Proceedings of the Tenth Workshop on Abstract Data Types","author":"J. Goguen","year":"1994","unstructured":"Goguen, J. and R. Diaconescu (1994), \u201cTowards an Algebraic Semantics for the Object Paradigm,\u201d In Proceedings of the Tenth Workshop on Abstract Data Types, H. Ehrig and F. Orejas, Eds., Lecture Notes in Computer Science, Vol. 785, Springer, New York, pp. 1-29."},{"key":"388215_CR21","unstructured":"Goguen, J. and C. Linde (1984), \u201cOptimal Structures for Multi-Media Instruction,\u201d Technical Report, SRI International, To Office of Naval Research, Psychological Sciences Division."},{"key":"388215_CR22","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1188.001.0001","volume-title":"Algebraic Semantics of Imperative Programs","author":"J. Goguen","year":"1996","unstructured":"Goguen, J. and G. Malcolm (1996), Algebraic Semantics of Imperative Programs, MIT Press, Cambridge, MA."},{"issue":"3","key":"388215_CR23","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1017\/S0960129599002777","volume":"9","author":"J. Goguen","year":"1999","unstructured":"Goguen, J. and G. Malcolm (1999), \u201cHidden Coinduction: Behavioral Correctness Proofs for Objects,\u201d Mathematical Structures in Computer Science 9, 3, 287-319.","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"388215_CR24","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/S0304-3975(99)00275-3","volume":"245","author":"J. Goguen","year":"2000","unstructured":"Goguen, J. and G. Malcolm (2000), \u201cA Hidden Agenda,\u201d Theoretical Computer Science 245, 1, 55-101, also Technical Report CS97-538, UCSD Department of Computer Science and Engineering, May 1997.","journal-title":"Theoretical Computer Science"},{"key":"388215_CR25","series-title":"Lecture Notes in Computer Sciences","doi-asserted-by":"crossref","first-page":"1704","DOI":"10.1007\/3-540-48118-4_40","volume-title":"FM'99-Formal Methods, Proceedings of World Congress on Formal Methods, Toulouse, France","author":"J. Goguen","year":"1999","unstructured":"Goguen, J. and G. Ro\u015fu (1999a), \u201cHiding More of Hidden Algebra,\u201d In FM'99-Formal Methods, Proceedings of World Congress on Formal Methods, Toulouse, France, J. Wing, J. Woodcock, and J. Davies, Eds., Lecture Notes in Computer Sciences, Vol. 1709, Springer, New York, pp. 1704-1719."},{"key":"388215_CR26","series-title":"Electronic Lecture Notes in Theoretical Computer Science","first-page":"1","volume-title":"Proceedings of FCT'99, Workshop on Distributed Systems","author":"J. Goguen","year":"1999","unstructured":"Goguen, J. and G. Ro\u015fu (1999b), \u201cA Protocol for Distributed Cooperative Work,\u201d In Proceedings of FCT'99, Workshop on Distributed Systems, Ia\u015fi, Romania, G. Stefanescu, Ed., Electronic Lecture Notes in Theoretical Computer Science, Vol. 28, Elsevier, Amsterdam, pp. 1-22."},{"key":"388215_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/BFb0056632","volume-title":"Principles of Declarative Programming","author":"J. Goguen","year":"1998","unstructured":"Goguen, J., G. Malcolm, and T. Kemp (1998), \u201cA Hidden Herbrand Theorem: Combining the Object, Logic and Functional Paradigms,\u201d In Principles of Declarative Programming, C. Palamidessi, H. Glaser, and K. Meinke, Eds., Lecture Notes in Computer Science, Vol. 1490, Springer, New York, pp. 445-462, Full version to appear in Journal of Logic and Algebraic Programming."},{"key":"388215_CR28","first-page":"123","volume-title":"Automated Software Engineering '00, Proceedings of a Workshop, Grenoble, France","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., K. Lin, and G. Ro\u015fu (2000a), \u201cCircular Coinductive Rewriting,\u201d In Automated Software Engineering '00, Proceedings of a Workshop, Grenoble, France, IEEE Press, New York, pp. 123-131."},{"key":"388215_CR29","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/B978-044450556-9\/50063-0","volume-title":"Cafe: An Industrial-Strength Algebraic Formal Method","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., K. Lin, G. Ro\u015fu, A. Mori, and B. Warinschi (2000b), \u201cAn Overview of the Tatami Project,\u201d In Cafe: An Industrial-Strength Algebraic Formal Method, Elsevier, Amsterdam, pp. 61-78."},{"key":"388215_CR30","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-1-4757-6541-0_1","volume-title":"Software Engineering with OBJ: Algebraic Specification in Action","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud (2000c), \u201cIntroducing OBJ,\u201d In Software Engineering with OBJ: Algebraic Specification in Action, J. Goguen and G. Malcolm, Eds., Kluwer, Dordrecht, pp. 3-167, also Technical Report SRI-CSL-88-9, SRI International, August 1988."},{"key":"388215_CR31","series-title":"Lecture Notes in Computer Science","first-page":"263","volume-title":"Algebraic Methodology and Software Technology (AMAST'98)","author":"R. Hennicker","year":"1999","unstructured":"Hennicker, R. and M. Bidoit (1999), \u201cObservational Logic,\u201d In Algebraic Methodology and Software Technology (AMAST'98), Lecture Notes in Computer Science, Vol. 1548, Springer, New York, pp. 263-277."},{"key":"388215_CR32","doi-asserted-by":"crossref","first-page":"171","DOI":"10.3758\/BF03212416","volume":"3","author":"W. Ittelson","year":"1996","unstructured":"Ittelson, W. (1996), \u201cVisual Perception of Markings,\u201d Psychonomic Bulletin & Review 3, 171-187.","journal-title":"Psychonomic Bulletin & Review"},{"key":"388215_CR33","unstructured":"Labov, W. (1972), \u201cThe Transformation of Experience in Narrative Syntax,\u201d In Language in the Inner City, University of Pennsylvania, pp. 354-396."},{"key":"388215_CR34","doi-asserted-by":"crossref","unstructured":"Lakoff, G. (1987), Women, Fire and Other Dangerous Things: What Categories Reveal about the Mind, Chicago.","DOI":"10.7208\/chicago\/9780226471013.001.0001"},{"key":"388215_CR35","unstructured":"Lakoff, G. and M. Johnson (1980), Metaphors We Live By, Chicago."},{"key":"388215_CR36","unstructured":"Linde, C. (1981), \u201cThe Organization of Discourse,\u201d In Style and Variables in English, T. Shopen and J.M. Williams, Eds., Winthrop, pp. 84-114."},{"key":"388215_CR37","doi-asserted-by":"crossref","unstructured":"Linde, C. (1993), Life Stories: the Creation of Coherence, Oxford.","DOI":"10.1093\/oso\/9780195073720.001.0001"},{"key":"388215_CR38","unstructured":"Livingston, E. (1987), The Ethnomethodology of Mathematics, Routledge & Kegan Paul."},{"key":"388215_CR39","first-page":"67","volume-title":"Proceedings, User Interfaces for Theorem Provers","author":"N. Merriam","year":"1997","unstructured":"Merriam, N. and M. Harrison (1997), \u201cWhat is Wrong with GUIs for Theorem Provers?\u201d In Proceedings, User Interfaces for Theorem Provers, Y. Bartot, Ed., INRIA, Sophia Antipolis, 1-2 September, pp. 67-74."},{"key":"388215_CR40","first-page":"81","volume":"63","author":"G.A. Miller","year":"1956","unstructured":"Miller, G.A. (1956), \u201cThe Magic Number Seven, Plus or Minus Two: Some Limits on Our Capacity for Processing Information,\u201d Psychological Science 63, 81-97.","journal-title":"Psychological Science"},{"key":"388215_CR41","volume-title":"The Design of Everyday Things","author":"D.A. Norman","year":"1988","unstructured":"Norman, D.A. (1988), The Design of Everyday Things, Doubleday, New York."},{"key":"388215_CR42","unstructured":"Padawitz, P. (1999), \u201cSwinging Types = Functions + Relations + Transition Systems,\u201d submitted to Theoretical Computer Science."},{"key":"388215_CR43","volume-title":"Human-Computer Interaction","author":"J. Preece","year":"1994","unstructured":"Preece, J. et al. (1994), Human-Computer Interaction, Addison-Wesley, Reading, MA."},{"key":"388215_CR44","volume-title":"Cognitive Development and the Acquisition of Language","author":"E. Rosch","year":"1973","unstructured":"Rosch, E. (1973), \u201cOn the Internal Structure of Perceptual and Semantic Categories,\u201d In Cognitive Development and the Acquisition of Language, T. Moore, Ed., Academic Press, New York."},{"key":"388215_CR45","first-page":"179","volume-title":"OBJ\/CafeOBJ\/Maude at Formal Methods '99, Proceedings of a Workshop, Toulouse, 20-22 September","author":"G. Ro\u015fu","year":"1999","unstructured":"Ro\u015fu, G. (1999), \u201cBehavioral Coinductive Rewriting,\u201d In OBJ\/CafeOBJ\/Maude at Formal Methods '99, Proceedings of a Workshop, Toulouse, 20-22 September, K. Futatsugi, J. Goguen, and J. Meseguer, Eds., Theta, Bucharest, pp. 179-196."},{"key":"388215_CR46","unstructured":"Ro\u015fu, G. (2000), \u201dHidden Logic,\u201d Ph.D. thesis, University of California at San Diego."},{"key":"388215_CR47","unstructured":"Ro\u015fu, G. and J. Goguen (2000a), \u201cCircular Coinduction,\u201d Technical Report CSE2000-0647, Department of Computer Science & Engineering, University of California at San Diego."},{"key":"388215_CR48","series-title":"Lecture Notes in Artificial Intelligence","first-page":"252","volume-title":"Automated Deduction in Classical and Non-Classical Logics, Papers of a Conference, Vienna, November 1998","author":"G. Ro\u015fu","year":"2000","unstructured":"Ro\u015fu, G. and J. Goguen (2000b), \u201cHidden Congruent Deduction,\u201d In Automated Deduction in Classical and Non-Classical Logics, Papers of a Conference, Vienna, November 1998, R. Caferra and G. Salzer, Eds., Lecture Notes in Artificial Intelligence, Vol. 1761, Springer, Berlin, pp. 252-267."},{"volume-title":"Parallel Distributed Processing","year":"1986","key":"388215_CR49","unstructured":"Rumelhart, D.E. and J. McClelland, Eds. (1986), Parallel Distributed Processing, MIT Press, Cambridge, MA."},{"key":"388215_CR50","unstructured":"Saussure, F. (1976), Course in General Linguistics, Duckworth."},{"key":"388215_CR51","volume-title":"Designing the User Interface","author":"B. Shneiderman","year":"1997","unstructured":"Shneiderman, B. (1997), Designing the User Interface, 2nd Edition, Addison-Wesley, Reading, MA.","edition":"2nd Edition"},{"key":"388215_CR52","unstructured":"Vogler, C. (1992), The Writer's Journal: Mythic Structure for Storytellers & Screenwriters, Michael Wiese."},{"key":"388215_CR53","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L. Zadeh","year":"1965","unstructured":"Zadeh, L. (1965), \u201cFuzzy Sets,\u201d Information and Control 8, 338-353.","journal-title":"Information and Control"},{"key":"388215_CR54","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1109\/91.493904","volume":"2","author":"L. Zadeh","year":"1996","unstructured":"Zadeh, L. (1996), \u201cFuzzy Logic = Computing with Words,\u201d IEEE Transactions on Fuzzy Systems 2, 103-111.","journal-title":"IEEE Transactions on Fuzzy Systems"}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013323127548.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1013323127548\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013323127548.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:09:38Z","timestamp":1747577378000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1013323127548"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12]]},"references-count":54,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,12]]}},"alternative-id":["388215"],"URL":"https:\/\/doi.org\/10.1023\/a:1013323127548","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[2001,12]]}}}