[1] A. Eliëns - Principles of Object-Oriented Software Development, (C) Addison-Wesley

Bibliography

Resources

Agha Agha (1990): Agha G. (1990) The structure and semantics of actor languages In [ BRR90], pp. 1-59
AWY93 Agha {\it et al.} (1993): Agha G., Wegner P. and Yonezawa A., eds. (1993) Research directions in concurrent object-oriented programming MIT Press
Agra89 Agrawal and Gehani (1989): Agrawal R. and Gehani N.H. (1989) Ode (Object database and environment): The language and the data model In {\it Proc. ACM-SIGMOD 1989 Int. Conf. of Data}, Portland, Oregon, pp. 36-45
KMS88 Akscyn {\it et al.} (1988): Akscyn R., McCracken D. and Yoder E. (1988) KMS: a distributed hypermedia system for managing knowledge in organizations CACM 31(7), pp. 820-835
Am87 America (1987): America P. (1987) POOL-T: a parallel object-oriented language In Object-oriented concurrent systems (Yonezawa A. and Tokoro M., eds.), MIT Press, pp. 199-220
Am87a America (1987a): America P. (1987a) Inheritance and subtyping in a parallel object-oriented language In {\it Proc. ECOOP 87}, Paris, Springer LNCS 276, pp. 234-242
ABKR89 America {\it et al.} (1989): America P., de Bakker J.W., Kok J.N. and Rutten J.J.N.N. (1989) Denotational semantics of a Parallel Object-Oriented Language Information and Computation, 83 (2) pp. 152-205
Am90 America (1990): America P. (1990) A behavioral approach to subtyping in object-oriented programming languages In [ LNS90], pp. 173-190
AmBo93 America and de Boer (1993): America P. and de Boer F. (1993) Reasoning about dynamically evolving process structures Formal aspects of computing 3, pp. 1-53
Ammeraal Ammeraal (1992): Ammeraal L. (1992) Programming principles in computer graphics Wiley, 2nd edn.
Andrews Andrews (1991): Andrews G.R. (1991) Concurrent programming -- principles and practice Benjamin/Cummings
AptO Apt and Olderog (1991): Apt K.R. and Olderog E-R. (1991) Verification of sequential and concurrent programs Springer
Back88 Back and Kurki-Suonio (1988): Back R.J.R. and Kurki-Suonio R. (1988) Distributed cooperation with action systems ACM TOPLAS 10(4), pp. 513-514
Backhouse Backhouse (1986): Backhouse R. (1986) Program construction and verification Prentice-Hall
BRR90 de Bakker {\it et al.} (1990): de Bakker J.W., de Roever W.P. and Rozenberg G., eds. (1990) Foundations of Object-Oriented Languages Springer LNCS 489
BRR92 de Bakker {\it et al.} (1992): de Bakker J.W., de Roever W.P. and Rozenberg G., eds. (1992) Semantics: Foundations and Applications Springer LNCS 666
Ba89 Bal {\it et al.} (1989): Bal H., Steiner J. and Tanenbaum A. (1989) Programming languages for distributed systems ACM Computing Surveys 21(3), pp. 262-322
Orca Bal (1991): Bal H. (1991) Programming distributed systems Prentice Hall
BG94 Bal and Grune (1994): Bal H.E. and Grune D. (1994) Programming language essentials Addison-Wesley
Bar92 Bar-David (1992): Bar-David T. (1992) Practical consequences of formal definitions of inheritance JOOP July/August 1992, pp. 43-49
Barend Barendrecht (1984): Barendrecht H.P. (1984) The lambda calculus -- Its syntax and semantics North-Holland, rev. edn.
Barnes94 Barnes (1994): Barnes J.G.P. (1994) Programming in Ada, Plus an overview of Ada 9X Addison-Wesley, 4th edn.
BC89 Beck and Cunningham (1989): Beck K. and Cunningham W. (1989) A laboratory for teaching object-oriented thinking In {\it Proc. OOPSLA '89}, ACM Sigplan Notices 17(4), pp. 1-6
Beck90 Beck (1990): Beck B. (1990) Shared-memory parallel programming in C++ IEEE Software 7(7), pp. 38-48
Bennett Bennett (1987): Bennett J.K. (1987) The design and implementation of Distributed Smalltalk In {\it Proc. OOPSLA'87}, pp. 318-330
Bergin94 Bergin (1994): Bergin J. (1994) Data abstraction -- The object-oriented approach using C++ McGraw-Hill
WWW Berners-Lee {\it et al.} (1992): Berners-Lee T.J., Cailliau R., Groff J-F. and Pollermann B. (1992) World Wide Web: The Information Universe {\it Electronic Networking: Research, Applications and Policy} 2(1), Meckler Publishing, pp. 52-58
Bersh88 Bershad {\it et al.} (1988): Bershad B.N., Lazowska E.D., and Levy H.M. (1988) Presto: a system for object-oriented parallel programming Software -- Practice and Experience 18(8), pp. 713-732
Bersoff91 Bersoff and Davis, 1991: Bersoff E.H. and Davis A.M. (1991) Impacts of life cycle models on software configuration management CACM 34(8), pp. 105-117
BG93 Bezem en Grootte (1993): Bezem M. and Grootte J.F., eds. (1993) Typed lambda calculi and applications {\it Proc. Int. Conf. on typed lambda calculi and applications, TCLA'93}, Springer LNCS 664
Bigelow88 Bigelow (1988): Bigelow J. (1988) Hypertext and CASE IEEE Software, March 1988, pp. 23-26
Biggerstaff89 Biggerstaff and Perlis (1989): Biggerstaff T.J. and Perlis A.J., eds. (1989) Software reusability, Volume I: Concepts and Models, Volume II: Applications and Experience Addison-Wesley
Black Black and Hutchinson (1986): Black A. and Hutchinson N. (1986) Object structure in the Emerald system In {\it Proc. OOPSLA'86}, pp. 78-86
BPS89 Blaschek {\it et al.} (1989): Blaschek G., Pomberger G. and Stritzinger A. (1989) A comparison of object-oriented programming languages Structured Programming 10(4), pp. 187-197
Blum92 Blum (1992): Blum A. (1992) Neural networks in C++ -- An object-oriented framework for building connectionist systems Wiley
KRL Bobrow and Winograd (1977): Bobrow D.G. and Winograd T. (1977) An overview of KRL -- a knowledge representation language Technical Report R76/581 Stanford University
Booch86 Booch (1986): Booch G. (1986) Object-oriented development IEEE Transactions on Software Engineering 12(2), pp. 211-221
BV90 Booch and Vilot (1990): Booch G. and Vilot M. (1990) The design of the C++ Booch components In {\it Proc. ECOOP/OOPSLA '90}, pp. 1-11
Booch91 Booch (1991): Booch G. (1991) Object-oriented design with applications Benjamin Cummings
Booch94 Booch (1994): Booch G. (1994) Object-oriented analysis and design with applications Benjamin Cummings, 2nd edn.
Bratko Bratko (1990): Bratko I. (1990) Prolog Programming for Artificial Intelligence Addison-Wesley, 2nd edn.
Briot87 Briot and Yonezawa (1987): Briot J. and Yonezawa A. (1987) Inheritance and synchronization in concurrent OOP In {\it Proc. ECOOP '87}, Springer LNCS 276, pp. 32-40
Budd91 Budd (1991): Budd T. (1991) An introduction to object-oriented programming Addison-Wesley
Budd94 Budd (1994): Budd T. (1994) Classic data structures in C++ Addison-Wesley
Buhr92 Buhr et al (1992): Buhr P.A., Ditchfield G., Stroobosscher R.A., Younger B.M., and Zarnke C.R. (1992) $%m$ {}C++ : Concurrency in the object-oriented language C++ Software -- Practice and Experience 22(2), pp. 137-172
BuhrMac92 Buhr and MacDonald (1992): Buhr P.A. and MacDonald H.I. (1992) Synchronous and asynchronous handling of abnormal events in the $%m$ {}System Software -- Practice and Experience 22(9), pp. 735-776
Bush Bush (1945): Bush V. (1945) As we may think Atlantic Monthly, August 1945, pp. 101-108
FRL Bundy (1986): Bundy A., ed. (1990) Catalogue of Artificial Intelligence tools Springer, 3rd edn.
Burger93 Burger (1993): Burger J. (1993) The desktop multimedia bible Addison-Wesley
Ca84 Cardelli (1984): Cardelli L. (1984) A semantics of multiple inheritance In Semantics of Data Types, Springer LNCS 173, pp. 51-68
CW85 Cardelli and Wegner (1985): Cardelli L. and Wegner P. (1985) On understanding types, data abstraction and polymorphism ACM Computing Surveys 17(4), pp. 472-522
Card89 Cardelli {\it et al.} (1989): Cardelli L., Donahue J., Jordan M. Kalsow B. and Neslon G. (1989) The Modula-3 Type System In {\em Proc. ACM Symposium on Principles of Programming Languages}, Austin, Texas, pp. 202-212
CE94 Carroll and Ellis (1994): Carroll M. and Ellis M.A. (1994) Designing and implementing reusable C++ Addison-Wesley
CGL93 Castagna {\it et al.} (1993): Castagna G., Ghelli G. and Longo G. (1993) A semantics for $%l &$ -early: a calculus with overloading and early binding In [ BG93], pp. 107-123
Cattell94 Cattell (1994): Cattell R., ed. (1994) The object database standard: ODMG-93 Morgan-Kaufmann
Champeaux93 Champeaux {\it et al.} (1993): Champeaux D., Lea D. and Faure P. (1993) Object-oriented system development Addison-Wesley
Chandy89 Chandy and Misra (1989): Chandy K.M. and Misra J. (1989) Parallel program design -- A foundation Addison-Wesley
Chandy Chandy and Kesselman (1992): Chandy K.M. and Kesselman C. (1992) Compositional C++: compositional parallel programming In {\it Proc. of the Workshop on Parallel Computing and Compilers}, Springer
ChidK Chidamber and Kemerer (1991): Chidamber S.K. and Kemerer C.F. (1991) Towards a metric suite for object-oriented design In {\it Proc. OOPSLA'91}, pp. 197-211
Cline Cline and Lea (1990): Cline M. and Lea D. (1990) The behavior of C++ classes In {\it Proc. Symp. on Object-Oriented Programming}, Marist College
CN93 Coad and Nicola (1993): Coad P. and Nicola J. (1993) Object-oriented programming Yourdon Press
CY90 Coad and Yourdon (1991a): Coad P. and Yourdon E. (1991a) Object-oriented analysis Prentice Hall, 2nd edn.
CY91b Coad and Yourdon (1991b): Coad P. and Yourdon E. (1991b) Object-oriented design Prentice Hall
Cointe87 Cointe (1987): Cointe P. (1987) Metaclasses are first class: the ObjVLisp Model In {\it Proc. OOPSLA'87}, ACM Sigplan Notices 22(12), pp. 156-167
Fusion Coleman {\it et al.} (1994): Coleman D., Arnold P., Bodoff S., Dollin C., Gilchrist H., Hayes F. and Jeremaes P., (1994) Object-oriented development -- The Fusion method Prentice Hall
Conklin87 Conklin (1987): Conklin J. (1987) Hypertext: An Introduction and Survey IEEE Computer 20(9), pp. 17-41
Cook90 Cook (1990): Cook W.R. (1990) Object-oriented programming versus abstract data types In [ BRR90], pp. 151-178
CoPa89 Cook and Palsberg (1989): Cook W. and Palsberg J. (1989) A denotational semantics of inheritance and its correctness In {\it Proc. OOPSLA 1989}, pp. 433-434
CoHC90 Cook {\it et al.} (1990): Cook W., Hill W. and Canning P. (1990) Inheritance is not subtyping In {\it Proc. ACM Symp. on Principles of Programming Languages}
Coplien92 Coplien (1992): Coplien J. (1992) Advanced C++ Programming Styles and Idioms Addison-Wesley
Cox86 Cox (1986): Cox B.J. (1986) Object-Oriented Programming -- An evolutionary approach Addison-Wesley
Craig91 Craig (1991): Craig I. (1991) The formal specification of advanced AI architectures Ellis Horwood
DaNy66 Dahl and Nygaard (1966): Dahl O-J. and Nygaard K. (1966) Simula -- an algol-based simulation language CACM 9, pp. 671-678
Dahl92 Dahl (1992): Dahl O-J. (1992) Verifiable Programming Prentice Hall
DT88 Danforth and Tomlinson (1988): Danforth S. and Tomlinson C. (1988) Type theories and object-oriented programming ACM Computing Surveys 20(1), pp. 30-72
Davis88 Davis {\it et al.} (1988): Davis A.M., Bersoff E.H. and Comer E.R. (1988) A strategy for comparing alternative software development life cycle models {\it IEEE Trans. on Software Engineering} 14(10), pp. 1453-1461
Davison93 Davison (1993): Davison A. (1993) A survey of logic programming based object-oriented languages In [ AWY93], pp. 43-106
Detlefs88 Detlefs {\it et al.} (1988): Detlefs D.L., Herlihy M.P. and Wing J.M. (1988) Inheritance of synchronization and recovery properties in Avalon/C++ IEEE Computer 21(12), pp. 57-69
Diller90 Diller (1990): Diller A. (1990) Z: An Introduction to Formal Methods Wiley
Dixon89 Dixon (1989): Dixon G.N., Parrington G.D., Shrivastava S.K. and Wheater S.M. (1989) The treatment of persistent objects in Arjuna In {\it Proc. ECOOP '89}, Cambridge University Press, pp. 169-189
Dony Dony {\it et al.} (1992): Dony C., Malenfant J. and Cointe P. (1992) Prototype-based languages: From a new taxonomy to constructive proposals and their validation In {\it Proc. OOPSLA'92}, pp. 201-217
Doong90 Doong and Frankl (1990): Doong R.K. and Frankl P. (1990) Tools for testing object-oriented programs In {\it Proc. Pacific NorthWest Conf. on Software Quality}, pp. 309-324
Doong91 Doong and Frankl (1991): Doong R.K. and Frankl P. (1991) Case studies in testing object-oriented programs In {\it Proc. of The Testing, Analysis and Verification Symposium, ACM}, pp. 165-177
DH88 Ducournau and Habib (1988): Ducournau R. and Habib M. (1988) On some algorithms for multiple inheritance in object-oriented programming In {\it Proc. ECOOP 1987}, Springer LNCS 276, pp. 243-252
Duff86 Duff (1986): Duff C.B. (1986) Designing an efficient language Byte, August 1986, pp. 133-139
Dijkstra68 Dijkstra (1968): Dijkstra E.W. (1968) Goto statement considered harmful CACM 11, pp. 147-148
Dijkstra76 Dijkstra (1976): Dijkstra E.W. (1976) A discipline of programming Prentice Hall
Eliens91 \Eliens\ (1991): \Eliens\ A. (1991) Distributed Logic Programming for Artificial Intelligence AI Communications Vol. 4 No. 1, pp. 11-21
Eliens92 \Eliens\ (1992): \Eliens\ A. (1992) DLP -- A language for distributed logic programming Wiley
Eliens92b \Eliens\ (1992b): \Eliens\ A. (1992b) An object-oriented approach to distributed problem solving In {\it Research and Development in Expert Systems IX, Proc. ES92}, (Bramer M. and Milne R., eds), pp. 285-300, Cambridge University Press
ElVink92 \Eliens\ and de Vink (1992): \Eliens\ A. and de Vink E.P. (1992) Asynchronous rendez-vous in distributed logic programming In [ BRR92], pp. 174-203
EV92 \Eliens\ and Visser (1994): \Eliens\ A. and Visser C. (1994) Active C++, active classes and communication by rendez-vous Technical Report IR-299 Vrije Universiteit, Amsterdam
Eliens94 Eliëns (1994): \Eliens\ A. (1994) Hush - a C++ API for Tcl/Tk Report Vrije Universiteit
ES90 Ellis and Stroustrup (1990): Ellis M. and Stroustrup B. (1990) The annotated C++ reference manual Addison-Wesley
Evangelist Evangelist {\it et al.} (1989): Evangelist M., Francez N. and Katz S. (1989) Multiparty interactions for interprocess communication and synchronization {\it IEEE Trans. on Software Engineering} 15(11), pp. 1417-1426
Fekete92 Fekete (1992): Fekete J-D. (1992) WWL -- A Widget Wrapper Library for C++ Technical report LRI France
Fichman Fichman and Kemerer (1992): Fichman R.G. and Kemerer C.F. (1992) Object-oriented and conventional analysis and design methodologies IEEE Computer 25(10), pp. 22-39
Fiedler Fiedler (1989): Fiedler S.P. (1989) Object-oriented unit testing Hewlett-Packard Journal, April 1989, pp. 69-74
Fikes Fikes and Kehler (1985): Fikes R. and Kehler T. (1985) The role of frame-based representation in reasoning CACM 28, pp. 904-920
Francez Francez {\it et al.} (1989): Francez N., Hailpern B. and Taubenfeld (1989) Script: a communication abstraction mechanism and its verification Science of Computer Programming 6(1), pp. 35-88
Fukanaga Fukanaga (1986): Fukanaga K. (1986) An experience with a Prolog-based object-oriented language In {\it Proc. OOPSLA'86}, pp. 224-234
GR88 Gehani and Roome (1988): Gehani N.H. and Roome W.D. (1988) Concurrent C++ : Concurrent programming with classes Software -- Practice and Experience 18(12), pp. 1157-1177
GO90 Ghelli and Orsini (1990): Ghelli G. and Orsini R. (1990) Types and subtypes as partial equivalence relations In [ LNS90], pp. 191-209
Gibbs91 Gibbs (1991): Gibbs S. (1991) Composite multimedia and active objects In {\it Proc. OOPSLA'91}, pp. 97-112
ADJ Goguen {\it et al.} (1978): Goguen J.A., Thatcher J.W. and Wagner E.G. (1978) An initial algebra approach to the specification, correctness and implementation of abstract data types In Current trends in programming methodology, Vol. 4, Yeh R.T. (ed.), Prentice Hall, pp. 80-149
Goguen Goguen and Meseguer (1986): Goguen J.A. and Meseguer J. (1986) Extensions and foundations of object-oriented programming ACM SIGPLAN Notices, Oct. 1986, pp. 153-162
GR83 Goldberg and Robson (1983): Goldberg A. and Robson D. (1983) Smalltalk-80: The language and its implementation Addison-Wesley
Gorlen (1987): Gorlen K. (1987) An object-oriented class library for C++ programs Software -- Practice and Experience 17(12), pp. 899-922
GOP90 Gorlen {\it et al.} (1990): Gorlen K., Orlow S. and Plexico P. (1990) Data abstraction and object-oriented programming in C++ Wiley
Graham91 Graham (1991): Graham I. (1991) Object-oriented methods Addison-Wesley
Gries Gries (1981): Gries D. (1981) The science of programming Springer
Grimshaw87 Grimshaw and Liu (1987): Grimshaw A.S. and Liu J.W.S. (1987) Mentat: an object-oriented macro data flow system In {\it Proc. OOPSLA '87}, ACM SIGPLAN Notices 22(12), pp. 35-47
Guimaraes91 Guimaraes (1991): Guimaraes N. (1991) Building generic interface tools: an experience with multiple inheritance In {\it Proc. OOPSLA'91}, pp. 89-96
Guttag Guttag and Horning (1978): Guttag J.V. and Horning J.J. (1978) The algebraic specification of data types Acta Informatica 10, pp. 27-52
Halasz88 Halasz (1988): Halasz F. (1988) Reflections on NoteCards: seven issues for the next generation of hypermedia systems CACM 31(7), pp. 836-852
Halasz91 Halasz (1991): Halasz F. (1991) Seven issues revisited Invited lecture ACM Hypertext 91
Halasz94 Halasz and Schwartz (1994): Halasz F. and Schwartz M. (1994) The Dexter Hypertext reference model CACM 37(2), pp. 30-39
HOB87 Halbert and O'Brien (1987): Halbert D. and O'Brien P. (1987) Using types and inheritance in Object-Oriented Programming IEEE Software 4(5), pp. 71-79
Hammer78 Hammer and McLeod (1978): Hammer M. and McLeod D. (1978) The semantic data model: a modeling mechanism for database applications In {\it Proc. ACM SIGMOD Int. Conf. on Management of Data}, pp. 26-35
Hammer81 Hammer and McLeod (1981): Hammer M. and McLeod D. (1981) Database description with SDM: A semantic database model {\it ACM Trans. Data Syst.} 6, pp. 351-386
Hardman93 Hardman {\it et al.} (1993): Hardman L., Bulterman D.C.A. and van Rossum G. (1993) The Amsterdam hypermedia model: extending hypertext to real multimedia Hypermedia 5(1), pp. 47-69
Hardman94 Hardman {\it et al.} (1994): Hardman L., Bulterman D.C.A. and van Rossum G. (1994) The Amsterdam hypermedia model: adding time and context to the Dexter model CACM 37(2), pp. 50-62
Harel87 Harel (1987): Harel D. (1987) Statecharts: a visual formalism for complex systems Science of Computer Programming 8, pp. 231-274
Harmon93 Harmon and Tayler (1993): Harmon P. and Taylor D.A. (1993) Objects in action -- Commercial applications of object-oriented technologies Addison-Wesley
Hayes91 Hayes and Coleman (1991): Hayes F. and Coleman D. (1991) Coherent models for object-oriented analysis In {\it Proc. OOPSLA'91}, ACM Sigplan Notices 26(4), pp. 171-183
Hayes92 Hayes (1992): Hayes I. (1992) Specification Case Studies Prentice Hall, 2nd edn
Heading Headington and Riley (1994): Headington M.R. and Riley D.D. (1994) Data abstraction and structures using C++ D.C. Heath and Company
HHG90 Helm {\it et al.} (1990): Helm R., Holland I.M. and Gangopadhyay D. (1990) Contracts: Specifying behavioral compositions in object-oriented systems In {\it Proc. ECOOP/OOPSLA'90}, pp. 169-180
Hend90 Henderson-Sellers and Edwards (1990): Henderson-Sellers B. and Edwards J.M. (1990) The object-oriented systems life cycle CACM 33(9), pp. 143-159
Hend92 Henderson-Sellers (1992): Henderson-Sellers B. (1992) A book of object-oriented knowledge Prentice-Hall
Henderson93 Henderson (1993): Henderson P. (1993) Object-oriented specification and design with C++ McGraw-Hill
He77 Hewitt (1977): Hewitt C. (1977) Viewing Control Structures as Patterns of Passing Messages Artificial Intelligence 8, pp. 323-364
Hoare69 Hoare (1969): Hoare C.A.R. (1969) An axiomatic basis for computer programming CACM 12, pp. 576-580, 583
Ho72 Hoare (1972): Hoare C.A.R. (1972) Proof of correctness of data representation Acta Informatica 1, pp. 271-281
Ho78 Hoare (1978): Hoare C.A.R. (1978) Communicating Sequential Processes CACM 21(8), pp. 666-677
Ho87 Hoare (1987): Hoare C.A.R. (1987) An overview of some formal methods for program design IEEE Computer (September 1987), pp. 85-91
Holland92 Holland (1992): Holland I.M. (1992) Specifying reusable components using contracts In {\it Proc. ECOOP'92} (Lehrmann Madsen O., ed.), Springer, pp. 287-308
Hopcroft Hopcroft (1979): Hopcroft J.E. (1997) Introduction to automata theory, languages and computation Addison-Wesley
Howell92 Howell (1992): Howell G. (1992) Building Hypermedia Applications -- A Software Developer Guide McGraw-Hill
Hu89 Hu (1989): Hu D. (1989) C/C++ for expert systems MIS Press
Ince91 Ince (1991): Ince D. (1991) Object-oriented software engineering with C++ McGraw-Hill
Ishi92 Ishikawa {\it et al.} (1992): Ishikawa Y., Tokuda H. and Mercer C.W. (1992) An object-oriented real time programming language IEEE Computer 25(10), pp. 66-73
Jacobs92 Jacobson {\it et al.} (1992): Jacobson I., Christeron M., Jonsson P. and \"{O}vergaard G. (1992) Object-oriented software engineering -- A use case driven approach Addison-Wesley
Jarvinen Jarvinen {\it et al.} (1990): Jarvinen H., Kurki-Suoni R., Sakkinen M. and Systa K. (1990) Object-oriented specification of reactive systems In {\it Proc. Int. Conf. on Software Engineering}, Nice, France, pp. 63-71
JF88 Johnson and Foote (1988): Johnson R.E. and Foote B. (1988) Designing reusable classes JOOP 1(2), pp. 22-35
Jones91 Jones (1991): Jones C.B. (1991) Systematic software development using VDM Prentice Hall, 2d edn.
Jones90 Jones (1990): Jones G.W. (1990) Software Engineering Wiley
Kafura89 Kafura and Lee (1989): Kafura D. and Lee K. (1989) Inheritance in actor based concurrent object-oriented languages In {\it Proc. ECOOP '89}, Cambridge University Press, pp. 131-145
Kafura90 Kafura and Lee (1990): Kafura D. and Lee K. (1990) ACT++ : building a concurrent C++ with actors JOOP 3(1), May/June 1990, pp. 25-37
Kahn Kahn {\it et al.} (1986): Kahn K., Tribble E.D., Miller M.S. and Bobrow D.G. (1986) Objects in concurrent logic programming languages In {\it Proc. OOPSLA'86}, pp. 242-257
KL89 Kim and Lochovsky (1989): Kim W. and Lochovsky F.,eds. (1989) Object-oriented concepts, databases and applications Addison-Wesley
Ki89 King (1989): King R. (1989) My cat is object-oriented In [ KL89], pp. 23-30
Knudsen Knudsen and Madsen (1988): Knudsen J.L. and Madsen O.L. (1988) Teaching object-oriented programming is more than teaching object-oriented programming languages In {\it Proc. ECOOP'88}, Springer LNCS 276, pp. 21-40
Knuth92 Knuth (1992): Knuth D. (1992) Literate Programming CSLI Lecture Notes 27, Stanford
Krasner84 Krasner (1984): Krasner G. (1984) Smalltalk-80: Bits of history, words of advice Addison-Wesley
KP88 Krasner and Pope (1988): Krasner G.E. and Pope S.T. (1988) A cookbook for using the Model-View-Controller user interface paradigm in Smalltalk-80 JOOP, August 1988, pp. 26-49
KEE Kunz {\it et al.} (1984): Kunz J.C., Kehler T.P. and Williams M.D. (1984) Applications development using a hybrid AI development system AI Magazine, September 1984, pp. 41-54
Kurki Kurki-Suonio and Jarvinen (1989): Kurki-Suonio R. and Jarvinen H.M. (1989) Action system approach to the specification and design of distributed systems In {\it Proc. 5th Int. Workshop on Software Specification and Design}, ACM Software Engineering Notes 14(3), pp. 34-40
Kurtz90 Kurtz {\it et al.} (1990): Kurtz B., Woodfield S.N. and Embley D.W. (1990) Object-oriented system analysis -- a model-driven approach Prentice Hall
LP91 Lalonde and Pugh (1991): Lalonde W. and Pugh J. (1991) Subclassing $\not=$ Subtyping $\not=$ Is-a JOOP 1991, pp. 57-63
Lea93 Lea {\it et al.} (1993): Lea R., Jacquemot C. and Pillevesse E. (1993) COOL: System support for distributed programming CACM 36(9), pp. 34-46
LeJacq91 LeJack (1991): LeJacq J.P. (1991) Function preconditions in object-oriented software ACM Sigplan Notices 26(10), pp. 13-18
ObjectCenter Leggett and Franklin (1994): Leggett B. and Franklin D. (1994) ObjectCenter 2.0 for SunSparc Product Review C++Report Febr 1994, pp. 66-71
DCE OSF DCE (1992): Open Software Foundation (1992) Introduction to DCE Prentice Hall
LNS90 Lenzerini {\it et al.} (1990): Lenzerini M., Nardi D. and Simi M. (eds.) (1990) Inheritance hierarchies in knowledge representation and programming languages Wiley
Levy Levy (1984): Levy H.M. (1984) Capability-based computer systems Digital Press, Bedford Massachusetts
LH89 Lieberherr and Holland (1989): Lieberherr K. and Holland I. (1989) Assuring good style for object-oriented programs IEEE Software 6(5), pp. 38-48 (1989)
Lieber Lieberman (1986): Lieberman H. (1986) Using prototypical objects to implement shared behavior in object-oriented systems In {\it Proc. OOPSLA'86}, pp. 214-223
LVC89 Linton {\it et al.} (1989): Linton M., Vlissides J. and Calder P. (1989) Composing user interfaces with Interviews IEEE Computer 22(2), pp. 8-22
Lippman91 Lippman (1991): Lippman S. (1991) A C++ Primer Addison-Wesley, 2nd edn.
Liskov74 Liskov and Zilles (1974): Liskov B.H. and Zilles S.N. (1974) Programming with abstract data types ACM Sigplan Notices 9, pp. 50-59
Liskov75 Liskov and Zilles (1975): Liskov B.H. and Zilles S.N. (1975) Specification techniques for data abstraction {\it IEEE Trans. on Software Engineering} 1, pp. 7-19
Liskov93 Liskov (1993): Liskov B. and Wing J.L. (1993) A new definition of the subtype relation In {\it Proc. ECOOP'93}, Springer LNCS 707, pp. 119-141
Locke Locke (1994): Locke N. (1994) C++ FTP libraries {\it C++Report} 6(2), pp. 61-65
London85 London and Duisberg (1985): London R. and Duisberg R. (1985) Animating programs using Smalltalk IEEE Computer 18(8), pp. 61-71
MacD87 MacDougall (1987): MacDougall M.H. (1987) Simulating computer systems -- techniques and tools MIT Press
Malenfant89 Malenfant {\it et al.} (1989): Malenfant J., Lapalme G. and Vaucher J. (1989) ObjVProlog: Metaclasses in Logic In {\it Proc. ECOOP'89}, Cambridge University Press, pp. 257-269
Mats93 Matsuoka and Yonezawa (1993): Matsuoka S. and Yonezawa A. (1993) Analysis of inheritance anomaly in object-oriented concurrent programming languages In [ AWY93], pp. 107-150
McCue92 McCue (1992): McCue D.L. (1992) Developing a class hierarchy for object-oriented transaction processing In {\it Proc. ECOOP '92}, Springer LNCS 615, pp. 413-426
McGregor92 McGregor and Sykes (1992): McGregor J. and Sykes D. (1992) Object-oriented software development: engineering software for reuse Van Nostrand Reinhold
McK91 McKnight {\it et al.} (1991): McKnight C., Dillon A. and Richardson J. (1992) Hypertext in Context Cambridge University Press
Meyer88 Meyer (1988): Meyer B. (1988) Object-oriented software construction Prentice Hall
Meyer90 Meyer (1990): Meyer B. (1990) Tools for the new culture: Lessons from the design of the Eiffel libraries CACM 33(9), pp. 69-88
Eiffel3 Meyer (1992a): Meyer B. (1992a) Eiffel: the Language Prentice Hall
Meyer92 Meyer (1992b): Meyer B. (1992b) Applying Design by Contract IEEE Computer 25(10), pp. 40-51
Meyer93 Meyer (1993): Meyer B. (1993) Systematic concurrent object-oriented programming CACM 36(9), pp. 56-80
MeyerN93 Meyer and Nerson (1993): Meyer B. and Nerson J-M., eds. (1993) Object-oriented applications Prentice Hall
Meyer94 Meyer (1994): Meyer B. (1994) Reusable software -- The base object-oriented component libraries Prentice Hall
Meyro86 Meyrowitz (1986): Meyrowitz N. (1986) Intermedia: The Architecture and Construction of an Object-Oriented Hypermedia System and Applications Framework In {\it Proc. OOPSLA '86}, pp. 186-201
Milner83 Milner (1983): Milner R. (1983) Communication and concurrency Prentice Hall
ML90 Milner {\it et al.} (1990): Milner R., Tofte M. and Harper R. (1990) The definition of Standard ML MIT Press
Minsky Minsky (1975): Minsky M. (1975) A framework for representing knowledge In The psychology of computer vision, Winston P. (ed.), McGraw-Hill, New York, pp. 211-277
SMDCE Mock (1993): Mock M.U. (1993) DCE++: Distributed C++ Objects using OSF DCE In DCE -- The OSF Distributed Computing Environment, Schill A. (ed.), Springer LNCS 731, pp. 242-255
Moon Moon (1986): Moon D.A. (1986) Object-oriented programming with Flavors In {\it Proc. OOPSLA'86}, pp. 1-8
Mullin89 Mullin (1989): Mullin M. (1989) Object-oriented program design with examples in C++ Addison-Wesley
Myers Myers (1979): Myers G.J. (1979) The art of software testing Wiley
Nelson91 Nelson (1991): Nelson M. (1991) Concurrency and object-oriented programming ACM Sigplan Notices 26(10), pp. 63-72
Neusius Neusius (1991): Neusius C. (1991) Synchronizing actions In {\it Proc. ECOOP '91}, Springer LNCS 512, Springer, pp. 118-132
Nierstrasz Nierstrasz (1987): Nierstrasz O. (1987) Active objects in Hybrid In {\it Proc. OOPSLA'87}, pp. 243-253
Nier90 Nierstrasz and Papathomas (1990): Nierstrasz O. and Papathomas M. (1990) Towards a type theory of active objects In: {\em OOPS Messenger, April '91}, ACM, pp. 89-93
Nier92 Nierstrasz {\it et al.} (1992): Nierstrasz O., Gibbs S. and Tsichritzis D. (1992) Component oriented software development CACM 35(9), pp. 160-166
Nier93 Nierstrasz (1993): Nierstrasz O. (1993) Composing active objects -- the next 700 concurrent object-oriented languages In [ AWY93]
Nolte91 Nolte (1991): Nolte J. (1991) Language-level support for remote object invocations GMD FIRST Report, German National Research Center for Computer Science (1991)
Nyce91 Nyce and Kahn (1991): Nyce J.M. and Kahn P., eds. (1991) From Memex to Hypertext: Vannevar Bush and the Mind's Machine Academic Press
OMG OMG (1991): OMG (1991) The Common Object Request Broker : Architecture and Specification Revision 1.1, Object Management Group
Ousterhout90 Ousterhout (1990): Ousterhout J.K. (1990) Tcl: an embeddable command language In {\it Proc. USENIX Winter Conference}, pp. 133-146
Ousterhout91 Ousterhout (1991): Ousterhout J.K. (1991) An X11 Toolkit based on the Tcl language In {\it Proc. USENIX Winter Conference}, pp. 105-115
Ousterhout93 Ousterhout (1993): Ousterhout J.K. (1993) Hypergraphics and hypertext in Tk The X resource 5, pp. 113-127
Ousterhout94 Ousterhout (1994): Ousterhout J.K. (1994) Tcl and the Tk toolkit Addison-Wesley
Paepcke93 Paepcke (1993): Paepcke A., ed. (1993) Object-oriented programming -- The CLOS perspective MIT Press
Palsberg94 Palsberg and Schwartzback (1994): Palsberg J. and Schwartzback M.I. (1994) Object-oriented type systems Wiley
Parnas72a Parnas (1972a): Parnas D.L. (1972a) A technique for software module specification CACM 15, pp. 330-336
Parnas72b Parnas (1972b): Parnas D.L. (1972b) On the criteria to be used in decomposing systems into modules CACM 15, pp. 1052-1058
Parrington88 Parrington and Shrivastava (1988): Parrington G. and Shrivastava S. (1988) Implementing concurrency control in reliable distributed object-oriented systems In {\it Proc. ECOOP '88}, Springer LNCS 322, pp. 233-249
PCKW89 Parsay {\it et al.} (1989): Parsaye K., Chignell M., Koshafian S. and Wong H. (1989) Intelligent databases: Object-oriented, deductive and hypermedia technologies Wiley
Pierce93 Pierce (1993): Pierce B.C. (1993) Intersection types and bounded polymorphism In [ BG93], pp. 346-359
PRT93 Pierce at al. (1993): Pierce B.C., Remy D. and Turner D.N. (1993) A typed higher-order programming language based onthe pi-calculus Report University of Edinburgh (available at {\tt ftp.dcs.ed.ac.uk:pub/bcp/pilang.ps})
Pinson90 Pinson and Wiener (1990): Pinson L. and Wiener R., eds. (1990) Applications of Object Oriented Programming Addison-Wesley
Plo83 Plotkin (1983): Plotkin G.D. (1983) An operational semantics for CSP In Formal Description of Programming Concepts II, D.Bjorner (ed.), North Holland, pp. 199-223
PA93 Plotkin and Abadi (1993): Plotkin G.D. and Abadi M. (1993) A logic for parametric polymorphism In [ BG93], pp. 361-375
Pohl89 Pohl (1989): Pohl I. (1989) C++ for C programmers Benjamin Cummings
Pok89 Pokkunuri (1989): Pokkunuri B. (1989) Object Oriented Programming ACM Sigplan Notices 24(11), pp. 96-101
Pope91 Pope (1991): Pope S. (1991) The Well-Tempered Object: Musical applications of Object-Oriented Software Technology MIT Press
Potter91 Potter {\it et al.} (1991): Potter B., Sinclair J. and Till D. (1991) An introduction to formal specification and Z Prentice Hall
Recipes Press {\it et al.} (1992): Press W.H., Teukolsky S.A., Vetterling W.T. and Flannery B.P. (1992) Numerical Recipes in C -- The art of scientific computing Cambridge University Press, 2nd edn
Rabin74 Rabin (1974): Rabin M.O. (1974) The computational complexity of Artificial Intelligence IEEE Symposium
Reiser92 Reiser and Wirth (1992): Reiser M. and Wirth N. (1992) Programming in Oberon: Steps beyond Pascal and Modula Addison-Wesley
Reiss90a Reiss (1990a): Reiss S.P. (1990a) Interacting with the FIELD environment IEEE Software -- Practice and Experience 20(1), pp. 89-115
Reiss90b Reiss (1990b): Reiss S.P. (1990b) Connecting tools using message passing in the FIELD program development environment IEEE Software -- Practice and Experience 20(1)
Rever93 Reverchon and Ducamp (1993): Reverchon A. and Ducampl M. (1993) Mathematical software tools in C++ Wiley
Rieken92 Rieken (1992): Rieken B., Weiman L. (1992) Adventures in Unix network applications programming Wiley
Ross88 Ross (1988): Ross P. (1988) Object-oriented techniques in AI In {\it Proc. Object Oriented Computing Systems} (Randell B., ed.) University of NewCastle upon Tyne, England
Rum91 Rumbaugh {\it et al.} (1991): Rumbaugh J., Blaha M., Premerlani W., Eddi F. and Lorensen W. (1991) Object-oriented modeling and design Prentice Hall
Sakkinen Sakkinen (1989): Sakkinen M. (1989) Disciplined inheritance In {\it Proc. ECOOP'89} (Cook S., ed.), Cambridge University Press, pp. 35-56
Sanden94 Sanden (1994): Sanden B. (1994) A graduate course in object-oriented analysis based on student-generated projects Technical Report ISSE-TR-94-102, George Mason University, Fairfax, USA
Sau89 Saunders (1989): Saunders J. (1989) A survey of object-oriented programming languages JOOP March/April 1989, pp. 5-11
NEXPERT Schindler (1987): Schindler M. (1987) Expert system fits with conventional software Electronic design 14, pp. 87
Schmidt93 Schmidt (1993): Schmidt D.C. (1993) The object-oriented design and implementation of the Reactor {\it C++Report}, Sept. 1993, pp. 33-43
Sedgewick92 Sedgewick (1992): Sedgewick R. (1992) Algorithms in C++ Addison-Wesley
ST83 Shapiro and Takeuchi, 1983: Shapiro E. and Takeuchi A. (1983) Object-oriented programming in Concurrent Prolog New Generation Computing 1(2), pp. 5-48
Shapiro89 Shapiro {\it et al.} (1989): Shapiro M., Gautron P. and Mosseri L. (1989) Persistence and migration for C++ objects In {\it Proc. ECOOP '89}, Cambridge University Press, pp. 191-204
Shaw84 Shaw (1984): Shaw M. (1984) Abstraction techniques in modern programming languages IEEE Software, October 1984, pp. 10-26
Shlaer88 Shlaer and Mellor (1988): Shlaer S. and Mellor S.J. (1988) Object-oriented analysis: modeling the world in data Yourdon Press, Englewood Cliffs, N.J.
Shlaer92 Shlaer and Mellor (1992): Shlaer S. and Mellor S.J. (1992) Object life cycles: modeling the world in states Yourdon Press, Englewood Cliffs, N.J.
SW87 Shriver and Wegner (1987): Shriver B. and Wegner P. (1987) Research directions in object-oriented programming MIT Press
Smith90 Smith and Robson (1990): Smith M.D. and Robson D.J. (1990) Object-oriented programming -- the problem of validation In {\it Proc. of the 6th Int. Conf. on Software Maintenance}, IEEE, pp. 272-282
Smith92 Smith and Robson (1992): Smith M.D. and Robson D.J. (1992) A framework for testing object-oriented programs JOOP 5(3), pp. 45-53
Snyder86 Snyder (1986): Snyder A. (1986) Encapsulation and inheritance in object-oriented programming languages In {\it Proc. OOPSLA 1986}, pp. 31-45 (extended verion in: [ SW87], pp. 165-188)
Stasko90 Stasko (1990): Stasko J. (1990) Tango -- A framework and system for algorithm animation PhD thesis, Brown University
Stepney Stepney {\it et al.} (1992): Stepney S., Barden R. and Cooper D. (eds.) (1992) Object orientation in Z Springer
Strick93 Strickland (1993): Strickland H. (1993) ODMG-93 -- The object database standard for C++ {\it C++Report}, October, pp. 45-48, 70
St86 Stroustrup (1986): Stroustrup B. (1986) The C++ Programming Language Addison-Wesley, 1986
St88 Stroustrup (1988): Stroustrup B. (1988) What is "Object-Oriented Programming"? IEEE Software 5(3), pp. 10-20
St91 Stroustrup (1991): Stroustrup B. (1991) The C++ Programming Language Addison-Wesley, 2nd edn
St94 Stroustrup (1994): Stroustrup B. (1994) The Design and Evolution of C++ Addison-Wesley
LOOPS Stefik and Bobrow (1986): Stefik M. and Bobrow D.G. (1986) Object-oriented programming: themes and variations AI Magazine, December 1986, pp. 40-62
Stubbs Stubbs and Webre (1987): Stubbs D. and Webre N. (1987) Data structures with abstract data types and Modula-2 Brooks and Cole
Tai Taivalsaari (1993): Taivalsaari A. (1993) On the notion of object {\it J. Systems Software} 21, pp. 3-16
Tello89 Tello (1989): Tello E.R. (1989) Object-oriented programming for Artificial Intelligence Addison-Wesley
Tom87 Thomsen (1987): Thomsen K.S. (1987) Inheritance on processes, exemplified on distributed termination detection {\it Int. Journal for Parallel Computing} 16(1), pp. 17-52
To86 Touretzky (1986): Touretsky S. (1986) The mathematics of inheritance systems Pitman London
US87 Ungar and Smith (1987): Ungar D. and Smith R.B. (1987) Self: The power of simplicity In {\it Proc. OOPSLA'87}, ACM Sigplan Notices 4(8), pp. 227-242
Ungar92 Ungar {\it et al.} (1992): Ungar D., Smith B.S., Chambers C. and H\"olze U. (1992) Object, message and performance: How they coexist in Self IEEE Computer 25(10), pp. 53-63
VanVliet Van Vliet (1993): van Vliet J.C. (1993) Software Engineering Wiley
Walker90 Walker (1990): Walker D. (1990) Pi-calculus semantics of object-oriented programming languages Report ECS-LFCS-90-122, University of Edinburgh
Wasserman89 Wasserman (1989): Wasserman A., Pircher P. and Muller R.J. (1989) An object-oriented structured design method for code generation Software Engineering Notes 14(1), pp. 32-55
Water89 Waterworth and Chignell, 1989: Waterworth J. and Chignell M. (1989) A manifesto for hypermedia usability research Hypermedia 1(3), pp. 205-234
Watkins93 Watkins (1993): Watkins K. (1993) Discrete event simulation in C McGraw-Hill
Webster Webster (1988): Webster D. (1988) Mapping the Design Information Representation Domain IEEE Computer, December 1988, pp. 8-23
Wegner87 Wegner (1987): Wegner P. (1987) Dimensions of object-based language design ACM Sigplan Notices 23(11), pp. 168-182
Wegner92 Wegner (1992): Wegner P. (1992) Dimensions of object-oriented modeling IEEE Computer 25(10), pp. 12-19
WZ88 Wegner and Zdonik (1988): Wegner P. and S. Zdonik S. (1988) Inheritance as an Incremental Modification Mechanisms or what Like Is and Isn't Like In {\it Proc. ECOOP'88}, Springer, pp. 56-77
Weinand88 Weinand {\it et al.} (1988): Weinand A., Gamma E. and Marty R. (1988) ET++, an object-oriented application framework in C++ In {\it Proc. OOPSLA'88}, pp.46-57
Weiss93 Weiss (1993): Weiss M.A. (1993) Data structures and algorithm analysis in C++ Addison-Wesley
Weyuker Weyuker (1988): Weyuker E.J. (1988) Evaluating software complexity measures {\it IEEE Trans. on Software Engineering} 14(9), pp. 1357-1365
WP88 Wiener and Pinson (1988): Wiener R. and Pinson L. (1988) An introduction to object-oriented programming and C++ Addison-Wesley
Wilkie93 Wilkie (1993): Wilkie G. (1993) Object-oriented software engineering -- The professional developers guide Addison-Wesley
Winblad90 Winblad {\it et al.} (1990): Winblad A., Edwards S. and King D. (1990) Object-oriented software Addison-Wesley
Wirfs89 Wirfs-Brock (1989): Wirfs-Brock R. (1989) Object-oriented design: a responsibility-driven approach In {\it Proc. OOPSLA'89}, pp. 71-75
WWW90 Wirfs-Brock {\it et al.} (1990): Wirfs-Brock R., Wilkerson B. and Wiener L. (1990) Designing object-oriented software Prentice Hall
Wirth83 Wirth (1983): Wirth N. (1983) Programming in Modula-2 Springer
Wood90 Woodhead (1990): Woodhead N. (1990) Hypertext and hypermedia Addison-Wesley
Wyatt92 Wyatt {\it et al.} (1992): Wyatt B.R., Kavi K. and Hufnagel S. (1992) Parallelism in object-oriented languages: A survey IEEE Computer 9(6), pp. 56-66
YT87 Yonezawa and Tokoro (1987): Yonezawa A. and Tokoro M., eds. (1987) Object-oriented concurrent systems MIT Press
Yourdon79 Yourdon and Constantine (1979): Yourdon E. and Constantine L. (1979) Structured Design: Fundamentals of a discipline of computer programming and design Prentice Hall
Yourdon89 Yourdon (1989): Yourdon E. (1989) Modern structured analysis Yourdon Press, Englewood Cliffs, N.J.
ZM90 Zdonik and Maier (1990): Zdonik S. and Maier D. (1990) Readings in object-oriented database systems Morgan Kaufmann

[1] intro, what, soft, paradigms, landmarks, literature, summary, Q/A, References

Fri Sep 20 10:56:18 MET DST 1996 : eliens@cs.vu.nl (C) Addison-Wesley (19??)