Web-Based Support for Cooperative Software Engineering
暂无分享,去创建一个
[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 .