Bibliografía de Ingeniería Informática
Referencias sobre Lenguajes
Lenguajes artificiales
Autómatas. Informática Teórica
- Björner, D.; Jones, C.B., ed.: "The Vienna Development Method: The
Meta-Language", Springer, Berlin, 1978. CC.
- Brookshear, J.G.: "Teoría de la Computción", Addison-Wesley, Madrid, 1989.
Roberto.
- Cuny, J.E.; Ehrig, H.; Engels, G.; Rozenberg, G. (Eds.):
"Graph Grammars and Their Application to Computer Science",
5th International Workshop, Williamsburg, VA, USA,
November (13-18), 1995. Lecture Notes in Computer Science, Vol. 1073.
1996. X, 565 pp. Softcover DM 110, ISBN 3-540-61228-9.
This book contains a collection of 37 refereed full papers.
The book covers the whole spectrum of methods and techniques
for the investigation of the structure of graphs and graph
transformations. The papers are divided into nine topical
sections on rewriting techniques, specification and semantics, software
engineering, algorithms and architectures, concurrency, graph languages,
pattern and graphics, structure and logic of graphs, and biology.
- Fernández, G.; Sáez Vacas, F.: "Fundamentos de Informática, Lógica,
Autómatas, Algoritmos y Lenguajes", Anaya Multimedia, Madrid, 1995.
- Jelinek, F.; Lafferty, J.D.; Mercer, R.L.: "Basic Methods of
Probabilistic Context Free Grammars", IBM Research RC 16374, 1990.
- Kelley, D.: "Teoría de Autómatas y Lenguajes Formales", Prentice Hall,
Madrid, 1995.
- Martin, J.C.: "Introduction to Languages and the Theory of Computation",
McGraw-Hill, New York, 1991. BII, 681-31-06 MAR.
- Murata, T.: "Petri Nets: Properties, Analysis and Applications", Proc.
IEEE, 77:4, pp. 541-580, Apr. 1989.
- Ollongren, A.: "Definition of Programming Languages by Interpreting
Automata", Academic Press, London, 1974. CC.
- Rayward-Smith, V.J.: "Formal Language Theory", McGraw Hill, London, 1995.
.
- Wegner, P.: "Interactive Foundations of Object-Based Programming",
Computer, pp.70-72, Oct. 1995.
Sistemas L. Fractales. Caos
- Aihara, K.; Katayama, R.: "Chaos Engineering in Japan", Comm. ACM, 38:11,
pp. 103-107, Nov. 1995.
- Alfonseca, M.; Ortega, A.: "Fractales Gramaticales",
Investigación y Ciencia, pp. 30-31, Feb. 1995.
- Bedford, T.; Dekking, F.M.; Breeuwer, M.; Keane, M.S.; van Schooneveld,
D.: "Fractal Coding of Monochrome Images", Signal Procesing: Image
Communication, Vol 6, pp. 405-419, 1994.
- Casey, S.D.; Reingold, N.F.: "Self-similar Fractal Sets: Theory and
Procedure", IEEE Computer Graphics and Applications, pp. 73-82, May 1994.
- Corbit, J.D.; Garbary, D.J.: "Computer simulation of the morphology and
development of serveral species of seaweed using Lindenmayer systems",
Computers & Graphics 17:1, pp. 85-8, 1993.
- Crandall, R.E.: "Topics in Advanced Scientific Computation", Springer, New
York, 1996.
- Culik II, K.; Dube, S.: "Balancing Order and Chaos in Image Generation",
Proc. 18th Int. Coll. on Automata, Languages and Programming, ed. J.L. Albert,
B. Monien, M.R. Artalejo, Springer-Verlag, Berlin, 1991, pp. 600-614.
- Culik II, K.; Dube, S.: "New Methods for Image Generation and
Compression", Proc. Conf. on New Results and New Trends in Computer Science,
ed. H. Maurer, Springer-Verlag, Berlin, 1991, pp. 69-90.
- Culik, K., II; Dube, S.: "L-systems and mutually recursive function
systems", Acta Informatica, 30:3, pp. 279-302, 1993.
- Demko, S.; Hodges, L.; Naylor, B.: "Construction of Fractal Objects with
Iterated Function Systems". Computer Graphics, Vol. 19:3. pp. 271-278, 1985.
- Ditto, W.; Munakata, T.: "Principles and Applications of Chaotic Systems",
Comm. ACM, 38:11, pp. 96-102, Nov. 1995.
- Fisher, Y.: "Fractal Image Compression", Springer, Berlin, 1994. ISBN:
3-540-94211-4. BII.
- Giessmann, E.G.: "Generation of fractal curves by generalizations of
Lindenmayer's L-systems", Proc. 1st IFIP Conf. on Fractals in the
Fundamental and Applied Sciences, ed. H.O. Peitgen, J.M. Henriques, L.F.
Penedo, North Holland, Amsterdam, 1991, pp.147-157.
- Hart, J.C.: "The object instancing paradigm for linear fractal modeling",
Proceedings Graphics Interface '92 Toronto, Ont., Canada: Canadian Inf.
Process Soc, 1992. pp. 224-31.
- Herman, G.T.; Rozenberg, G.: "Developmental Systems and Languages", North
Holland, Amsterdam, 1975. CC.
- Kaandorp, J.: "Fractal Modeling. Growth and Form in Biology", Springer,
Berlin, 1994. ISBN: 3-540-56685-6. BII.
- Lindenmayer, A.; Rozenberg, G., ed.: "Automata, Languages, Development",
North-Holland, Amsterdam, 1976. CC.
- Lindenmayer, A.; Prusinkiewicz, P.: "Developmental models of multicellular
organisms: A computer graphics prerspective", in "Artificial Life: Proceedings
of an Interdisciplinary Workshop on the Synthesis and Simulation of Living
Systems", edited by C. Langton, Addison-Wesley, Redwook City, 1989, pp.
221-249.
- Lindenmayer, A.: "Models for multicellular development: Characterization,
inference and complexity of L-systems", in "Trends, techniques and problems in
theoretical computer science, Lecture Notes in Computer Science" vol. 281,
edited by Kelmenová, A.; Kelmen, J., pp. 138-168, Springer-Verlag, Berlin,
1987.
- Mandelbrot, B.B.: "The Fractal Geometry of Nature", W.H.Freeman, San
Francisco, 1982.
- Meinhardt, H.: "The Algorithmic Beauty of Sea Shells", Springer, Berlin,
1995. ISBN: 3-540-57842-0. BII.
- Miyata, K.: "Introduction to 3-D computer graphics-introduction to
fractals", Journal of the Institute of Television Engineers of Japan, 1992,
46:6, pp. 733-40.
- Musgrave, F.K.: "Fractal art landscapes", Interactions, III.6, 11-1996.
BII.
- Prusinkiewicz, P.: "Graphical Applications of L-Systems", Proc. Graphics
Interface 86 and Vision Interface 86, ed: M. Wein, E.M. Kidd, Vancouver,
Canada, 1986, pp. 247-253.
- Prusinkiewicz, P.: "Score generation with L-systems", in Proceedings of
the International Computer Music Conference '86, pp. 455-457, 1986.
- Prusinkiewicz, P.: "Applications of L-systems to computer imagery", in
"Graph grammars and their application to computer science; Third International
Workshop, Lecture Noptes in Computer Science", vol. 291?, edited by Nagl,
Ehrig. M.; Rosenfeld, A.; Rozenberg, G., pp 534-548. Springer-Verlag, Berlin,
1987.
- Prusinkiewicz, P.; Lindenmayer, A.; Hanan, J.: "Developmental models of
herbaceous plants for computer imagery purposes", Proceedings of SIGGRAPH '88,
in computer Graphics (ACM SIGGRAPH) 22:4, pp. 141-150, 1988.
- Prusinkiewicz, P.; Sandness, G.: "Koch curves as attractors and
repellers", IEEE Computer Graphics and Applications, 8:6 pp. 26-40, 1988.
- Prusinkiewicz, P.; Krithivasan, K.; Vijayanarayana, M.G.: "Application of
L-systems to algorithmic generation of South Indian folk art patterns and
karnatic music", in "A perspective in theoretical computer science -
commemorative volume for Gift Siromoney, Series in Computer Science", vol 16.
edited by R. Narasimhan, pp. 229-247, World Scientific, Singapore, 1989.
- Prusinkiewicz, P.; Hanan, J.: "Lindenmayer systems, fractals, and plants",
Lecture Notes in Biomathematics. vol 79, Springer-Verlag, Berlin, 1989.
- Prusinkiewicz, P.; Lindenmayer, A.; Fracchia, F.D.: "Synthesis of
space-filling curves on the square grid", Fractals in the Fundamental and
Applied Sciences, Proceedings of the First IFIP Conference, edited by Peitgen,
H.-O.; Henriques, J.M.; Penedo, L.F. pp. 341-66, North-Holland,
Amsterdam, 1991.
- Smith, A.R.: "Plants, fractals, and formal languages",
Proceedings of SIGGRAPH'84, in Computer Graphics (ACM SIGGRAPH) 18:3, pp.
1-10, 1984.
- Smith, H.F.: "A garden of fractals", Fractals in the Fundamental and
Applied Sciences. Proceedings of the First IFIP Conference, Edited by Peitgen,
H.-O.; Henriques, J.M.; Penedo, L.F., North-Holland, Amsterdam, 1991, pp.
407-24.
- Stevens, R.T.: "Advanced Graphics Programming in C and C++", Prentice
Hall, Englewood Cliffs, 1991.
- Stevens, R.T.: "Fractal Programming and Ray Tracing with C++", Prentice
Hall, Englewood Cliffs, 1991.
- Valdes, R.: "What is BioComputing?", Dr. Dobb's Journal, 1991, 16:4, pp.
108-9.
APL
- "Statistical Computing with APL", chapter 7-final. Cajas APL.
- "APL2 for IBM Personal Computer", IBM Corp., Program number 5799-PGG, PRPQ
RJB411, Part No. 6242036.
- "APL2 Programming: Language Reference", No. SH20-9227, IBM Corporation,
White Plains, New York, 1987.
- Bard, Y.: "Rule-based inferencing functions for APL applications", IBM
Cambidge Sc. Ctr. Report G320-2154, 1986. Cajas APL.
- Berry, P.C.; Falkoff, A.D.; Iverson, K.E.: "Using the Computer to Compute:
A Direct but Neglected Approach to Teaching Mathematics", IBM New York Sc.
Ctr. Report 320-2988, 1970. Cajas APL.
- Berry, P.C.; Bartoli, G.; Dell'Aquila, C.; Spadavecchia, V.: "APL and
Insight: The Use of Programs to Represent Concepts in Teaching", IB;
Philadelphia Sc. Ctr. Report 320-3020, 1973. Cajas APL.
- Brenner, N.: "Optimization of APL Programs", separata. Cajas APL.
- Brown, J.: "A Development of APL2 Syntax", IBM. J. Res. Dev., 29:1, Jan.
1985. Cajas APL.
- Ching, W.: "Program Analysis and Code Generation in an APL/370 Compiler".
IBM Journal of Research and Development, 30:6, pp. 594-602, 1986. Copia en
cajas APL.
- Ching, W.: "Type-shape Inference in an APL Compiler Using Constraint
Programming", IBM Research Report RC 13979, 1988.
- Ching, W.: "An Empirical Study of the Performance of the APL/370
Compiler", IBM Research Report RC 13980, 1988.
- Ching, W.: "A Primitive-Based Strategy for Producing Efficient Code for
Very High Level Programs", IBM Research Report RC 17635, 1991.
- Creveling, C.J.: "Experimental Use of A Programming Language (APL) at the
Goddard Space Center", Goddard Space Flight Center, 1968. Cajas APL.
- Driscoll, G.C.; Orth, D.L.: "Collecting Information about APL Variables
during Interpretation", IBM Res. Report RC 15366, 1990.
- Falkoff, A.D.; Iverson, K.E.: "The Use of Computers in Teaching
Mathematics", IBM New York Sc. Ctr. Report 320-2986, 1970. Cajas APL.
- Falkoff, A.D.; Iverson, K.E.: "The Design of APL", IBM. J. Res. Dev.,
17:4, Jul. 1973. Cajas APL.
- Falkoff, A.D.: "Picture Format". Cajas APL.
- Falkoff, A.D.: "Semicolon Bracket Notation: A Hidden Resource in APL",
IBM Res. Report RC 9360, 1982.
- Falkoff, A.D.: "The APL Character Set: Dual Keyboards are better",
IBM Res. Report RC 15364, 1989.
- Finnish APL Association: "FINNAPL Idiom Library", 1982. Cajas APL.
- Ghandour, Z.; Mezei, J.: "General Arrays, Operators and Functions", IBM J.
Res. Dev., Jul. 1973. Cajas APL.
- Hagamen, W.D.; Linden, D.J.; Long, H.S.; Weber, J.C.: "Encoding verbal
information as unique numbers", IBM Syst. J., 11:4, 1972. Cajas APL.
- Halpern, M.M.: "Studies in APL: Algebra, Scan, Arithmetic, Permutations",
IBM Philadelphia Sc. Ctr. Report 320-3023, 1973. Cajas APL.
- Hassitt, A.; Lyon, L.E.: "Efficient Evaluation of Array Subscripts of
Arrays", IBM J. Res. Dev. 16:1, Jan. 1972. Cajas APL.
- Hassitt, A.; Lageschulte, J.W.; Lyon, L.E.: "Implementation of a High
Level Language Machine", Comm. ACM, 16:4, Apr. 1973. Cajas APL.
- Hendriks, F.; Ching, W.M.: "Sparse Matrix Technology in APL", IBM Res.
Report RC 15302, 1989.
- Iverson, K.E.: "The Story of APL", IBM Computing Report in Science and
Engineering, 6:2, Apr. 1970. Cajas APL.
- Iverson, K.E.: "APL in Exposition", IBM Philadelphia Res. Ctr. Report
320-3010, 1972. Cajas APL.
- Iverson, K.E.: "An Introduction to APL for Scientists and Engineers", IBM
Philadelphia Res. Ctr. Report 320-3019, 1973. Cajas APL.
- Iverson, K.E.: "Operators and Functions", IBM Res. Report RC 7091, 1978.
.
- Iverson, K.E.: "APL as an Analytic Notation", APL V Conference, Toronto,
May 1973. Cajas APL.
- Jenkins, M.A.: "The Solution of Linear Systems of Equations and Linear
Least Squares Problems in APL", IBM New York Sc. Ctr. Report 320-2989, 1970.
Cajas APL.
- Kogon, R.; Lattermann, D.: "APL Complementary Functions", IBM Heidelberg
Res. Ctr. Report CR 76.04.001, 1976. Cajas APL.
- Lathwell, R.H.; Mezei, J.E.: "A Formal Description of APL". Cajas APL.
.
- Lathwell, R.H.: "System Formulation and APL Shared Variables", IBM J. Res.
Dev., 17:4, Jul. 1973. Cajas APL.
- Liknaitzky, R.: "APL Functions for Use in Junior High School Mathematics",
CAI 3-69, Nov. 1969. Cajas APL.
- McCracken, D.D.: "Wither APL?", Datamation, Sep. 15, 1970. Cajas APL.
- Martinville, B.de; Pages, J.C.: "APL Processing of Genealogical Trees in
Medical Genetics", Medical Data Processing. Cajas APL.
- Myers, H.J.: "A Fast Assembly Technique Using APL", IBM Palo ALto Sc. Ctr.
Report ZZ20-6431, 1976. Cajas APL.
- Myers, H.J.: "Compiling Optimized Code from Decision Tables", IBM J. Res.
Dev., 16:5, Sep. 1972. Cajas APL.
- More, T.: "Axioms and Theorems for a Theory of Arrays", IBM J. Res. Dev.,
17:2, Mar. 1973. Cajas APL.
- More, T.: "Notes on the Development of a Theory of Arrays", IBM
Philadelphia Sc. Ctr. Report 320-3016, 1973. Cajas APL.
- More, T.: "Notes on the Axioms for a Theory of Arrays", IBM Philadelphia
Sc. Ctr. Report 320-3017, 1973. Cajas APL.
- Trimble, R.: "Storage Management in IBM APL Systems", 1991?.
C y C++
- "Turbo C++", Borland International Scotts Valley, CA, 1990.
- Barton, J.J.; Nackman, L.R.: "Scientific and Engineering C++: What's That
Template Argument About?", IBM Research RC 19457, 1994.
- Barton, J.J.; Nackman, L.R.: "Scientific and Engineering C++: Is Const
Worth a Thousand Words?", IBM Research RC 19569, 1994.
- Barton, J.J.; Nackman, L.R.: "Injected Function Declarations in C++",
IBM Research RC 19611, 1994.
- Barton, J.J.; Nackman, L.R.: "Scientific and Engineering C++: Making
Concrete Virtual with Templates", IBM Research RC 19659, 1994.
- Dewhurst, S.; Stark, K.: "Programming in C++", Prentice Hall, Inc.,
Englewood Cliffs, NJ, 1989.
- Dorfman, L.: "C++ by example", McGraw Hill, New York, 1995.
- Faison, T.: "Borland C++ 3.1. Programación Orientada a Objetos", Prentice
Hall, Mexico, 1992. ISBN: 968-880-352-9. BII.
- Gamma, E.; Helm, R.; Johnson, R.: "A catalog of object-oriented design
patterns", Draft paper, 1993.
- Hekmatpour, S.: "C++: A Guide for Programmers", Prentice Hall, Inc.,
Englewood Cliffs, NJ, 1991.
- Kernighan, B. W., Ritchie, D. M.: "El lenguaje de programación C",
Prentice Hall Hispanoamericana, S.A., Mexico-Englewood Cliffs, NJ, 1985. HIT.
- Ladd, S.R.: "C++ Techniques and Applications", Prentice Hall, Englewood
Cliffs, 1990. ISBN: 1-55851-075-3. LAB2000.
- Ladd, S.R.: "Turbo C++ Techniques and Applications", Prentice Hall,
Englewood Cliffs, 1991.
- Lane, A.: "Turbo C++ by Example", Prentice Hall, Englewood Cliffs, 1991.
- Sessions, R.: "Reusable Data Structures for C", Prentice Halls, Englewood
Cliffs, 1989. ISBN: 0-13-779034-1.
- Sessions, R.: "Class Construction in C and C++", Prentice Halls, Englewood
Cliffs, 1992. ISBN: 0-13-630104-5.
- Shapiro, J.: "C++ Toolkit", Prentice Hall, Englewood Cliffs, NJ,
1991.
- Stroustrup, B.: "The C++ Programming Language", Addison-Wesley, Reading,
MA, 1986. 2ª ed. 1991-95, ISBN: 0-201-53992-6. HIT.
Java
- Arnold, K.; Gosling, J.: "El lenguaje de programación Java" ("The Java
Programming Language"), Addison-Wesley, España, 1997. ISBN: 84-7829-010-9
(0-201-65314-1).
- Campione, M.; Walrath, K. The Java Tutorial: Object-Oriented
Programming for the Internet. Addison-Wesley, 1996. Versión on-line en:
http://java.sun.com/books/Series/Tutorial. BII.
Smalltalk
- "Smalltalk/V PM. Tutorial and Programming Handbook", Digitalk, Los
Angeles, 1989. LAB2000.
- "Smalltalk on the Rise", Comm. ACM, 38:10, pp. 102-118, Oct. 1995. 6
artículos.
- Hopkins, T.: "A First Course in Smalltalk 80", Prentice Hall, Inc.,
Englewood Cliffs, NJ, 1991.
- Lalonde, W.; Pugh, J.: "Inside Smalltalk", 2 vols, Prentice Hall,
Englewood Cliffs, 1990-1991.
- Pinson, L. J.; Wiener, R. S.: "An Introduction to Object-Oriented
Programming and Smalltalk", Addison-Wesley, Reading, MA, 1988.
- Savic, D.: "Object-Oriented Programming with Smalltalk-V", Prentice Hall,
Englewood Cliffs, 1990.
- Shafer, D.; Herndon, S.: "IBM Smalltalk Programming for Windows and OS/2",
Prima Publishing, Rocklin, 1995. ISBN: 1-55958-749-0.
Lenguajes y sistemas de Proceso Paralelo
- "Synchronization: Using Networked Workstations for Shared-Memory
Parallel Processing". Computer, 2:96. 4 artículos. BII.
- "Parallel and Distributed Processing Tools", Computer, Nov. 95. 5
artículos.
- "Shared Memory Multiprocessing", Computer, 29:12, 12-96. 7 artículos. BII.
- Blelloch, G.E.: "Programming Parallel Algorithms", Comm. ACM, 39:3, pp.
85-97, Mar. 1996. BII.
- Wang, C.C.; Li, H.: "The W Language", IBM Research RC 13438, 1988.
Lenguajes varios
- Cezzar, R.: "A Guide to Programming Languages, Overview and Comparison",
Artech House, Boston, 1995. BII, 681.31.06 CEZ.
- Clocksin, W.F.; Mellish, C.S.: "Programming in Prolog", Springer,
Berlin, 1981. CC.
- Elson, M.: "Concepts of Programming Languages", Science Research
Associates, Chicago, 1973. CC.
- Gehrke, W.: "FORTRAN 90 Language Guide", Springer, Berlin, 1995. BII,
681.31.06 GEH.
- Horowitz, E.: "Programming Languages", Springer, Berlin, 1983. CC.
- Lano, K.: "The B Language and Method: A Guide to Pratical Formal Development",
(Formal Approaches to Computing and Information Technology (FACIT). Ed.: S.A. Schuman).
1996. 232 pp. 34 figs. 2 tabs. Softcover DM 78,-; ISBN 3-540-76033-4
B is one of the few formal methods which has robust,
commercially-available tool support for the entire
development lifecycle from specification through to code
generation. This volume provides a comprehensive
introduction to the B Abstract Machine Notation, and to how
it can be used to support formal specification and
development of high integrity systems. A strong emphasis is
placed on the use of B in the context of existing software
development methods, including object-oriented analysis and
design. The text includes a large number of worked
examples, graduated exercises in B AMN specification and
development (all of which have been class-tested), two
extended case studies of the development process, and an
appendix of proof techniques suitable for B. Based on
material which has been used to teach B at postgraduate and
undergraduate level, this volume will provide invaluable
reading a wide range of people, including students, project
technical managers and workers, and researchers with an
interest in methods integration and B semantics.
- Lomet, D.B.: "Making Pointers Safe in System Programming Languages",
IBM Research RC 10030, 1983.
- Sanderson, P.C.: "Computer Languages", Newnes-Butterworths, London, 1970.
CC.
- Steele Jr., G.L.: "COMMON LISP, the Language", Digital Press, 1984. CC.
- Walker, A.: "SYLLOG: An Approach to PROLOG for Non-Programmers",
IBM Research RJ 3950, 1983.
- Wirth, N.: "Programming in MODULA-2", Springer, Berlin, 1983. CC.
Lenguajes naturales.
- "Interactive Natural Language Processing", Computer, 29:7, 7-96. 6
artículos. BII.
- Church, K.W.; Rau, L.F.: "Commercial Applications of Natural Language
Processing", Comm. ACM, 38:11, pp. 71-79, Nov. 1995.
- Cowie, J.; Lehner, W.: "Information Extraction", Comm. ACM, 39:1, pp.
80-91, Jan. 1996. BII.
- Culy, C.: "The Complexity of the Vocabulary of Bambara",
Linguistics and Philosophy 8:345-351, 1985.
- Gazdar, G.: "Applicability of Indexed Grammars to Natural
Languages", en "Natural Language Parsing and Linguistic
Theories", ed. U. Reyle, C. Rohrer, Reidel Publishing Company, 1988.
- Guthrie, L.; Pustejovsky, J.; Wilks, Y.; Slator, B.M.: "The Role of
Lexicons in Natural Language Processing", Comm. ACM, 39:1, pp. 63-72, Jan.
1996. BII.
- Hopcroft, J.E.; Ullman, J.D.: "Introduction to Automata Theory,
Languages and Computation", Addison-Wesley, Reading, MA, 1979.
- Hovy, E.: "Humanizing the Computer: Interacting using Natural Language",
fotocopia.
- Huybregts, Riny: "The weak Inadequacy of Context-Free Phone Structure
Grammars", en "Van Periferie naar Kern", ed. G. de Haan, M. Trommelen, W.
Zonneveld, Foris, Dordrecht, 1984.
- King, M.: "Evaluating Natural Language Processing Systems", Comm. ACM,
39:1, pp. 73-79, Jan. 1996. BII.
- Lewis, D.D.; Jones, K.S.: "Natural Language Processing for Information
Retrieval", Comm. ACM, 39:1, pp. 92-101, Jan. 1996. BII.
- Miller, G.A.: "A Lexical Database in English", Comm. ACM, 38:11,
pp. 39-41, Nov. 1995.
- Shieber, Stuart M.: "Evidence against the Context-Freeness of Natural
Language", Linguistics and Philosophy 8:333-343, 1985.
- Wiebe, J.; Hirst, G.; Horton, D.: "Language Use in Context", Comm. ACM,
39:1, pp. 102-111, Jan. 1996. BII.
- Yokoi, T.: "The EDR Electronic Dictionary", Comm. ACM, 38:11,
pp. 42-44, Nov. 1995.
Traducción, Compilación y Formalización de Lenguajes
- Aho, J.E. et al.: "Data structures and algorithms", Addison-Wesley,
Reading, MA, 1983.
- Aho, A.V.; Hopcroft, J.E.; Ullman, J.D.: "The Design and Analysis of
Computer Algorithms", Addison-Wesley, Reading, MA, 1974.
- Aho, A.V.; Hopcroft, J.E.; Ullman, J.D.: "Data Structures and
Algorithms", Addison-Wesley, Reading, MA, 1982.
- Aho, A.V.; Sethi, R.; Ullman, J.D.: "Compilers: Principles, Techniques
and Tools", Addison-Wesley, Reading, MA, 1986.
- Aho, A.V.; Ullman, J.D.: "The Theory of Parsing, Translation and
Compiling", 2 vols. Prentice-Hall, Englewood Cliffs, 1972.
- Aho, J.E.; Ullman, J.D.: "Principles of Compiler Design",
Prentice-Hall, Englewood Cliffs, New Jersey, 1977.
- Alfonseca, M.; Sancho, J.; Martínez Orga, M.A.: "Teoría de Lenguajes,
Gramáticas y Autómatas". Universidad y Cultura, Madrid, 1987.
- Appel, A.W.: "Modern Compiler Implementation in C", Cambridge Univ. Press,
Cambridge, U.K., 1997. HIT.
- Arbab, Bijan: "Compiling Circular Attribute Grammars into Prolog", Los
Angeles IBM Scientific Center Report G320-2776, 1986.
- Bandat, K.; "On the Formal Definition of PL/I", IBM Laboratory Vienna TR
25.073, 1967.
- Ching, W.: "Program Analysis and Code Generation in an APL/370 Compiler".
IBM Journal of Research and Development, 30:6, pp. 594-602, 1986.
- Chomsky, N.: "Formal properties of grammars", Handbook of Math. Psych.,
Vol. 2, 323-418, John Wiley and Sons, New York, 1963.
- Chomsky, N.; Schutzenberger, M.P.: "The algebraic theory of context-free
languages", Computer Programming and Formal Systems, 118-161, North Holland,
Amsterdam, 1963.
- Fischer, Charles N.; LeBlanc Jr., Richard J.: "Crafting a compiler",
The Benjamin/Cummings Publishing Co., Menlo Park, 1988. HIT.
- Fischer, Charles N.; LeBlanc Jr., Richard J.: "Crafting a compiler with
C", The Benjamin/Cummings Publishing Co., Redwood City, 1991. BII.
- Goldberg, R.; Oden, P.: "Data Types and Data Type Extensions in
Programming Languages", IBM Research RC 4651, 1973.
- Gordon, M.J.C.: "The Denotational Description of Programming Languages",
Springer-Verlag, New York, 1979.
- Gries, D.: "Compiler Construction for Digital Computers", John Wiley and
Sons, New York, 1971.
- Harrison, W.H.: "The Production of Canonical Forms for Data Type
Representations", IBM Research RC 4420, 1973.
- Holub, Allen: "Compiler Design in C", Prentice Hall, 1990. ISBN
0-13-155045-4.
- Hopcroft, J.E.; Ullman, J.D.: "Introduction to Automata Theory,
Languages and Computation", Addison-Wesley, Reading, MA, 1979.
- Knuth, D.E.: "The Art of Computer Programming. Vol. 1: Fundamental
Algorithms". Addison-Wesley, Reading, MA, 1968.
- Ko-Yang W.: "Array Reshaping - A Mechanism for Optimizing Array Storage
for Parallel Computers", IBM Research RC 18583, 1994.
- Lewis, C.H.; Rosen, B.K.: "Recursively Defined Data Types, Part I",
IBM Research RC 4429, 1973.
- Lewis, P.M.II; Rosenkrantz, D.J.; Stearns, R.E.: "Compiler Design
Theory". Addison-Wesley, Reading, MA, 1976.
- Marcotty, M.; Ledgard, H.F.; Bochmann, G.V.: "A Sampler of Formal
Definitions", Computing Surveys, 8:2, pp. 191-276, June 1976.
- More, T.: "Axioms and Theorems for a Theory of Arrays", IBM Journal of
Research and Development, 17:2, pp. 135-175, 1973.
- Schreiner, A.T.; Friedman, H.J.: "Introduction to Compiler
Construction in UNIX", 1986.
- Trimble, R.: "Storage Management in IBM APL Systems", 1991?.
- Watt, S.M.; Broadbery, P.A.; Dooley, S.S.; Iglio, P.: "A First Report on
the A# Compiler (including benchmarks)", IBM Research RC 19529, 1994.
- Watt, S.M.; "A# Language Reference", IBM Research RC 19530, 1994.
Inteligencia Artificial
- Bhaskar, R.; Haas, N.: "Selecting Explanations Using Multiple Sources of
Knowledge", IBM Research RC 13562, 1988.
- Bhaskar, R.; Haas, N.: "Learning Using Classroom Knowledge",
IBM Research RC 14780, 1989.
- Buxton, B.; Cipolla, R.: "Computer Vision - ECCV '96", Fourth European
Conference on Computer Vision, Cambridge, UK, April 14-18, 1996. 2 vols.
Lecture Notes in Computer Science, Vol. 1064. 1996. XXI, 725/723 pp. Softcover
DM 134 each, ISBN 3-540-61122-3 y ISBN 3-540-61123-1.
The European Conference on Computer Vision (ECCV) has established itself
as a major event in this exciting and very active field of research and
development. These refereed two-volume proceedings include the 123 papers
accepted for presentation at the 4th ECCV, held in Cambridge, UK, in April 1996;
these papers were selected from a total of 328 submissions and together give a
well-balanced reflection of the state of the art in computer vision. The papers in
Volume I are grouped in sections on structure from motion; recognition;
geometry and stereo; texture and features; tracking; grouping and
segmentation; stereo; and recognition, matching, and segmentation. The papers
in Volume II are grouped in sections on color vision and shading; image features;
motion; medical applications; trakking; applications and recognition; calibration,
focus, and optics; applications; and structure from motion.
- Feigenbaum, E.A.: "Turing Award Lecture", Comm. ACM, 39:5, May. 1996. BII.
- Harmon, P.: "Object-Oriented AI: A Commercial Perspective", Comm. ACM,
38:11, pp. 80-87, Nov. 1995.
- Jeffrey, J.; Lobo, J.; Murata, T.: "A High-Level Petri Net for
Goal-Directed Semantics of Horn Clause Logic", IEEE Knowledge & Data Eng.,
8:2, 1996. BII.
- Kasturi, R.; Tombre, K. (Eds.): "Graphics Recognition. Methods and Applications",
First International Workshop, University Park, PA, USA,
August (10-11), 1995. Lecture Notes in Computer Science, Vol. 1072.
1996. X, 308 pp. Softcover DM 70, ISBN 3-540-61226-2.
The 23 full papers included are divided into sections on
low-level processing, vectorization and segmentation of
scanned graphics documents; symbol and diagram recognition,
map processing, interpretation of engineering drawings. Each
section contains both survey articles to assess the state of
the art, and research papers presenting novel results. One
section is devoted to a contest held to determine the best
algorithm for detection of dashed lines in drawings. The final chapter
summarizes the conclusions and recommendations
of the discussions held during the workshop.
- Konar, A.; Mandal, A.K.: "Uncertainty Management in Expert Systems Using
Fuzzi Petri Nets", IEEE Knowledge & Data Eng., 8:1, 2-96. BII.
- Langley, P.; Simon, H.A.: "Applications of Machine Learning and Rule
Induction", Comm. ACM, 38:11, pp. 54-64, Nov. 1995.
- Pawlak, Z.; Grzymala-Busse, J.; Slowinski, R.; Ziarko, W.: "Rough Sets",
Comm. ACM, 38:11, pp. 88-95, Nov. 1995.
- Reddi, R.: "Turing Award Lecture", Comm. ACM, 39:5, 1996. BII.
- Reddi, R.: "The Challenge of Artificial Intelligence". Computer, 29:10,
pp. 86-98. 10-96. BII.
Representación y adquisición del conocimiento
- Lenat, D.B.: "CYC: A Large-Scale Investment in Knowledge Infrastructure",
Comm. ACM, 38:11, pp. 32-38, Nov. 1995.
Mecanización de la Lógica, las Matemáticas y Teoría de Restricciones
- Belfer, A.: "A Combinatorial Approach to Temporal Reasoning",
IBM Research RC 15746, 1990.
- Bratko, I.; Muggleton, S.: "Applications of Inductive Logic Programming",
Comm. ACM, 38:11, pp. 65-70, Nov. 1995.
- Chaitin, G.J.: "Algorithmic Information and Evolution", IBM Research RC
15240, 1989.
- Chudnovsky, D.V.; Chudnovsky, G.V.: "Computational and Arithmetic
Nature of Classical Constants", IBM Research RC 14950, 1989.
- Console, L.; Portinale, L.; Dupré, D.T.: "Using Compiled Knowledge to
Guide and Focus Abductive Diagnosis", IEEE Knowledge & Data Eng., 8:5, 10-96.
BII.
- Corella, F.: "An Approach to the Mechanization of Set Theory",
IBM Research RC 14062, 1988.
- Goguen Jr., J.A.: "Axioms, Extensions and Applications for Fuzzy Sets:
Languages and the Representation of Concepts", IBM Research RJ 4136, 1973.
.
- Halpern, J.Y.; Rabin, M.O.: "A Logic to Reason about Likelihood",
IBM Research RJ 4136, 1983.
- Helm, A.R.: "Detecting and Eliminating Redundant Derivations in Logic
Programming Systems", IBM Research RC 14243, 1988.
- Kesim, F.N.; Sergot, M.: "A Logic Programming Framework for Modeling
Temporal Objects", IEEE Knowledge & Data Eng., 8:5, 10-96. BII.
- Lucas, P.; Risch, T.: "Representation of Factual Information by
Equations and their Evaluation", IBM Research RJ 3362, 1982.
- Miglioli, P.; Moscato, U.; Mundici, D.; Ornaghi M. (Eds.):
"Theorem Proving with Analytic Tableaux and Related Methods"
5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May
15-17, 1996. Lecture Notes in Artificial Intelligence, Vol. 1071.
1996. X, 330 pp. Softcover DM 70, ISBN 3-540-61208-4.
The 18 full revised papers included together with two invited papers present
state-of-the-art results in this dynamic area of research. Besides more
traditional aspects of tableaux reasoning, the collection also contains several
papers dealing with other approaches to automated reasoning. The spectrum of
logics dealt with covers several nonclassical logics, including modal,
intuitionistic, many-valued, temporal and linear logic.
- Revesz, G.: "On Translating Ordinary Mathematical Notation",
IBM Research RC 15281, 1989.
- Risch, T.: "An Interpreter for Functional Rules", IBM Research RJ 3360,
1982.
- Sheridan, P.B.; Haridi, S.; Sahlin, D.: "Equalog: An Experimental
Prolog-Based Equation Solver", IBM Research RC 13434, 1988.
- Sheridan, P.B.; Haridi, S.; Sahlin, D.: "Equalog: An Experimental
Prolog-Based Equation Solver", IBM Research RC 13464, 1988.
Vida y evolución artificiales
- "Neural Networks", Computer, 29:3, 3-96. 6 artículos. BII.
- Alliot, J.M.; Lutton, E.; Ronald, E.; Schoenauer, M.; Snyers, D. (Eds.):
"Artificial Evolution", European Conference, AE '95, Brest, France, September
4-6, 1995. Selected Papers. Lecture Notes in Computer Science, Vol. 1063.
1996. XIII, 396 pp. Softcover DM 86, ISBN 3-540-61108-8.
This volume presents a collection of revised refereed papers selected from
the contributions presented at the European Conference on Artificial Evolution;
also included are a few papers from the predecessor conference, AE '94.
Besides two invited surveys on evolution strategies and evolutionary
programming, 24 full papers are presented. They are grouped into sections on
evolutionary computation theory, genetic algorithm techniques, coevolution,
neural networks, image processing, and applications to various optimization and
other problems.
- Maes, P.: "Artificial Life Meets Entertainment: Lifelike Autonomous
Agents", Comm. ACM, 38:11, pp. 108-114. Nov. 1995.
- Nadas, A.: "Probabilistic Hidden Perceptrons, Artificial Neural Nets and
their Training by an EM Algorithm", IBM Research RC 16603, 1991.
- Palmer, C.C.; Hershenbaum, A.: "Representing Trees in Genetic Algorithms",
IBM Research RC 19718, 1994.
- Sims, K.: "Evolving Virtual Creatures", Computer Graphics (SIGGRAPH '94
Proc.), July 1994, pp. 15-22.
- Sims, K.: "Evolving 3D Morphology and Behavior by Competition", Artificial
Life IV Proc., ed. R. Brooks & P. Maes, MIT Press, 1994, pp. 28-39.
- Srinivas, M.; Patnaik, L.M.: "Genetic Search: Analysis Using Fitness
Moments", IEEE Knowledge & Data Eng., 8:1, 2-96. BII.
Agentes
- "Intelligent Agents", Comm. ACM, 37:7. Jul. 1994.
- Atkins, D.E. et al.: "Toward Inquiry-Based Education Through Interacting
Software Agents", Computer, 29:5, 5-96. BII.
- Chen, H.; Houston, A.; Nunamaker, J.; Yen, J.: "Toward Intelligent Meeting
Agents", Computer, pp. 40-46, 29:8, 8-96. BII.
- Maes, P.: "Artificial Life Meets Entertainment: Lifelike Autonomous
Agents", Comm. ACM, 38:11, pp. 108-114. Nov. 1995.
- Perram, J.; Müller, J.P. (Eds.): "Applications of Multi-Agent Systems"
6th European Workshop on Modeling Autonomous Agents in
a Multi-Agent World, MAAMAW '94, Odense, Denmark,
August 1994. Lecture Notes in Artificial Intelligence, Vol. 1069.
1996. VIII, 219 pp. Softcover DM 54, ISBN 3-540-61157-6.
The 15 revised full papers included in the book were carefully selected
from the workshop contributions; they address various current aspects of
multi-agent systems, with a certain focus on applicational aspects. In
addition, there is an invited paper "Agents: towards a society in which humans
and computers cohabitate" by Mario Tokoro.
Interfaces de usuario
- Alben, L.: "Quality of Experience: Defining the Criteria for Effective
Interaction Design", III.3, 5-1996. BII.
- Balaguer, J.F.; Gobbetti, E.: "3D User Interfaces for General-Purpose 3D
Animation", Computer, pp. 40-46, 29:8, 8-96. BII.
- Butler, K.A.: "Usability Engineering Turns 10", Interactions, III.1,
1-1996. BII.
- Carroll, J.M.; Rosson, M.B.: "Deliberated Evolution: Stalking the View
Matcher in Design Space", IBM Research RC 16646, 1990.
- Collins, D.: "What is an object-oriented user interface?", Draft paper,
1990.
- Gentner, D.R.; Grudin, J.: "Design Models for Computer-Human Interfaces",
Computer, 29:6, 6-96. BII.
- Greenberg, S.: "Teaching Human Computer Interaction to Programmers"
Interactions, III.4, 7-1996. BII.
- Känel, J. von: "Cut and Paste of Complex Interrelated Objects",
IBM Research RZ 2126, 1991.
- Lowgren, J.; Nordquist, T.: "Knowledge-based Evaluation as Design Support
for Graphical User Interfaces", CHI'92, 1992.
- Mead, P.; Pacione, C.: "Time and Space", Interactions, III.2, 3-1996. BII.
- Milligan, C.; Murdock, M.: "Testing with Kids and Teens at Iomega",
Interactions, III.5, 9-1996. BII.
- Raskin, J.: "Wanted for crimes against the interface", Interactions,
III.6, 11-1996. BII.
- Rudd, J.; Stern, A.; Isensee, S.: "Low vs. High-Fidelity Prototyping
Debate", Interactions, III.1, 1-1996. BII.
- Saiz, F.; Contreras, J.; Moriyón, R.: "KIIS: A System for Interactive
Modification of Model-Based Interfaces", fotocopia.
- Warburton, R.: "User-Driven Design. A Method for Designing
Object-Orientated User Interfaces", IBM Application Development Solutions
Centre, 1993.
Multimedia, Gráficos, etc.
- "Coded Representation of Multimedia and Hypermedia Information", MHEG
(Multimedia and Hypermedia information coding Expert Group) Working Document
S, Verison 2, Jul. 1990.
- "Hypertext: theory into practice", ed. Ray McAleese, Blackwell Scientific
Publications, Oxford, 1989.
- "OpenDoc: Shaping Tomorrow's Software", White Paper, Apple Computer, 1993.
- "Special Section on Virtual Reality", Comm. ACM, 39:5, May. 1996. 5
artículos. BII.
- Faison, B. Smith: "From Traditional to Computer-Based Tools: Graphic
Design Educators and Practitioners in Transition", Interactions, III.1,
1-1996. BII.
- Huang, K.T.; Fan, T.J.; Machlin, R.; Wang, C.; Chang, I.: "Medical
Application Hypermedia Authoring System", IBM Research RC-14553, 1989.
- Kahn, K.: "Drawings on Napkins, Video-Game Animation, and Other Ways to
Program Computers", Comm. ACM, 39:8, pp. 49-59, Ago. 1996. BII.
- Lavin, M.; Flickner, M.: "An Object-Oriented Language for Image and Vision
Execution (OLIVE)", IBM Research RC-14242, 1988.
- Lieberman, H.: "Intelligent graphics", Comm. ACM, 39:8, pp. 38-48, Ago.
1996. BII.
- Morad, M.: "A Multimedia Information Exchange System", IBM Research RC
16684, 1991.
- OpenDoc Design Team: "OpenDoc Technical Summary", version 1.0, Apple
Computer, 1993.
- Palermo, F.; Weller, D.: "Picture Building System", IBM Research RJ 2436,
1979.
- Wactlar, H.D. et al.: "Intelligent Access to Digital Video: Informadia
Project", Computer, 29:5, 5-96. BII.
- Williams, R.: "A Picture Building System", IBM Research RJ 1560, 1975.
Simulación
- Becker, H.A.: "Computer Simulation of Social Systems: an Overview", 4th
Int. Congress of Cybernetics and Systems, Amsterdam, 1978.
- Benham, R.D.; Taylor, G.R.: "Interactive Simulation Language for Hybrid
Computers", Interactive Mini Systems, Inc., 1975.
- Bingulac, S.P.; Stojic, M.: "Iterative Calculations via the Block-Oriented
Simulation Languages", ?, 1978?.
- Douglas, C.C.; George, D.A.; Henderson, M.E.: "Object Classes for
Numerical Analysis", IBM Research RC 19480, 1994.
- Friedman, G.J.; Leondes, C.T.: "Constraint Theory", 4 Parts. IEEE Trans.
on Systems Science and Cybernetics, V. 5:1, Jan. 1969, pp. 48-56; V. 5:2, Abr.
1969, pp. 132-140; V. 5:3, Jul. 1969, pp. 191-199; V. 6:2, Abr. 1970, pp.
154-157.
- Galligani, I.; Moltedo, L.: "An Interactive System for Modeling", 1976?.
.
- Gaskill, R.A.: "A Versatile Problem-Oriented Language for Engineers", IEEE
Trans. on ELectronic Computers, Aug. 1964, pp. 415-420.
- Gebarter, W.B.: "An Adaptive Model of Man for Use in Social Systems
Simulation", Int. Congress of Cybernetics and Systems, Oxford, 1972.
- Inoue, M.S.: "Markov Simulation by Iterative Process: A Pedagogic Tool in
Man-Machine Symbiosis", ?, 1972? pp. 295-341.
- Knepell, P.L.; Arangno, D.C.: "Simulation Validation", IEEE Computer
Society Press, Los Alamitos, 1993. ISBN: 0-8186-3512-6. HIT.
- Korn, G.: "Analog and Hybrid Computers in Engineering Education",
Engineering Education, Apr. 1968, pp. 933-938.
- Korn, G.: "Progress of Analog/Hybrid Computation", 5th International
Analogue Computation Meetings, 1968?.
Apr. 1968, pp. 933-938.
- Naylor, T.H.; Balintfy, J.L.; Burdick, D.S.; Chu, K.: "Computer Simulation
Techniques", John Wiley & Sons, Inc., New York, 1968. pp. 310-341.
- Shannon, R.E.; Mayer, R.; Adelsberger, H.H.: "Expert Systems and
Simulation", Simulation, 44:6, pp. 275-284, 1985.
- Syn, W.M.; Dost, M.H.: "DSL/DP: A High-Level Language for the Simulation
of Continuous Systems", IBM Scientific Computation Symposium, Burlington, Jun.
1975.
- Urquhart, J.; Krall, R.L.; Li, C.C.: "Analysis of the Koritz-Hall
Hypothesis for the Regulation of Steroidogenesis by ACTH", Endocrinology,
83:2, 1968, pp.390-394.
Secretion", American Journal of Physiology, 214:1, Jan. 1968. pp. 73-85.
- Urquhart, J.; Li, C.C.: "The Dynamics of Adrenocortical Secretion",
American Journal of Physiology, 214:1, Jan. 1968. pp. 73-85.
- Urquhart, J.; Li, C.C.: "Dynamic Testing and Modeling of Adrenocortical
Secretory Function", Annals of the New York Academy of Sciences, vol. 156,
pp.756-778, 1969.
- Urquhart, J.: "Blood-borne Signals. The Measuring and Modelling of Humoral
Communication and Control", The Physiologist, Feb. 1970.
- Vichnevetsky, R.: "Simulation in Research and Development", American
Management Association Bulletin, No. 125, 1969.
Enseñanza
- "Learner-Centered Design", Comm. ACM, 39:4, 4-96. 10 artículos. BII.
- "Using Computational Media to Facilitate Learning", Comm. ACM, 39:8, 8-96.
9 artículos. BII.
- Kahn, K.: "Drawings on Napkins, Video-Game Animation, and Other Ways to
Program Computers", Comm. ACM, 39:8, pp. 49-59, Ago. 1996. BII.
- Atkins, D.E. et al.: "Toward Inquiry-Based Education Through Interacting
Software Agents", Computer, 29:5, 5-96. BII.
- Contreras, J.; Moriyón, R.: "Automatic Generation of Software Tutoring
based on Tasks", fotocopia.
- Contreras, J.; Saiz, F.: "A Framework for the Automatic Generation of
Software Tutoring", fotocopia.
- Frasson, C.; Gauthier, G.; Lesgold, A.: "Intelligent Tutoring Systems",
Third International Conference, ITS'96, Montreal, Canada, June 12 - 14, 1996.
Proceedings. (Lecture Notes in Computer Science. Vol. 1086).
This book presents the refereed proceedings of the Third International
Conference on Intelligent Tutoring Systems, ITS '96, held in Montreal, Canada,
in June 1996. The book contains 69 revised papers selected from a total of
128 submissions; also included are six invited papers from well-known
speakers. All in all, the book reflects the state-of-the-art in the area. In
particular the following topics are covered: advising systems, ITS
architectures, cognitive models, design issues, empirical studies, formal
models, learning environments, real-world applications, software tools for
tutoring, student modelling, teaching and learning strategies, and multimedia
and WWW.
- Gal-Ezer, J.; Beeri, C.; Harel, D.; Yehudai, A.: "A High School Program
in Computer Science", Computer, pp. 73-80. Oct. 95.
- Resnick, M.; Martin, F.; Bruckman, A.: "Computational Construction Kits",
interface", Interactions, III.5, 9-1996. BII.
- Saddler, H.: "Seeing the Light Go On: The Apple Design Project",
Interactions, III.3, 5-1996. BII.
- Sánchez Beltrán, J.P.: "El programa educativo Science-By-Mail", Bit, n.
96, pp. 79-80, Ene. 1996.
- Schneider, K.: "Children and Information Visualization Technologies",
Interactions, III.5, 9-1996. BII.
- Shneiderman, B.; Alavi, M.; Norman, K.; Borkowski, E.Y.: "Log On
Education: Windows of Opportunity in Electronic Classrooms", Comm. ACM, 38:11,
pp. 19-24, Nov. 1995.
- Singley, M.K.; Carroll, J.M.; Alpert, S.R.; "Incidental Reification of
Goals in an Intelligent Tutor for Smalltalk", IBM Research RC 18184, 1992.
.
- Smith, D.C.; Cypher, A.; Schmucker, K.: "Making Programming Easier for
Children", Interactions, III.5, 9-1996. BII.
- Soloway, E.; Pryor, A.: "Log on Education: The Next Generation in
Human-Computer Interaction". Comm. ACM., 39:4, 4-96. BII.
Software en general
- "Proceedings of the 1994 International Symposium on Software Testing and
Analysis (ISSTA)", Software Engineering Notes, Special Issue. 1994.
- "Proceedings of the 1996 International Symposium on Software Testing and
Analysis (ISSTA)", Software Engineering Notes, 21:3, 1996.
- "Proceedings of the Symposium on Software Reusability", Software
Engineering Notes, Special Issue. Aug. 1995.
- "Proceedings of the Symposium on Software Reusability", Software
Engineering Notes, 22:3. May. 1997. BII.
- "Proceedings of the Third ACM SIGSOFT Symposium on the Foundations of
Software Engineering", Software Engineering Notes, 21:6, Nov. 1996.
- "Proceedings of the Third ACM SIGSOFT Symposium on the Foundations of
Software Engineering", Software Engineering Notes, 20:4, Oct. 1995.
- "System Testing and Reliability", Computer, 29:11, 11-96. 7 artículos.
BII.
- Abramson, D.; Foster, I.; Michalakes, J.; Sisic, R.: "Relative Debugging:
A New Methodology for Debugging Scientific Applications", Comm. ACM., 39:11,
pp.69-77, Nov. 96. BII.
- Boloix, G.; Robillard, P.N.: "A Software System Evaluation Framework",
Computer, pp. 17-26, Dec. 95.
- Carey, D.: "Is Software Quality Intrinsic, Subjective or Relational",
ACM Software Engineering Notes, 21:1, pp.74-75, Jan. 1996.
- Carroll, J.M.: "Making Use A Design Representation", IBM Research RC
19287, 1992.
- Haag, S.; Raja, M.K.; Schkade, L.L.: "Quality Function Deployment Usage in
Software Development", Comm. ACM, 39:1, pp. 41-49, Jan. 1996. BII.
- Hansen, G.A.: "Simulating Software Development Processes",
Computer, pp. 73-78, 29:1, 1-96. BII.
- Harrison, W.H.; Ossher, H.; Sweeney, P.F.: "Coordinating Concurrent
Development of Software", IBM Research RC 15514, 1990.
- Kogut, P.: "Design Reuse: Chemical Engineering vs. Software Engineering",
Software Engineering Notes, pp. 73-77, 20:5, Dec. 1995.
- Maarek, Y.S.; Berry, D.M.; Kaiser, G.E.: "Automatically Generating
Software Libraries without Pre-Encoded Lnowledge",
IBM Research RC 14990, 1989.
- Raccoon, L.B.S.: "The Chaos Strategy", Software Engineering Notes, pp.
40-47, 20:5, Dec. 1995.
OOT-OOP-OOA-OOD
- "Advances in Object-Oriented Software Engineering", ed. B. Meyer, D.
Mandrioli, Prentice Hall, Englewood Cliffs, NJ, 1991.
- "ECOOP 89", Proceedings of the Third European Conference on
Object-Oriented Programming, ed. S. Cook, Cambridge University Press,
Cambridge, U.K., 1989.
- "Object-Oriented Computing", 2 vols, ed. G. Peterson, IEEE order no. 821,
822, 1987.
- "OOPSLA 86", Proceedings of the First A.C.M. Conference on Object-Oriented
Programming Systems, Languages and Applications, A.C.M. Press, New York, NY,
1986.
- "OOPSLA 87", Proceedings of the Second A.C.M. Conference on
Object-Oriented Programming Systems, Languages and Applications, A.C.M. Press,
New York, NY, 1987.
- "OOPSLA 88", Proceedings of the Third A.C.M. Conference on Object-Oriented
Programming Systems, Languages and Applications, A.C.M. Press, New York, NY,
1988.
- "OOPSLA 89", Proceedings of the Fourth A.C.M. Conference on
Object-Oriented Programming Systems, Languages and Applications, A.C.M. Press,
New York, NY, 1989.
- "OOPSLA 90", Proceedings of the Fifth A.C.M. Conference on Object-Oriented
Programming Systems, Languages and Applications, A.C.M. Press, New York, NY,
1990.
- "The OOTC bibliography for object-oriented technology", IBM
Object-oriented Technology Center, 1993.
- Alfonseca, M.; Alcalá, A.: "Programación Orientada a Objetos", Anaya
Multimedia, Madrid, 1992.
- Basili, V.R.; Briand, L.C.; Melo, W.L.: "How Reuse Influences Productivity
in OO Systems", Comm. ACM, 39:10, pp. 104-116, Oct. 1996. BII.
- Belisle, J.: "OMG Standards for Object-Oriented Programming", AIXpert, pp.
38-42, Aug. 1993.
- Bic, L.F.; Fukuda, M.; Dillencourt, M. B.: "Distributed Computing using
Autonomous Objects", Computer, pp. 40-46, 29:8, 8-96. BII.
- Campo, M.; Price, R.T.: "Helping Framework Understanding through
Introspection of Examples", fotocopia.
- Cox, B.: "Object-Oriented Programming: an Evolutionary Approach",
Addison-Wesley, Reading, MA, 1986. LAB2000.
- Danforth, S.H.; Koenen, P.; Tate, B.: "Objects for OS/2", Van Nostrand
Reinhold, New York, 1994.
- Douglas, P.; Alliger, G.M.; Goldberg, R.: "Client-Server and
Object-Oriented Training: Refining the Curriculum", Computer, 29:6, 6-96.
BII.
- El-Rewini, H., et al: "Object Technology: A Virtual Roundtable",
Computer, pp. 58-72, Oct. 95. ***
- Fayad, M.E.; Tsai, W.T.; Fulghum, M.L.: "Transition to Object-Oriented
Software Development", Comm. ACM, 39:2, pp. 108-121, Feb. 1996. BII.
- Goldsack, S.J.; Kent, S.J.: "Formal Methods and Object Technology",
(Formal Approaches to Computing and Information Technology (FACIT). Ed.:
S.A. Schuman), 1996. Softcover DM 88,-; ISBN 3-540-19977-2.
This book presents an overview of two approaches to software
engineering - formal methods and object-oriented techniques - and by
extracting the best aspects of each demonstrates how better and safer
software is being developed. Three main strands of research are identified and
discussed: the application of formal techniques to object technology; the
extension of formal methods with object-oriented concepts; and the formal
foundations of object technology. Examples of each approach are included and
areas such as concurrency and real time, which are especially important in the
development of large scale, distributed and safety critical systems, are
addressed. By focusing on these two, previously independent, techniques and
illustrating how their merger is resulting in the development of tools which are
essential to the development of large scale software the editors of this book
have provided valuable coverage of this rapidly developing and important area.
- Harrison, W.; Ossher, H.: "Subject-Oriented Programming (A Critique of
Pure Objects)", IBM Research RC 18826, 1993.
- Hartweg, Larry; "A uniform theory for object-oriented enterprise
modeling", draft paper, 1990.
- Islam, N.: "Distributed Objects", IEEE Computer Society Press, Los
Alamitos, CA, 1996. ISBN: 0-8186-7193-9. HIT.
- Lorenz, M.; Kidd, J.: "Object-Oriented Software Metrics", Prentice Hall,
Englewood Hills, 1994. ISBN: 0-13-179292-X. HIT.
- Love, T.: "Object Lessons", Sig Books, New York, 1993. ISBN:
0-9627477-3-4.
- Meyer, B.: "Object-Oriented Software Construction", Prentice Hall,
Englewood Cliffs, NJ, 1988. LAB2000. BII.
- Nackman, L.R.; Barton, J.J.: "Base-Class Composition with Multiple
Derivation and Virtual Classes", IBM Research RC 19458, 1994.
- Orfali, Bob; Harkey, Dan; Edwards, J.: "The Essential Distributed Objects
Survival Guide", John Wiley and Sons, New York, 1996. ISBN: 0-471-12993-3.
BII.
- Paepcke, A. et al.: "Using Distributed Objects for Digital Library
Interoperability", Computer, 29:5, 5-96. BII.
- Reeves, Cliff; Orfali, Bob; Harkey, Dan: "A Distributed Object Road
Map for Developers", OS/2 Developer, pp.31-37, 9-10/1994.
- Retig, M.; Simons, G.; Thomson, J.: "Extended Objects", Comm. ACM, 36:8,
pp. 19-24, Aug. 1993.
- Rine, D.C.: "Structural Defects in Object-Oriented Programming" ACM
Software Eng. Notes, 21:2, 3-96.
- Rubin, K.S.; Goldberg, A.: "Object Behaviour Analysis", Comm. of the ACM,
vol. 35 no. 9, pp. 48-62, September 1992.
- Rundensteiner, E.A.; Bic, L.: "Set Operations in Object-Based Data Models,
IEEE Trans. Knowledge and Data Eng., Vol. 4:4, pp. 382-398, Aug. 1992.
- Ruuskanen, Jouko; Singh, Raj: "Understanding object-orientation
techniques", draft paper, 1990.
- Selic, B.; Gullekson, G.; Ward, P.T.: "Real-time Object-Oriented
Modeling", John Wiley & Sons, New York, 1994. ISBN: 0-471-59917-4. HIT.
- Sharble, R.C., Cohen, S.S.: "The Object-Oriented Brewery: A Comparison of
Two Object-Oriented Development Methods", ACM SigSoft, 18:2, pp. 60-73, Apr.
1993.
- Taylor, D.A.: "Object-Oriented Technology: A Manager's Guide",
Addison-Wesley, Reading, MA, 1990. ISBN: 0-201-56358-4.
- Winblad, A. L.; Edwards, S. D.; King, D. R.: "Object-Oriented
Software", Addison-Wesley, Reading, MA, 1990. LAB2000.
- Xu, D.; Zheng, G.: "Inheritance as Sublation and its Semantics", Software
Engineering Notes, pp. 62-66, 20:5, Dec. 1995.
Lenguajes y Sistemas
Ver también C++ y Smalltalk.
- "Taligent's Guide to Designing Programs", Taligent Press, Addison-Wesley,
Reading, MA, 1994. ISBN: 0-201-40888-0.
- Alfonseca, M.: "Object Oriented Programming in APL2", APL Quote Quad (ACM
SIGAPL), Vol. 19:3, p. 6-11, Aug. 1989.
- Alfonseca, M.: "Frames, Semantic Networks and Object Oriented Programming
in APL2", IBM Jour. Res. Development, Vol. 33:5, pp. 502.510, Sep. 1989.
- Dalal, M.: "OOLP: A Translation Approach to Object-Oriented Logic
Programming", IBM Research RC 15021, 1989.
- Greco, S.; Leone, N.; Rullo, P.: "COMPLEX: An Object-Oriented Logic
Programming System", IEEE Trans. Knowledge and Data Eng., Vol. 4:4, pp.
344-359, Aug. 1992.
- Kaehler, C.: "HyperCard Power. Techniques and Scripts", Addison-Wesley,
Reading, MA, 1988.
- Kitza, W.: "Inside HyperCard", Addison-Wesley, Reading, MA, 1988.
- Lau, C.: "Object-Oriented Programming using SOM and DSOM", Van Nostrand
Reinhold, New York, 1994. ISBN: 0-442-01948-3.
- Meyer, B.: "Eiffel, The Language", Prentice Hall, Englewood Cliffs, 1991.
- Sanchis Llorca: "Programación en Lenguaje PASCAL", Paraninfo.
- "Turbo Pascal 6.0", Borland International Scotts Valley, CA, 1990.
OOA-OOD
- "Managing Object-Oriented Software Development", Computer, 29:9, 9-96. 6
artículos. BII.
- Beck, K.; Cunningham, W.: "A laboratory for teaching object-oriented
thinking", Proc. of Object-Oriented Programming Systems, Languages and
Applications 1989 (OOPSLA '89). SIGPLAN Notices, Vol. 24, No. 10, October 89,
pp 1-6.
- Booch, G.: "Object-Oriented Analysis and Design with Applications",
Benjamin/Cummings, Redwood City, 1994. ISBN: 0-8053-5340-2. 589 páginas. BII.
Existe traducción española: "Análisis y diseño orientado a objetos",
Addison-Wesley/Díaz de Santos, Madrid, 1996.
- Coad, P.; Yourdon, E.: "Object-Oriented Analysis", Prentice Hall,
Englewood Cliffs, 1991.
- Coad, P.; Yourdon, E.: "Object-Oriented Design", Prentice Hall, Englewood
Cliffs, 1991.
- Desfray, P.: "Automated Object Design: The Client-Server Case", Computer,
29:2, 2-96. BII.
- Hutt, A.T.F.: "Object Analysis and Design: Description of Methods", John
Wiley & Sons, New York, 1994. ISBN 0 471-62366-0. BII.
- Jacobson, I.: "Object-Oriented Software Engineering: A Use Case Driven
Approach", Addison-Wesley, Reading, Mass, 1992. ISBN: 0-201-54435-0. BII.
- Kurtz, B. et al: "Object-Oriented Systems Analysis and Specification",
Prentice Hall, Englewood Cliffs, 1991.
- Martin, James; Odell, James.: "Object-Oriented Analysis and Design",
Prentice Hall, Englewood Cliffs, NJ, 1992.
- Martin, J.; Odell, J.: "Object-Oriented Methods: a Foundation", Prentice
Hall, Englewood Cliffs, 1995. ISBN: 0-13-630856-2. BII.
- Mazhindu-Shumba, R.: "A comment on the notation of the Wirfs-Brock et al
OO Method", Software Engineering Notes, 21:5, Sep. 1996.
- Robertson, S.P.: "Generating Object-Oriented Design Representations Via
Scenario Queries", IBM Research RC 19284, 1993.
- Rosson, M.B.: "The Cognitive Consequences of Object-Oriented Design",
IBM Research RC 14191, 1988.
- Rosson, M.B.; Carroll, J.M.: "Integrating Scenario Evolution with
Application Development", IBM Research RC 19290, 1993.
- Rumbaugh, J.; Blaha, M.; Premerlani, W.; Eddy, F.; Lorensen, W.:
"Object-Oriented Modelling and Design", Prentice Hall, Englewood Cliffs, 1991.
ISBN 0-13-630054-5. BII. Existe traducción española: "Modelado y diseño
orientados a objetos", Prentice Hall, 1995.
- Shlaer, S.; Mellor, S.J.: "Object-Oriented System Analysis: Modelling the
World in Data", Prentice Hall, Englewood Cliffs, NJ, 1988.
- Watanabe, H.; Maruyama, H.: "LOOX (Lisp/VM Object-Oriented eXtension) ver
1.4 Users Manual", Internal Report, Tokyo Research Laboratory, Feb. 1988.
- Winblad, A.L.; Edwards, S.D.; King, D.R.: "Object-Oriented Software",
Addison-Wesley, Reading, MA, 1990. ISBN: 0-201-50736-6. LAB2000.
- Wirfs-Brock, R.; Wilkerson, B.; Wiener, L.: "Designing Object-Oriented
Software", Prentice Hall, Englewood Cliffs, 1990. ISBN 0-13-629825-7. LAB2000.
ODBMS
- "ODBMS roadmap for IBM internal users", IBM Object-oriented DBMS
Business Relations Management, 1993.
- "Readings in Object-Oriented Database Systems", ed. S. B. Zdonik, D.
Maier, Morgan Kaufmann Publishers San Mateo, CA, 1990.
- Alagic, S.: "Object-Oriented Database Programming", Springer-Verlag,
Berlín, 1988.
- Atkinson, M. et al.: "The Object-Oriented Database System Manifesto",
Proc. First Intl. Conf. on Deductive and Object-Oriented Databases,
Elsevier, Amsterdam, 1989.
- Bancillion, F.: "Object-Oriented Database Systems", Proc. ACM
SIGACT-SIGMOD Symposium on Principles of Database Systems, Austin, Texas,
1988.
- Barsalou, T.; Siambela, N.; Keller, A.M.; Wiederhold, G.: "Updating
Relational Databases through Object-Based Views", IBM Research RC 16682, 1991.
.
- Bertino, E.; Martino, I.: "Object-Oriented Database Management Systems:
Concepts and Issues", Computer, Vol. 24:4, 4-91.
- Bertino, E.; Negri, M.; Pelagatti, G.; Sbattella, L.: "Object-Oriented
Query Languages: The Notion and the Issues", IEEE Trans. Knowledge and Data
Eng., Vol. 4:3, pp. 223-237, Jun. 1992.
- Bretl, R., et al.: "The GemStone Data Management System", "Object-Oriented
Concepts, Databases, and Applications", ed. W. Kim, F. Lochovsky,
Addison-Wesley, Reading, MA, 1989.
- Cannan, S.: "MOOSE hunting", Proc. of the SHARE Europe Spring Meeting,
Hamburg, Germany, pp. 125-139, 1993.
- Chawathe, S.S.: "On Index Selection Schemes for Nested Object
Hierarchies", IBM Research RC 19388, 1994.
- Deux, O. et al: "The Story of O2", IEEE Trans. on Knowledge and Data
Engineering, 2:1, pp. 91-108, Mar. 1990.
- Gotthard, W.; Lockemann, P.C.; Neufeld, A.: "System-Guided View
Integration for Object-Oriented Databases", IEEE Trans. Knowledge and Data
Eng., Vol. 4:1, pp. 1-22, Feb. 1992.
- Gupta, R.; Horowitz, E.: "Object-Oriented Databases with Applications to
CASE and Networks", Prentice Hall, Englewood Cliffs, NJ, 1991.
- Harrison, W.; Ossher, H.: "Extension-by-Addition: Building Extensible
Software", IBM Research RC 16127, 1990.
- Harrison, W.; Ossher, H.: "The Plus-Plus Object Definition Environment",
IBM Research RC 16283, 1990.
- Harrison, W.; Ossher, H.: "CLORIS - A Clustered Object-Relational
Information Store", IBM Research RC 16723, 1991.
- Hughes, J.G.: "Object-Oriented Databases", Prentice Hall, Englewood
Cliffs, NJ, 1991.
- Ishikawa, H. et al: "An Object-Oriented Database System Jasmine", IEEE
Knowledge & Data Eng., 8:2, 1996. BII.
- Joseph, J., et al: "Object-Oriented Databases: Design and Implementation",
Proceedings of the IEEE, Vol. 79:1, Jan. 1991.
- Kim, W., Garza, J.F., Ballou, N., Woelk, D.: "Architecture of the ORION
Next-Generation Database System", IEEE Trans. on Knowledge and Data
Engineering, 2:1, pp. 109-124, Mar. 1990.
- Kim, W.: "Object-Oriented Databases: Definition and Research Directions",
IEEE Trans. on Knowledge and Data Engineering, 2:3, pp. 327-341, Sep. 1990.
- Lee, S.Y.; Liou, R.L.: "A Multi-Granularity Locking Model for Concurrency
Control in Object-Oriented Database Systems", IEEE Knowledge & Data Eng., 8:1,
2-96. BII.
- Litwin, W.; Risch T.: "Main Memory Oriented Optimization of OO Queries
Using Typed Datalog with Foreign Predicates", IEEE Trans. Knowledge and Data
Eng., Vol. 4:5, pp. 517-528, Dec. 1992.
- Malhotra, A.: "Support for Persistent Objects: Two Architectures",
IBM Research RC 16985, 1991.
- Nahouraii, E.; Petry, F.: "Object-Oriented Databases", IEEE Press, 1991.
HIT.
- Osborn, S.L.: "The Role of Polymorphism in Schema Evolution in an
Object-Oriented Database", IEEE Trans. on Knowledge and Data Engineering, 1:3,
pp. 310-317, Sep. 1989.
- Tsuda, K., Yamamoto, K., Hirakawa, M., Tanaka, M., Ichikawa, T.:
"MORE: An Object-Oriented Data Model with a Facility for Changing Object
Structures", IEEE Trans. on Knowledge and Data Engineering, 3:4, pp. 444-460,
Dec. 1991.
Aplicaciones
- "Applications of Object-Oriented Programming", ed. L.J. Pinson, R.S.
Wiener, Addison-Wesley, Reading, MA, 1990.
- "Object-Oriented Experiences", Comm. ACM, 38:10, pp. 50-101, Oct. 1995. 5
artículos.
- Ballou, N. et al: "Coupling an Expert System Shell with an Object-Oriented
Database System", Jour. of Object-Oriented Programming, Vol. 1:2, June/July
1988.
- Bertino, E.; Negri, M.; Pelagatti, G.; Sbatella, L.: "An Object-Oriented
Data Model for Distributed Office Applications", Proc. ACM-IEEE Conference on
Office Information Systems (COIS90), MIT Press, Cambridge, MA, 1990.
- Sturzenbecker, M.C.: "Building an Object-Oriented Environment for
Distributed Manufacturing Software", IBM Research RC 16481, 1991.
- Swami, S.; Molin, A.; Covnot, B.: "OO-VHDL: Object-Oriented Extensions to
VHDL", Computer, pp. 18-26, Oct. 95.
- Wisskirchen, P.: "Object-Oriented Graphics", Springer-Verlag, Berlín,
1990.
Middleware, Databases (except OO)
- "Data Mining and Knowledge Discovery in Databases", Comm. ACM, 39:11, Nov.
1996. 7 artículos. BII.
- Ackerman, M.S.; Starr, B.: "Social Activity Indicators for Groupware",
Computer, 29:6, 6-96. BII.
- Bernstein, P.A.: "Middleware: A Model for Distributed System Services",
Comm. ACM, 39:2, pp. 86-98, Feb. 1996. BII.
- Codd, E.F.: "Normalized Data Base Structure: A Brief Tutorial", IBM
Research RJ 935, 1971.
- Date, C.J.: "Relational Data Base Concepts", Datamation, pp. 50-53,
Apr. 1976.
- Darwen, H.: "Time Is On Our Side", presentación en el Congreso JIDBD,
Madrid, Jul. 1997.
- Greham, R.: "Building SQL Front Ends", BYTE, pp. 238-246, Nov. 1993.
- Marca, D.; Bock, G.: "Groupware: Software for Computer-supported
Cooperative Work", IEEE Computer Society Press, Los Alamitos, 1992. ISBN:
0-8186-2637-2. HIT.
- Moser, L.E. et al: "Totem: A Fault-Tolerant Multicast Group Communication
System", Comm. ACM, 39:4, 4-96. Otros 6 artículos sobre el mismo tema. BII.
- Scholz, K.W.: "An Algorithm for the Implementation of Query by Example on
a Small Machine", IBM Research RC 5394, 1975.
- Thomas, J.C.; Gould, J.D.: "A Psychological Study of Query by Example",
Proc. National Computer Conference, AFIPS Press, Vol. 44, pp. 439-445, 1975.
.
- Zloof, M.M.: "Query by Example", IBM Research RC 4917, 1974.
- Zloof, M.M.: "Query by Example: The Invocation and Definition of Tables
and Forms", IBM Research RC 5115, 1975.
- Zloof, M.M.: "Query by Example: Operations on the Transitive Closure",
IBM Report, 1976.
Internet
- "The Internet at Home", Comm. ACM, 39:12, Dec. 1996. 6 artículos. BII.
- "Electronic Commerce and the Internet", Comm. ACM, 39:6, Jun. 1996. 10
artículos. BII.
- Berger, H.: "The Client Side of the World-Wide-Web", Comm. ACM, 39:1,
pp. 30-40, Jan. 1996. BII.
- Berners-Lee, T.: "WWW: Past, Present, and Future", Computer, 29:10, pp.
69-78. 10-96. BII.
- Ehn, P.; Löwgren, J.: "The Qualiteque: Systems at an Exhibition",
Interactions, III.3, 5-1996. BII.
- Hamilton, M. A.: "Java and the Shift to Net-Centric Computing", Computer,
pp. 31-39, 29:8, 8-96. BII.
- Kouzes, R.T.; Myers, J.D.; Wulf, W.A.: "Collaboratories: Doing Science on
the Internet", Computer, pp. 40-46, 29:8, 8-96. BII.
- Kwan, T.T.; McGrath, R.E.; Reed, D.A.: "NCSA's WWW Server: Design and
Performance", Computer, pp. 68-74, Nov. 95.
- Levi, M.D.; Conrad, F. G.: "A Heuristic Evaluation of a WWW Prototype",
Interactions, III.4, 7-1996. BII.
- Yourdon, E.: "Java, the Web and Software Development", Computer, pp.
25-30, 29:8, 8-96. BII.
Varios
- "Open Systems", SHARE Europe Proceedings, AM, 1990, 2 vols.
- "CASE and Application Development in Practice", SHARE Europe Proceedings,
AM, 1991, vol I.
- "Managing Communications in a Global Marketplace", SHARE Europe
Proceedings, SM, 1992.
- "Information Technology for Business Advantage", SHARE Europe Proceedings,
AM, 1992.
- "Client/Server. The Promise and the Reality", SHARE Europe Proceedings,
AM, 1993.
- "The Changing Rôle of IT in Business", SHARE Europe Proceedings, SM, 1994.
- GUIDE-SHARE Europe Joint Conference, 1994, 2 vols.
- "Ethics and Computer Use", Comm. ACM, 38:12, pp. 30-84, Dec. 1995. 7
artículos.
- "Computing in Manufacturing", Comm. ACM, 39:2, Feb. 96. 8 artículos.
BII.
- "How to Use Key Escrow", Comm. ACM, 39:3, Mar. 1996. 5 artículos sobre
Criptografía. BII.
- "New Paradigms for Computing", Comm. ACM, 39:4, 8-96. 5 artículos. BII.
- "Technology Transfer", Comm. ACM, 39:9, Sep. 1996. 5 artículos. BII.
- "Fifty Years of Computing", Computer, 29:10, 10-96. 8 artículos. BII.
- "Computer Science Curriculums", Comm. ACM, 39:12, Dec. 1996. 3 artículos.
BII.
- "Computer Applications in Surgery", Computer, 29:1, 1-96. 7 artículos.
BII.
- Brooks Jr., F.P.: "The Computer Scientist as a Toolsmith II", Comm. ACM,
39:3, pp. 61-68, Mar. 1996. BII.
- Bürger, W.F.: "A Front End Development Tool for the PC",
IBM Research RC 10098, 1983.
- Bush, Vannevar: "As We May Think", Interactions, III.2, 3-1996. BII.
- English, E.; Hamilton, S.: "Network Security Under Siege: The Timing
Attack", Computer, 29:3, 3-96. BII.
- Harrison, W.; Kavianpour, M.; Ossher, H.: "Integrating Coarse-Grained and
Fine-Grained Tool Integration", IBM Research RC 17542, 1992.
- Iivari, J.: "Why are CASE tools not used?", Comm. ACM, 39:10, pp. 94-103,
Oct. 1996. BII.
- Loch, K.D.; Conger, S.: "Evaluating Ethical Decision Making and Computer
Use", Comm. ACM, 39:7, pp. 74-83, Jul. 1996. BII.
- Maurer, U. (Ed.): "Advances in Cryptology - EUROCRYPT '96"
International Conference on the Theory and Application
of Cryptographic Techniques, Zaragoza, Spain, May
(12-16), 1996. "Lecture Notes in Computer Science, Vol. 1070.
1996. XII, 417 pp. Softcover DM 86, ISBN 3-540-61186-X.
The book contains revised versions of the 34 papers selected
from a total of 126 submissions. All current aspects of the
booming area of cryptologic research and advanced applications are addressed.
There are sections on cryptanalysis, public key cryptosystems, new schemes
and protocols, multiparty computation, proofs of knowledge, number theory and
algorithms, secret sharing, pseudorandomness, cryptographic functions, key
management and identification schemes, and digital signature schemes.
- Rader, G.M.: "Creating Printed Music Automatically",
Computer, 29:6, 6-96. BII.
- Renaud, P.E.: "Introduction to Client/Server Systems", Wiley, New York,
1993. BII, 681.31 REN.
- Sellers, D.: "Zap! How your computer can hurt you and what you can do
about it", Peachpit Press, Berkeley, 1994. ISBN: 1-56609-021-0. HIT.
- Wood-Harper, A.T.; Corder, S.; Wood, J.R.G.; Watson, H.: "How We Profess:
The Ethical Systems Analyst", Comm. ACM, 39:3, pp. 69-77, Mar. 1996. BII.
Otras Ciencias
- Andreoni, W.; Gygi, F.; Parrinello, M.: "Impurity States in Doped
Fullerenes: C59B and C59N", IBM Research RZ 2235, 1991.
- Edmonds, E.: "Model Formation: An Application of m-Valued Logic", ?,
1972?.
- Ibáñez Santiago, L.E.: "La búsqueda de la Teoría Final", Lección Inaugural
del Curso Académico 1997-98, U.A.M.
- McCorkle, R.A.: "A Theory of Matter",
IBM Research RC 13935, 1988.
- Rey Pastor, J.; Puig Adam, P.: "Metodología y Didáctica de la Matemática
ELemental", Madrid, 1933. pp. 12-19, 22-41, 120-129, 138-139, 150-153.
- Stone, H.S.: "Copyrights and Author's Responsibilities",
IBM Research RA 212, 1992.