Papers and books for CS 446 and beyond

Fall Quarter 1995-1996 Gio Wiederhold. Working copy only. Master is on HP300. Total about 540 entries. Entries relevant to CS446 are marked =SW=; total about 220 entries. Still, this list is far from complete, but should give some initial handles for research in SW topics.

[Ackerman:94] M.J.~Ackerman: "The Visible Human Project"; Proc. Medicine Meets Virtual Reality Conf., SPIE, San Diego CA, 1994. !there should be a better reference soon
[Abiteboul:86] S. Abiteboul and Bidoit. Non First Normal Form Relations: Algebra Allowing Data Restructuring. \{\\em Journal of Computer and System Sciences\}, December 1986.
[ACM:95] Interim Copyright Policies; {\sl Comm.~of the ACM}, April 1995.
[Adam:94] Nabil Adam (editor): Proceedings of the Third Int'l Conf on Information and Knowledge Management, Gaithersburg MD, Novenber 1994, published by the !ACM?|. Mediator papers.
[Adiba:81] Michel E.~Adiba: ``Derived Relations: A Unified Mechanism for Views, Snapshots and Distributed Data"; {\sl VLDB }7, Zaniolo and Delobel(eds), Sep.1981, pp.293--305. =SW=
[Adler:92] P.S.Adler and Terry Winograd: Usabililty; Turning Technology into Tools; Oxford Un. Press, 1992. =SW=
[AgarwalKSW:95] Shailesh Agarwal, A.M.\ Keller, K.\ Saraswat, and G.\ Wiederhold: ``Flexible Relation: An Approach for Integrating Data from Multiple, Possibly Inconsistent Databases" ; Proc.\ IEEE Data Engineering Conference, Taipei, Taiwan, March 1995. =SW=
[AndrewsA:87] T. Andrews and C. Andrews: "Combining Language and Database Advances in an Object-Oriented Development Environment";{\em Proceedings of OOPSLA}, Orlando, Florida, 1987. =SW=
[Andrews:93] Tim Andrews: "Designing Linguistic Interfaces to an Object Database or What do C++, SQL, and Hell have in Common?"; in Database Programming (DBPL-4)_, edited by C. Beeri, A. Ohori, and D. E. Shasha, Springer-Verlag, 1993, pp. 3-8. =SW=
[AnnasGR:95] Georg J. Annas, Leonard H. Glantz, and Patricia A. Roche: The Genetic Privacy Act and Commentary; Health Law Department, Boston University School of Public Health, February 1995.
[ArensCHK:93] Y.\ Arens, C.Y.\ Chee, C.N.\ Hsu, and C.A.\ Knoblock: ``Retrieving and Integrating Data from Multiple Information Sources''; {\sl Int.Journal of Intelligent and Cooperative Information Systems}, Vol.2 no.2, 1993, pages 127-158. =SW=
[ArensSK:95] Ygal Arens, Michael Siegel, and Larry Kerschberg (eds.): I3 Architecture Reference; http://isse.gmu. edu/I3\_Arch/index.html. =SW=
[Arnold:93] Robert S. Arnold: Software Reengineering; IEEE Press, 1993. =case tools to transform old software. =SW=
[Artur:92] Lowell Jay Artur: Rapid Evolutionary Development, Requirements, Prototyping. and Software Creation; Wiley, 1992. =SW=
[AtkinsonC:94] Colin Atkinson: Object-oriented Reuse, Concurrency, and Distribution; ACM Press. 1994?.
[AtkinsonBM:95] M.P. Atkinson, V. Benzaken, and D. Maier (eds.) Persistent Object Systems; Springer-Verlag and British Computer Society, 1995, Workshops in Computing Series, ISBN 3-540-19912-8= The proceedings of the sixth international workshop on Persistent Object Systems held in Tarascon, France 1994. 29 papers with summaries of sessions and keynote discussions (object store engineering, object caching, concurrency, applications, system evolution, optimization, reflection). =SW= %BBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBB
[Bach:94] James Bach: Process Evolution in a Mad World; Borland Int, Scotts Valley CA. = Dealing with Chaos, and its opportunities. Antithesis to CMM. Do Risk management. =SW=
[Baker:94] Nicholson Baker: ``DisCards"; The New Yorker Magazine, 4 April 1994, pp.\ 64--86.
[Barnhart:94] Andy Barnhart: "Component-based solutions with OLE 2.0"; Software Development v2, n9 (Sept, 1994):47 (5 pages). = provided by Avery Kadison. =SW=
[BarrT:94] Avron Barr and Shirley Tessler: Software Industry Study; Stanford 1994. =SW=
[Barsalou:90] Thierry Barsalou, et al.: The Penguin Project; Stanford CSD report 1990. = An object algebra to unify views in genetic research. =SW=
[BarkerO:89] V.E.~Barker and D.E.~OConnor: ``Expert Systems for Configuration at Digital: {\csc xcon} and Beyond''; {\sl Comm.ACM}, Vol.32 No.3, Mar.1989, pp.298--318.
[BarrT:94] Avron Barr and Shirley Tessler: Software Industry Study; Stanford 1994. =SW=
[Barsalou:90] T. Barsalou: View Objects for Relational Databases; Ph.D. dissertation, Stanford University, March 1990, Technical Report STAN-CS-90-1310.
[Barsalou:88] Thierry Barsalou: ``An Object-based Architecture for Biomedical Expert Database Systems"; {\sl SCAMC }12, IEEE CS Press, Washington DC, November 1988.
[BarsalouW:90] T. Barsalou and G. Wiederhold. Complex Objects For Relational Databases. \{\\em Computer Aided Design\}, Vol. 22 No. 8, Buttersworth, Great Britain, October 1990.
[BarsalouSKW:91]{T.~Barsalou, N.~Siambela, A.~Keller, and G.~Wiederhold}: ``Updating Relational Databases through Object-Based Views''; {\sl ACM SIGMOD Conf. on the Management of Data 91}, Boulder CO, May 1991.
[Basili:90] Victor Basili: "Viewing Maintenance as Reuse-Oriented Software Development"; IEEE Software, Vol.7 No.1, Jan. 1990, pp.19-25.. =SW=
[Basili:80] Victor Basili: Tutorial on Models and Metrics for Software Management and Engineering; IEEE Soc. Press, 1980. =SW=
[Basili:88] V.R. Basili and H.D. Rombach: "The Tame Project: Towards Improvement-Oriented Software Environments; IEEE Trans SE, vol.SE14, 1988, pages 758-773. =SW=
[BBN:81] BBN: A History of the ARPANet, The First Decade report 4799, Bolt Beranek and Newman, Cambridge MA, 1981.
[Beck:94] J. Robert Beck et al: Policy Forum; JAMIA. Vol.1 No.4, July/August 1994, pp. 313-324. =Special issue on Privacy and Security in Healthcare.
[BeckCT:93] Howard Beck, Ken Currie and Austin Tate: A Domain Description Language for Job-Shop Scheduling; Un. of Edinburgh AIAI-TR-137 October 1993; URL =SW=
[Beeri:87] C.~Beeri and R.~Ramakishnan: ``On the Power of Magic"; {\sl ACM-PODS}, San Diego, Mar.1987.
[Beizer:90] B. Beizer!sp?|: Software Testing Techniques; Van Nostrand Reinhold, 1990. =SW=
[BernersCGP:92] T.\ Berners-Lee, R.\ Cailliau, J.\ Groff, and B.\ Pollermann: ``WorldWideWeb: The Information Universe"; {\sl Electronic Networking: Research, Applications and Policy}; Vol.1 No.2, 1992, pages 52--58.
[BerleantB:94] Dan Berleant and Hal Berghel: ``Customizing Information''; {\sl IEEE Computer}; Vol.27 Nos.9,10, Sep., Oct.\ 1994, pages 96--98, 76--78.
[Binder:94] Robert Binder: Object-Oriented Software Testing; special topic issue, CACM, Vol.37 No.9, Sept. 1994. =SW=
[Binstock:94] Andrew Binstock: "Objectively Speaking"; Unix Review, June 1994, page 7. =editorial on limited success of OO SW paradigm. =SW=
[BjornerL:94] Dines Bjorner and Dong Yu Lin: Domain Analysis: Informal and Formal Descriptions of Applications; Technical Rep. UNI/IIST, P.O. Box 3058, Macau, July 1994, !|. = carefully worked-out description, enabling formal derivation of train scheduling programs for PRC railroads. =SW=
[BlakelyLT86] J. Blakely, P. A. Larson, and F. W. Tompa: "Updating Materialized Views"; ACM SIGMOD, Int. Conf. on Management of Data, Washington, D.C., May 1986, 61-67.
[Blakeley:94] J. Blakeley, "OQL
[C++]: Extending C++ with an Object Query Capability," In: Won Kim (Ed.) Modern Database Systems: The Object Model, Interoperability, and Beyond, Addison Wesley/ACM Press, 1994. =SW=
[BlakeleyMG:93] J. Blakeley, W. McKenna, G. Graefe. "Experiences Building the Open OODB Query Optimizer," ACM SIGMOD International Conference on Management of Data," Washington, D.C. May 1993. =SW=
[Blum:82] Robert L.~Blum: {\sl Discovery and Representation of Causal Relationships from a Large Time-Oriented Clinical Database: The {\csc rx} Project}; Springer Verlag, Lecture Notes in Medical Informatics, no.19, 1982.
[Blum:94] Bruce Blum (ed): Proc. 4th Systems Reengineering Technology WS; Feb. 8-10, APL Research Center report RMI-94-003, Johns Hopkins Applied Physics Lab., Laurel MD.= icludes article by Markosian, Brand, and Kotik of Reasoning Systems. =SW=
[Blum:92] Bruce Blum: Software Engineering: A Holistic View; Oxford Un. Press, 1992. = Overview textbook, much personal philosophy, good insights. =SW=
[Blum:95] Bruce Blum: Beyond Programming; draft 1994. = in Gio's office =SW=
[Boehm:81] Barry Boehm: Software Engineering Economics; Prentice-Hall, 1981. = the standard reference. =SW=
[Boehm:84] Barry W.~Boehm: ``Software Engineering Economics"; {\sl IEEE Trans.\ Software Eng.}, Vol.10 No.1, Jan.1984, pp.4--21. =SW=
[BoehmA:91] Barry Boehm et al: Department of Defense, Software Strategy (draft); prepared for the Director of Defense Research and Engineering, Dec 1991. = Reuse oriented, includes economic models.. In Gio's office =SW=
[Booch:91] Grady Booch: Object-Oriented Design with Applications; Benjamin-Cummins, 1991. =SW=
[Boose:86] J.H. Boose: "Rapid acquisition and combination of knowledge from multiple experts in the same domain"; Future Computing Systems Journal, 1, 191-216. = on consensus knowledge acquisition:
[BorensteinF:93] Nathaniel Borenstein and Ned Freed: MIME (Multipupose Internet Mail Extension; TR Sep. 1993.
[BowmanDMS:94] C. Mic Bowman, Peter B. Danzig, Udi Manber, and Michael F Schwartz, 1994. "Scalable Internet Resource Discovery: Research Problems and Approaches"; Communications of the ACM, Vol.37 No.8, pp.98-107, August 1994. =Harvest predecessor: Essence.
[BowmanDHMS:94] C.\ Mic Bowman, Peter B.\ Danzig, Darren R.\ Hardy, Udi Manber and Michael F.\ Schwartz: ``The {\csc harvest} Information Discovery and Access System''; {\sl Proceedings of the Second International World Wide Web Conference}, Chicago, Illinois, October 1994, pages 763--771. Available from
[Branscomb:91] Lewis Branscomb (chair): Intellectual Property Issues in Software; CSTB, National Research Council, National Academy Press, 1991. = thoughtfull overview, no strong conclusions. =SW=
[Brockschmidt:93] Kraig Brockschmidt: "Introducing OLE 2.0"; Microsoft Systems Journal v8, n8 (August, 1993):15.= an excellent article on OLE. Explains its features and uses. Provided by Avery Kadison. =SW=
[Brockschmidt:94] Kraig Brockschmidt: Inside OLE 2; Microsoft Press, 1994, $49.95, 977pp. = the book on OLE; provided by Avery Kadison. =SW=
[BrodieMS:86] M.~Brodie, J.~Mylopoulos, and J.~Schmidt (eds.): ``On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies''; Springer Verlag, June 1986.
[BrodieS:95] Michael Brodie and Michael Stonebraker (eds): Migrating Legacy Sysems} Morgan Kaufman, 1995.
[Brown:95] D.Brown: "Design of a Highly Available Switching Platform Employing Commercial Components"; Proc. ICC 95 -- International Communication Conference. Hamburg Germany 1995. = HRP, an AT&T CLOS-written system for high-reliability multi-processing. =SW=
[BukhresE:95] O. Bukhres and A. Elmagarmid: Objct-oriented Multidatabase Systms; Prentice Hall 1995 =SW=
[BullDPR:87] M.~Bull, R.~Duda, D.~Port, and J.~Reiter: ``Applying Software Engineering Principles to Knowledge-Base Development"; {\sl Proc. Expert Systems and Business} 87, NY, Learned Information, Meadford NJ, Nov.1987, pp.~27--37. =SW=
[BuchananBDMS:90] B.G.~Buchanan, D.~Bobrow, R.~Davis, J.~McDermott, and E.H.~Shortliffe: ``Knowledge-Based Systems''; in J.~Traub (ed.): {\sl Annual Review of Computer Science}; 1990, Vol.4, pp.~ 395--416.
[Brown:93] George Brown: "Can Scientists Make Change Their Friend'; Scientific American, june 1993, page 151. = warning on being relevant, by the chair of the House Committee on Science, Space, and Technology
[Burgess:94] Lisa Burgess: "New Software Gives Commander Control of Radio Codes"; Defense News, 21Feb1994. =SW=
[Bush;93] Randy Bush: "FIDONet: Technology, Tools, and History"; CACM Vol.36 No.8, August 1993, pp.31:35. history, politics, and use of a user initiated-network
[Bush:45] Vannevar Bush: ``As We May Think''; {\sl Atlantic Monthly}, Vol.176 No.1, 1945, pp.101--108. Reprinted many times. Pictures in Life magazine.
[ButterworthOS:91] Paul Butterworth, Allen Otis, and Jacob Stein: "The Gemstoen Object DBMS"; pp.50-63 %CCCCCCCCCCCCCCCCCCOCC
[CallahanR:81] M.V.~Callahan and P.F.~Rusch: ``Online implementation of the Chemical Abstracts SEARCH file and the CAS Registry Nomenclature File"; \sl Online Rev.}, Vol.5 No.5, Oct.1981, pp.377-393.
[CaludeMS:94] C.\ Calude, H.\ Maurer, A.\ Salomaa: ``J.UCS: The Journal for Universal Computer Science and its Applications to Teaching"; {\sl Symposium Didaktik der Mathematik}, Klagenfurt, Schriftenreihe {\sl Didaktik der Mathematik}, 1994.
[CareyFLS91] M. Carey, M. Franklin, M. Livny, and E. Shekita: "Data Caching Tradeoffs in Client-Server DBMS Architecture"; ACM SIGMOD Int. Conf. on Management of Data, Denver, CO, May 1991, 357-366.
[Carlson:92] A. Carlson. \{\\em Penguin System Internal Maintenance Specifications.\} Unpublished document, October 1992. !!put it on a web page, so people can get to it||
[Carnegie:94] Carnegie: Science, Technology, and Government for a Changing World; report of the carnegie Commission, 1994. = 5 year study final repor.
[Carr:92] T. Carr: "Predicting Software Defects Over Time"; 9th Int. onf. on Software Testing, Washington DC, June1992 = SW testing asymptote =SW=
[Carrol:95] John M. Carroll: "Scenario-Based Design; Envsioning Work and Technology in System Development"; Wiley, 1995 = papers from Jun 1993 workshop. Workflow, representation, OO,User-interfaces. =SW=
[Cattell:91] R. Cattell: Object Data Management: Object Oriented and Extended Relational Systems; Addison-Wesley, 1991. =SW=
[Catell:94] R.Cattell (ed): The Object Database Standard: ODMG (3 9version 1.1); Morgan Kaufman, May 1994. Proposed standard for object access, replaces 1993 version.
[1 800 745-7323] =SW=
[CeriW:91] Stefano Ceri and Jenifer Widom: ``Deriving Production Rules for Incremental View Maintenance''; {\em 17th Int. Conf. on Very Large Data Bases}, Barcelona, Spain, September 1991, pages 577-589.
[ChakravarthyFM:85] U.S.~Chakravarthy, D.~Fishmann and J.~Minker; ``Semantic Query Optimization in Expert Systems and Database Systems''; in Expert Databases, Kersch\-berg(ed), Benjamin Cummins, 1985.
[ChamberlinGT:75] D.D.~Chamberlin, J.N.~Gray, and I.L.~Traiger: ``Views, Authorization, and Locking in a Relational Data Base System"; Proc.1975 NCC, AFIPS Vol.44, AFIPS Press, pp.425--430.
[ChaoFK:94] Chin-Wang Chao, Gene Fuoco, and Diane Krpfl: "FASTAR Platform Gives tbe Network a Competetive Edge"; AT&T Technical Journal, Vol.73 No. 4, Jul-Aug.1994, pp.69--181 = introduction of software subsystem for backup link into the AT&T network. Traditional, but careful SW practice. =SW=
[Charette:79] R.H. Charette: Software Engineering and Risk Analysis Managemnt; McGraw-Hill 1979. =describes DoD software project failures. =SW=
[Chaudhuri:90] Surajit Chaudhuri; ``Generalization and a Framework for Query Modification''; {\sl Proceedings of the Sixth International Conference on Data Engineering\/}, Los Angeles, Feb 1990, pp.138-145.
[Cheeseman:85] Peter Cheeseman: ``In Defense of Probability''; {\sl Proc.\ IJCAI}, Los Angeles, 1985, pp.1002--1009.
[ChenM:89] M.C.~Chen and L.~McNamee: ``A Data Model and Access Method for Summary Data Management''; {\sl IEEE Data Engineering Conf.~}5, Los Angeles, Feb.1989.
[ChiangR:82] T.C.~Chiang and G.R.~Rose: ``Design and Implementation of a Production Database Management System (DBM-2)''; {\sl Bell System Technical Journal}, Vol.61 No.9, Nov.1982, pp.2511--2528.
[ChillaregeA:91] Chillarege et al.: "Orthogonal Defect Classification for Defect Control"; IBM TJ Watson Res. TR RC17320, 2Nov1991.= clasify defects, analyze pattern, find cause, and try to reduce that class of errors in the future. =SW=
[ChuQ:92] W.W. Chu and Q. Chen: ``Neighborhood and Associative Query Answering"; {\sl Journal of Intelligent Information System}, Vol.1 No.3/4, 1992, pp.355-382.
[ChuQ:94] W.W. Chu and Q. Chen: ``A Structured Approach for Cooperative Query Answering"; {\sl IEEE Transactions on Knowledge and Data Engineering}, Vol.6 No.5, October 1994.
[ChuMB:93] W. W. Chu, M. Merzbacher, and L. Berkovich: ``The Design and Implementation of CoBase"; {\sl ACM SIGMOD '93}, May 1993, pp.517-522.
[CicchettiLLM:89] R.~Cicchetti, L.D.~Lakhal, N.~LeThanh, and S.~Miranda ``A Logical Summary-data Model for Macro Statistical Databases''; {\sl DASFAA }1, Seoul Korea, KISS and IPSJ, Apr.1989, pp.43--51.= Distinguishes micro, source databases, and macro, derived summary databases. Compared with Ghosh's SRT, Ozsoyoglu's SMT. Composability of primitive tables. ORACLE implementation.
[ColemanALO:94] Don Coleman, Dan Ash, Bruce Lowther, and Paul Oman: "Using Metrics to Evaluate Software Systems Maintainability"; {\sl IEEE Computer}, Vol.27 No.8, Aug.1994, pp.44-49. = Importance for Hewlett-Packard. Categorization of tasks: Corrective, Adaptive, and Perfective. References to 5 models, but only an HP 3-dimensional (control structure, info. structure, typography) one is evaluated, module by module, versus the assessments of SW engineers. =SW=
[Conner:94] Dominic Conner: "Microsoft Visual C++'; EXE v8, n8 (Feb, 1994):58 (4 pages). = Reference for visual programming and OLE, provided by Avery Kadison. =SW=
[CookeG:91] D.E.~Cooke and A.~Gates: ``On the Developmemnt of a method to Synthesize Programs from Requirements Specifications''; Int.\ J.on Software Eng. and Knowledge Eng., Vol.1 No.1, March 1991, pp.21--38.
[CourtneyJB:93] A. Courtney, W. Janssen, D. Severson, M. Spreitzer, and F. Wymore: Inter-Language Unification, rel.1.5; Xerox PARC, ISTL-CSA-94-01-01, No.P94-58, May 1994, = Specification of ILU, a generalization of OMG CORBA IDL.. =SW=
[CreecyMS:92] Robert H. Creecy, Brij M. Masand, Stephen J. Smith: "Knowledge Engineering"; Com.ACM, Vol.35 No. 8, August 1992, pages 48-64. = Thinking machine classification of census industry and occupational data in natural language.
[Cohen:82] P.R.~Cohen ], E.~Feigenbaum, and A. Barr (eds.): The Handbook of Artificial Intelligence}; Morgan Kaufman, 1982.
[Cohen:89] Danny Cohen: ``Computerized Commerce'';{\sl Information Processing} 89, Ritter (ed), IFIP North-Holland 1989, pp.1095--1100.
[CohenL:88] H.~Cohen and S.~Layne (editors) {\sl Future Data Management and Access, Workshop to Develop Recommendations for the National Scientific Effort on AIDS Modeling and Epidemiology}; sponsored by the White House Domestic Policy Council, 1988.
[Codd:70] E.F. Codd: "A Relational Model of Data for Large Shared Data Banks'; CACM\}, 13(6), June 1970.
[ColemanALO:94] Don Coleman, Dan Ash, Bruce Lowther, and Paul Oman: "Using Metrics to Evaluate Software Systems Maintainability"; IEEE Computer, Vol.27 No.8, Aug.1994, pp.44-49. = Importance for Hewlett-Packard Categorization of tasks: Corrective, Adaptive, and Perfective.References to 5 models, but only an HP 3-dimensional (control structure, info. structure, typography) one is evaluated, module by module, versus the assessments of SW engineers.
[ColletHS:91]{C.~Collet, M.~Huhns, and W-M.~Shen}: ``Resource Integration Using a Large Knowledge Base in {\csc carnot}''; {\sl IEEE Computer}, Vol.24 No.12, Dec.1991.
[Corbato:92] Fernado Corbato: " ", 1992 Turing lectures. = we must eecgnize that we will always build systems that fail.
[CouncilC:90] Council on Competetiveness: Gaining New Ground: Technology Priorities for America's Future; 1990
[Cox:94a] Brad Cox: ``Superdistribution''; {\sl Wired}, Idea Fortes section, Sep.\ 1994, {\sl The Coalition On Electronic Markets''}; George Mason Un., Fairfax VA, 1994
[Cox:94b] Brad Cox: The Coalition On Electronic Markets;, George Mason Un., Fairfax VA, 1994
[Cox:90] Brad Cox "Planning the Software Industrial Revolution"; IEEE Software, Nov.1990, pp 25-33= Brad is now into revenue on-line collection for SW Use, recent work on 1993 ACM SIGSOFT Symposium, (chaired by Barry Boehm) !get|
[Craig:89] Iain Craig: The CASSANDRA Architecture, Ellis Horwood, Chichester, UK, 1989. = Describes and motivates an architecture for Distributed AI and Multi-Agent systems; the architecture is loosely based on the blackboard architecture. Various proposals are made as far as extensions are concerned: in particular, it is proposed that speech acts be employed as an inter-agent protocol. Two example distributed systems are described.
[Craig:91] Iain Craig: The Formal Specification of Advanced Problem-solving Architectures, Ellis Horwood, Chichester, UK, 1991. = Contains Z specifications of a blackboard system and the sequential see /pub/reports/rr and they look as if they're in both dvi and postscript.
[Cronin:94] May J. Cronin: Doing Business on the Internet; VanNostrand Reinhold (800 842-3636) = for business users.
[Curtis:80] B. Curtis: "Measurement and Experimentation in Software Engineering"; Proc. IEEE, Vol.68, pp.1144-1157 , 1980. =SW=
[Curtis:85] B. Curtis: Human Factors in Software Development; IEEE CS Press, 1985. =SW=
[CutkovskyEFGGMTW:93] M.\ Cutkosky, R.S.\ Engelmore, R.\ Fikes, M.R.\ Genesereth, T.R.\ Gruber, W.S.\ Mark, J.M.\ Tenenbaum, and J.C.\ Weber: ``PACT: An Experiment in Integrating Concurrent Information Systems''; {\sl IEEE Computer}, Vol.26 No.1, Jan.1993, pages 29-37. %DDDDDDDDDDDDDDDDDDDDDDDDDDDD
[DampierB:94] Dave Dampier and Valdis Berzins: "Software Change-Merging in Dynamic Evolution"; NPGS workshop Proceedings 1994.= also see WS 1993 proceedings, slicing of a piece of a program, modifying it, and then prove that 'affected' behavior of the slice is invariant when re-merging. Permits merging of versions. =SW=
[DateD:93] C.J.\ Date and Hugh Darwen: {\i A Guide to the SQL Standard, 3rd ed}; Addison Wesley, June 1993.
[Davenport:94] Tom Davenport @Ernst\&Young "Reinventing Industry through Information Technology" !!via Cross?||
[DayalH:83] U.~Dayal and H.Y.~Hwang: ``View Definition and Generalization for Database Integration in Multibase: A System for Heterogeneous Databases"; {\sl IEEE Trans.\ Software Eng.}, Vol.SE-10 No.6, Nov.1983, pp.628--645.
[DeBellisH:95] Michael DeBellis and Christine Haapala: "User-centric Software Engineering (USE)"; IEEE Expert, February, 1995, Vol.10 No.1. =SW=
[Degoulet:94] Patrice Degoulet et al. @ Broussais Un.Hospital Paris,Med.Inf.Dept, Paris 75014, France: The HELIOS Europoean Project on Software Engineering; = collection of papers about a Software Engineering Environment for Medical applications. Copy in Gio's office. =SW=
[DeMichiel:89] Linda DeMichiel: ``Performing Operations over Mismatched Domains"; {\sl IEEE Data Engineering Conference }5, Feb.1989; {\sl IEEE Transactions on Knowledge and Data Engineering}, Vol.1 No.4, Dec.~1989.
[DelisR92] A. Delis and N. Roussopoulos. Performance and Scalability of Client-Server Database Architectures. \{\\em 18th Int. Conf. on Very Large Data Bases\}, Vancouver, British Columbia, Canada, 1992, 610-623. =SW=
[Denning:82] Dorothy Dennningg: Cryptography and data Security; Addison-Wesly 19982.
[DenningM:95] Peter Denning and Mark Mendelbaum: ``The ACM Copyright Policy''; Comm.\ of the ACM; April 1995.
[DenningR:95] Peter Denning and Bernard Rous: ``The {\csc acm} Electronic Publishing Plan; Comm. ACM, April 1995.
[DeRoseD:94] De Rose and Durand: Making Hypertext Work; Kluwer 1994 = description of HMTL and HyTime.
[Derr:92] M.A. Derr. \{\\em Adaptive Optimization in a Database Programming Language\}. Ph.D. dissertation, Stanford University, December 1992, Technical Report STAN-CS-92-1460.
[Dertouzos:86] Michael L. Dertouzos: "The Multiprocessor Revolution: Harnessing Computer Together"; Technology Review, Vol.89 No.2, March 1986, MIT, pages 44-57. Early review of supercomputer development. =SW=
[Deux:90] O. Deux: "The Story of O2"; IEEE Transactions on Knowledge and Data Engineering, 2(1), March 1990. =SW=
[DevanhuBSB:91] Premkumar Devanbu, Ronald Brachman, Peter J. Selfridge, and Bruce W. Ballard "LaSSIE: A Knowledge-based Software Information System"; Comm.ACM, Vol.34 No.5, May 1991, pp.35-49. = A Class-based CASE tool for reuse in telephone. In special issue on Software Engineering. =SW=
[DeWiiMFV 90] D. J. DeWitt, D. Maier, P. Futtersack, and F. Velez: "A Study of Three Alternative Workstation-Server Architectures for Object-Oriented Database Systems";{\em 16th Int. Conf. on Very Large Data Bases}, Brisbane, Australia, 1990.
[DeZegherFWBW:88] I.~DeZegher-Geets., A.G.~Freeman, M.G.~Walker, R.L.~Blum and G.~Wie\-der\-hold: ``Summarization and Display of On-line Medical Records"; {\sl M.D.\ Computing}, Vol.5 no.3, March 1988, pp.38-46.
[DiffieH:76] Whitfield Diffie and Martin E. Hellman: "New Directions in Cryptography"; IEEE Trans.Inf.Theory, vol IT-22, 1976, pp.644-654= public key encryption.
[Dykstra:79] Edsger W. Dijkstra. A Discipline of Programming, Prentice-Hall, Englewood Cliffs, N. J, 1979. ISBN 0-13-215871-X =Zaki hasan: This is one of the classics of computer programming Dijkstra's theme is a rigorous and methodical way of developing (small) programs. One of his ideas is that it pays to view a program text as a mathematical object rather than as a sort of machine. Some people dislike his approach because it is so "mathematical", but if you have trouble handling formulaa you are in the wrong business and if you don't like a logical view of programs Prolog is not for you. Dijkstra's methods are developed for an imperative language with "dont' -case nondterminisam". The approach carries over very will indeed to Prolog. =SW=
[DISA:94] DISA TRIK? "Technical Reference for Evaluation of Standards" =SW=
[DoE:93] Dep.of Energy: DoE White Paper on Bio-Informatics; URL,1993. = ignores heterogeneity.
[DownsWB:86] S.M.~Downs, M.G.~Walker, and R.L.~Blum: ``Automated summarization of on-line medical records"; IFIP {\sl Medinfo'86}, North-Holland 1986, pp.800-804.
[Dunstan:89] James E.\ Dunstan (ed.): {\sl Knobots in the Real World}; Report of Workshop on the Protection of Intellectual Property Rights in a Digital Library System, Corp.\ for Nat.\ Res.\ Initiatives, Reston VA., May 1989.
[Doszkocs:86] Tamas E.~Doszkocs: ``Natural Language Processing in Information Retrieval"; {\sl J.Am.Soc.Inf.Sci.}, Vol.37 No.4, Jul.1986, pp.191--196.
[Dunstan:89] Dunstan, James E. (editor): " Knobots in the Real World "; Rep.of Workshop on the Protection of Intellectual Property Rights in a Digital Library System, May.1989, Corp.for Nat.Res.Initiatives, Reston VA. = Definitions and discussion of 'rightsholder' protection. To what extent can a knobot mediate access.
[Dutcher:89] G.A.\ Dutcher: ``DOCLINE: A National Automated Interlibrary Loan Request Routing and Referral System'; Inf.Technol.Libraries, Vol.8, 1989, pages 359--370.
[Dyson:95] Esther Dyson: Intellectual Value; Wired, Vol3 No.7 July 1995, pp.136-141,182-184.= An article on the diminishing value of contents %EEEEEEEEEEEEEEEEEEEEEEEEE
[ElmagarmidLLR:90] Ahmed Elmagarmid, Y.Leu,Y., W.Litwin, and M.Rusinkiewicz:: ``A Multidatabase Transaction Model for Interbase''; {\sl Proceedings of the Conference on Very Large Databases} 16, Morgan Kaufman pubs. 1990.
[ElmagarmidRS:95] Ahmed Elmagarmid, M.Rusinkiewicz:, and A.\ Sheth(eds) {\sl Heterogeneous Distributed Databases}; Morgan Kaufman, 1995. = client server db
[ElMasriN:89] Ramez ElMasri and Sham Navathe: Fundamentals of Database Systems; Benjamin Cummins, 1989 = Entity-relationship diagramming. =SW=
[ElMasriW:79} Ramez El-Masri and Gio Wiederhold: ``Data Model Integration Using the Structural Model"; Proceedings 1979 ACM SIGMOD Conference, pages 191-202.
[EMS:94] {\sl Charta of Free Electronic Access to Publications}; European Mathematical Society, Dec.1994 at !|..
[Esculier:89] Christian Esculier: {\sl Introduction a la Tolerance Semantique}; PhD thesis, Un.~Joseph Fournier, Grenoble, 1989.
[Esprit:93] Esprit Consortium AMICE: CIMOSA: Open System Archiecture for CIM; @nd Revised and extended edition; Springer 1993.= 18 companies. Ed Beadle, cons.director, British Aerospace plc =SW=
[EswaranGLT76] K.P. Eswaran, J.N. Gray. R.A. Lorie, and I.L. Traiger: "The Notion of Consistency and Predicate Locks in Database System; {\em Communications of the ACM}, Vol 19, No. 11, November 1976, 624-633. % FFFFFFFFFFFFFFFFFFFFFFFFFFFFF
[Faloutsos:85] Christos Faloutsos: "Access Methods for Text"; ACM Computing Surveys, Vol.17 No.1, Mar.1985, pp.49--74. | DBDbiblio|
[FaloutsosBFHNPE:94] C.\ Faloutsos, R.\ Barber, M.\ Flickner, J.\ Hafner, W.\ Niblack, D.\ Petrovic, and W.\ Equitz: ``Efficient and Effective Querying by Image Content"; {\sl Journal of Intelligent Information Systems}, Kluwer Academic Publishers, Vol.\ 3, 1994, pages 231--262.
[FikesCGB:91] R.\ Fikes, M.\ Cutkosky, T.R.\ Gruber, and J.V.\ Baalen: {\sl Knowledge Sharing Technology Project Overview}; Knowledge Systems Laboratory, KSL-91-71, November 1991.
[Filman:88] Robert E.~Filman: ``Reasoning with Worlds and Truth Maintenance in a Knowledge-Based Programming Environments''; {\sl Comm.\ ACM}, Vol.31 No.4, Apr.1988, pp.\ 382--401.
[Finin:94] Tim Finin et al: On Software Agents;, 1994 =SW=
[FininFMM:94] Tim Finin, Richard Fritzson, Don McKay, and Robin McEntire: ``{\csc kqml} as an Agent Communication Language''; to appear in {\sl The Proceedings of the Third International Conference on Information and Knowledge Management} (CIKM'94), ACM Press, November 1994.
[Fischer:92] Gerhard Fischer: "Domain-Oriented Design Environments"; Proceedings of the 7th Annual Knowledge-Based Software Engineering Conference, September 1992, McLean, Virginia, Rome Laboratory.
[Fisher:94] David Fisher: {\sl Adanced Technology Program, Component-Based Software } (94-06) ; National Institute of Standards and Technology, U.S.\ Dep.of Commerce. 1994. = includes a vision of new software mthodologies. =SW=
[FlorescuRV:158] Daniela Florescu, Louiqua Raschid, Patrick Valduriez: "Using Hereterogneous Equivalence for Query Rewriting in Multidatabase Systems";: COOP95, pages 158:169. = Rules for scope matching.
[Fox:93] Edward Fox: Sourcebook for Digital Libaries; gopher to, 1993.
[FraileyTZ:91] Dennis J. Frailey, A. Joe Turner, Stuart H. Zweben: "Adequacy and Health of Academic-Industry Coupling";CACM, Vol.34 no.10, Oct.1991, pp 126-128.
[FranchettiKB:94] J.C.~Franchitti, R.~King, and O.~Boucelma: ``A Toolkit to Support Scalable Persistent Base Infrastructures''; in {\sl Proceedings of the Sixth International Workshop on Persistent Object Systems}, Tarascon, France, September 1994, Springer-Verlag LNCS.
[FranklinCL:93] M.J. Franklin, M.J. Carey, and M. Livny: "Local Disk Caching for Client-Server Database Systems" {\em 19th Int. Conf. on Very Large Data Bases}, Dublin, Ireland, August 1993, pp.641-654.
[Freytag:87] Johann Christian Freytag: "A Rule-based View of Query Optimization"; {\sl Proc.\ ACM SIGMOD, 1987}, pp.173--180.
[FriederS:91] Ophir Frieder and Mark E. Segal: "On Dynamically Updating a Computer Program: from Concept to Prototype"; J. of Systems Software, Elseviers, Vol.14, pp.111-128, 1991. =procedures are recompiled and inserted into distruibuted C-programs while the system continues to execute. =SW=
[FriedmanK:94] Batya Friedman and Peter H. Kahn, jr: "Educating Computer Scientists: Linking the Social and the Technical"; Comm.ACM, Vol.37 No.1, Jan.1994, pages 64-70. Many references. =SW=
[Fox:80] Joseph M. Fox: SAID, Software Analysis and its Development; Prentice Hall, 1980 =SW= %GGGGGGGGGGGGGGGGGGGGGGGGGGGGGG
[GabrielianF:91] Armen Gabrielian and Mathew K. Franklin "Multi-Level Specification"; Comm.ACM, Vol.34 No.5, May 1991, pp.51-60. = from hardware on up. In special issue on Software Engineering. =SW=
[GallaherL:91] K.B. Gallagher and J. Lyle: "Using Program Slicing in Software Manintenance"; IEEE Trans. SW Eng., Vol.SE-17 No.8, Aug.1991. = SW decomposition. =SW=
[GarlanA:95*] David Garlan, Oscar Nierstraszand Theo Dirk Meijler, Gio Wiederhold, Frank Manola, Sandra Heiler, Jeff Sutherland: Research Directions in Software Engineering; ACM Comp.Surveys, Vol.27 No.2, June 1995, pages 256-276. = 6 short articles on research directions, oriented towards software scaling. =SW=
[GarlanSOSS:92] David Garlan, Mary Shaw, Chris Okasaki, Curtis M. Scott, and Roy F. Swonger, Jose Galmes: "Experience with a Course on Architectures for Software Systems"; Proc.6tj SEI Conf. on Software Engineering Education, Oct. 1992; also Part II Educational Materials, August 1994, report CMU-CS-94-178. =SW=
[GarrettA:93] J.R.\ Garrett et al: ``Toward an Electronic Copyright Management System; {\sl Journal of the Amer.\ Soc.\ for Information Science}, Vol.44 No,8, Sept.\ 1993, pages 468-473.= Overview of copyright use wrt digital libraries. Simplifies task of a mediator.
[GauseW:94] D. Gause and M. Weinberg: "Exploring Requirements: Quality Before Design"; ? = read by Francois Guimbretiere !| =SW=
[Gelernter:94] David Gelernter:= "The Cyber-Road Not Taken"; Washington Post, 3 April 1994, page C1.= More Mediocity, Mom! Please? Includes new application ideas: Lifehistory, Video University, Vector search..
[have original text]
[Gelman:94] Stacey Gelman: "SILVER BULLET: An Iterative Model for Process Definition and Improvement"; AT&T Technical Journal, Vol.73 No. 4, Jul-Aug.1994, pp.35--45 = software process introduction and experience at a high level. =SW=
[Genesereth:92] Michael Genesereth: ``An Agent-Based Framework for Software Interoperability''; Procedings ARPA Software Engineering Conference, Los Angeles 1992, Meridian Corporation, Arlington VA, pp.359-366; to appear in AI magazine, 1995.
[GeneserethS:93] Michael R. Genesereth and Narinder P. Singh: ``A Knowledge Sharing Approach to Software Interoperation"; Stanford University, 1993.
[GeneserethK:94] Michael Genesereth and Steven Ketchpel: ``Software Agents''; {\sl Comm.\ ACM}, Vol.37 No.7, July 1994, pp.48-53,147.
[GeneserethSS:94] Michael R. Genesereth, Narinder P. Singh and Mustafa A.Syed: ``A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation"; {\sl Proc. Int.Symp. on Fifth Generation Comp Systems}, ICOT, Tokyo, Japan, Vol.W3, Dec.1994, pp.125-139.
[GerhartCR:94] Susan Gerhart, Dan Craigen, and Ted Ralston: "Experience with Formal Methods ib Critical Systems"; IEEE Software, Jan. 1994. =SW=
[Gibbs:94*] W. Wayt Gibbs: "~The Software Crisis"; Scientific American, Sep.1994. = Based on interviews with Victor Basili, Dave Fisher, Ted Ralston, a.o. List failures, maturity model, formal approaches, code composition and generation, impact of PCs (10%), offshore programming. =SW=
[Gilb:88] Tom Gilb: Principles of Sotware Engineering; Addison-Wesley, 1988. =SW=
[Ginsberg:90] Matt Ginsberg: ``Knowledge Interchange Format: The KIF of Death''; {\sl Communications of the ACM}, Vol.33 No.8, Aug.1990.
[GlaserAG:83] Edward M. Glaser, Harold Abelson, Kathalee Garrison: "Putting Knowledge to Use"; Jossey-Bass, SF, 1983 = Technology Transition, Knowledge Utilization and Policy or Organizational Change and Adoption of Innovation, supported by NIMH
[Howard Davis, Susan Salasin].
[GohMS:94] Cheng Goh, Stuart Madnick and Michael Siegel: "Context Interchange: Overcoming the Challenge of Large Scale Interoperable Database Systems in a Dynamic Envirnment";. CIKM 1994. = description of conversions needed in financial applications using multiple sources with differing ontologies.
[Gomery:94] Douglas Gomery= "In Search of the Cybermarket"; The Wilson Quarterly, Summer 1994, pp.8-17. = Prof. at Un maryland, dep. of Communication, warns us to be realistic about the benefits and commercial potential of the NII. Avoid making it a Superhypeway. Educational, etc services on Cable TV did not make it because the benefits were not economically worth it. People won't cange, only 25% readbooks. Switched vs non-switched systems !!!!
[Goranson:92] H.H. Ted Goranson: "The CIMOSA Approach as an Enterprise Integration Strategy"; ICEIMT (Internat. Conf. on Enterprise Integration Strategy) Proc., MIT Press 1992. =SW=
[GoslingM:95] James Gosling and Henry McGilton: {\sl The {\csc java} Language Environment: a White Paper}; Sun Microsystems 1995,
[GravanoGR:94] Luis Gravano, Hector Garcia-Molina, and Anthony Tomasic: ``The Effectiveness of {\csc gloss} for the Text Database Discovery Problem''; {\sl Proc.\ of the 1994 ACM SIGMOD}, ACM Sigmod Record, Vol.23 No.2 May 1994, pp.126--137.
[GrayKP:92] P.M.D. Gray, K.G. Kulkarni, and N.W. Paton: Object Oriented Databases: a Semantic Model Approach, Prentice Hall 1992 = includes protein DB schema.
[GrayR93] J. Gray and A. Reuter: {\em Transaction Processing: Concepts and Techniques}, Morgan Kaufmann Publishers, Inc, 1993.
[GreenLBCR:83] Cordell Green, David Luckham, Robert Balzer, Tom Cheatham' and C. Rich: "Report on a Knowledge-Based Software Assistant," RADC TR 83-195, Contract No. F30602-81-C-0206, Kestrel Institute, Palo Alto, California, June 1983.
[Gries:81] David Gries: The Science of Programming; Texts and Monographs in Computer Science, Springer Verlag, New York 1981, ISBN 0-387-90641-X. = Zaki Hasan: This text-book is based on Dijkstra's approach, but it is bigger, with more examples and lots of exercises. If you want to master the "discipline of programming" approach, this is the text book to get. I strongly recommend this book. =SW=
[Gronbaek:94] Kaj Gr\/onbaek and Randall H~Trygg: "Hypermedia System Design Applying the Dexter Model"; Comm.ACM, vol.37 No.2, Feb.1994, pp.27-108. = Special issue with several articles on text browsing
[Gruber:91] T.R.| Gruber: `` The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases''; in Allen, Fikes, Sandewall (eds): {\sl Principles of Knowledge Representation and Reasoning}: Morgan Kaufmann, 1991.
[Gruber:92O] T.R.\ Gruber: {\sl {\csc. Onolingua}: A Mechanism to Support Portable Ontologies}; Knowledge Systems Laboratory, KSL-91-66, November 1992.
[Gruber:92P] T.R.\ Gruber: "Toward principles for the design of ontologies used for knowledge sharing''; in Gurino (ed) {\sl International Workshop on Formal Ontology}, Padova, Italy, 1992.
[Gruber:94] Tom Gruber: "Ontolingua Overview";, 1994.
[Gruber:93]{Thomas R.~Gruber}: ``A Translation Approach to Portable Ontology Specifications''; {\sl Knowledge Acquisition}, Vol.5 No. 2, pp.199--220, 1993
[Gruber:94]{Thomas R.~Gruber and Gregory Olsen}: ``An Ontology for Engineering Mathematics''; in Doyle, Torasso, and Sandewall (eds.): {\sl Fourth International Conference on Principles of Knowledge Representation and Reasoning}, Gustav Stresemann Institut, Bonn, Germany; Morgan Kaufmann, May 1994. =SW=
[GSA:93] General Services Administration: A Guide for Acquiring Software Development Services; GSA, Information Resources Management Service, Washington DC: GPO; 1993 Sep., No.KMP-93-4-P. = This Guide was written by: American Management Systems, Inc. Arlington VA. This Guide provides Government program, information resources management, and contracting officials with an introduction to the acquisition of software development services. =SW=
[Gupta: 89] Amar Gupta (editor): Integration of Information Systems: Bridging Heterogeneous Databases; IEEE Press, 1989.
[GuptaMS93] A. Gupta, I.S. Mumick, and V.S. Subrahmanian. "Maintaining Views Incrementally"; {\em ACM SIGMOD Int. Conf. on Management of Data}, Washington, D.C., May 1993, 157-166. %HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHH
[HaasCLMLPCS:90] L. Haas, W. Chang, G. Lohman, J. McPherson, G. Lapis, B. Lindsay, H. Pirahesh, M. Carey, and E. Shekita: "Starburst Mid-Flight: As the Dust Clears".{\em IEEE Transactions on Knowledge and Data Engineering},Vol.2 No.1, March 1990. =SW=
[HaddockH:94]{G.~Haddock and K.~Harbison}: ``From Scenarios to Domain Models: Processes and Representations"; {\sl Proceedings of the onference on Knowledge-based Artificial Intelligence Systems in Aerospace and Industry}, SPIE, April 1994. = on DSSA. =SW=
[Hamlet:92] D. Hamlet: "Are we Testing for True Reliability"; IEEE SW. July 1992, pp. 21-27. =SW=
[HamletT:90] D. Hamlet and R. Taylor: "Partition Testing does not inspire Confidence"; IEEE Trans on SW. Vol.SE-16, Dec.1990, pp. 1402-1411. =SW=
[HammerM:78] M.~Hammer and D.~McLeod: ``The Semantic Data Model: A Modelling Machanism for Data Base Applications"; {\sl Proc..\ ACM SIGMOD }78, Lowenthal and Dale(eds), 1978, pp.26--36.
[Hanson:87] Eric Hanson: ``A Performance Analysis of View Materialization Strategies"; {\sl Proc.\ ACM-SIGMOD }87, May 1987.
[HansomCKW90] E.N. Hanson, M. Chaabouni, C.H. Kim, and Y.W. Wang: "A Predicate Matching Algorithm for Database Rule Systems"; {\em ACM SIGMOD Int. Conf. on Management of Data}, Atlantic City, NJ, May 1990, pp.271-280.
[Hanson:92] E.N. Hanson: "Rule Condition Testing and Action Execution in Ariel"; ACM SIGMOD Int. Conf. on Managing Data}; San Diego, CA, June 1992, pp.49-58.
[HardyS:94] Darren R.~Hardy and Michael F.~Schwartz: Harvest User Manual; \\, Oct. 1994.
[HauslerLT:94] Hausler, Linger, and Trammell: "Adopting Clean Room SW Eng with a Phased Approach"; IBM Sys.J., Vol.33. no.1, 1994 = Rick Linger 301 240-8207 !| =SW=
[HayesRothPLMM=B:94] Barbara Hayes-Roth, K. Pfleger, P. Lalanda, P. Morignot, and M. Balabanovic: {\sl A Domain-Specific Software Architechture for Adaptive Intelligent Systems}; Stanford Un. KSL report 94-11, march 1994. = Technology-specific rather than domain specific? =SW=
[HayesRothSBHL:94] Barbara Hayes-Roth, Sincoff, E., Brownston, L., Huard, R., & Lent, B.: Directed Improvisation; Knowledge Systems Laboratory, Technical Report KSL-94-61. =SW=
[HayesRoth:94] Rick Hayes-Roth: DSSA !rhayes-r@alfred.Teknowledge.COM| 1994. =SW=
[HewittBS:73] C.~Hewitt, P.~Bishop, and R.~Steiger: ``A Universal Modular {\csc actor} Formalism for Artificial Intelligence"; {\sl IJCAI }3, SRI, Aug.1973, pp.235-245. =SW=
[Hewitt:88] Carl Hewitt: Knowledge Processing Organizations proposal; Nov.1988.
[HHS:93] Towards a National Health Information Infrastructure; DHHS April 1993. = cites savings based in the Medical and Health Insurance Information Reform Act of 1992, Washington DC, October 1992.
[HorvitzKL:86] E.J.~Horvitz, D.E.~Heckerman, and C.~Langlotz: ``A Framework for Comparing Alternate Formalisms for Plausible Reasoning''; {\sl Proc.~AAAI}-86, 1986, pp.210--214. %= the paper has some confusing statements.
[HsiaoNS:94] David Hsiao, Erich Neuhold and Sacks-Davis: xx SYSTEMS; Proceedings of Ds-5, IFIP transactions A-25, North-Holland 1993.
[HuangJK:94] Y. Huang, P. Jalote, and C.MR. Kintala: "Two Techniques for Transient Error Recovery", in M.Benatre and P.A.Lee: Hardware and Software Architectures for Fault Tolereance, experience nad perspectives; LNCS 774, Springer, 1994 pp.139-170. = reordering transactions invocations is one. Terminating long-running applications and restarting them clean is another one. =SW=
[Huff:54] Darrell Huff: {\sl How to Lie With Statistics}; Norton, 1954.
[HumphreysL:92]{B.L.~Humphreys and D.A.B.~ Lindberg}: ``The Unified Medical Language Project: A Distributed Experiment in Improving Access to Biomedical Information''; MEDINFO 92}, North-Holland, 1992, pp.1496--1500.
[HuntR79] H.B. Hunt III and D.J. Rosenkrantz. The Complexity of Testing Predicate Locks. \{\\em ACM SIGMOD Int. Conf. on Management of Data\}, Boston, MA, May 1979, 127-133.
[HursonBK:93] A.R.Hurson, M.W.Bright, S.H.Pakzad (ed.s): {\sl Multi-database Systems: An Advanced Solution for Global Information Sharing}; IEEE Press, 1993. %IIIIIIIIIIIIIIIIIIIIIII
[IEEE:84] IEEE Software Magazine: ; regular special topic issues, since 1984. =SW=
[IEEE1278:93] IEEE Standard: Protocols for Distributed Simulation Applications: entity Information and Interaction; IEEE Standard 1278, IEEE Computer Society 1993.
[IMKA:90] The Initiative for Managing Knowledge Assets: IMKA: Software Functional Specification, Phase 1, Knowledge Representation,; Carnegie Group, DEC, Ford, TI, US West July 1990 = strategy for enterprise software modeling. In Gio's office =SW=
[ISO:87] Working draft of ISO Remote Access (RDA) :Protocol; ISO/TC97/SC21 N 1926 (ANSI X3H2-87-210), Jul.1987.!!get later ref||
[ISO:92] Information Technology: Hypertext Time-based Structurinng Language (HyTime); ISO IEC10744, 1992.
[ISX:94] ISX Corporation: Intelligent Integration of Information (I3);, 1994 %JJJJJJJJJJJJJJJJJJJJJJJ
[Jackson:82] M.A. Jackson: System Development; Prentice Hall, 1982. =Diagramming =SW=
[Jain:91] Raj Jain: The Art of Computer Systems Performance Analysis; John Wiley, 1991. = good statistical coverage, simulation. Also valid remarks about problems software building. =SW=
[JajodiaL:90] Sushil Jojodia and Carl E. Landwehr: Database Security IV: Status and prospects; North-Holland, 1990.
[JarkeA:95] Mathias Jarke et al.: The NATURE framework; RWTH Aachen, Germany, Ralf Doemges email: !| = Esprit project on Theories Underlying Requirements Engineering, address fundamental issues associated with the theory of knowledge representation and management, domain modeling and reuse, process guidance and traceability within requirements engineering
[JensenMRS 90] C.S. Jensen, L. Mark, N. Roussopoulos, T. Sellis; Using Caching, Cache Indexing, and Differential Techniques to Efficiently Support Transaction Time; CS-TR-2413, University of Maryland, February 1990.
[JohnsonH:91] Lewis Johnson and D. Harris: "The KBSA Requirements/ Specification Facet: Aries"; Proceedings of the 6th Annual Knowledge-Based Software Engineering Conference, Syracuse, New York, September, 1991.
[Johnson:91] Ray Johnson: ; = mailing list for software agents. =SW=
[Jones:94] Neil D. Jones @University of Copenhagen, Denmark: Partial Evaluation and Automatic Program Generation; ? = Partial evaluation is automatic program specialization: given a program and knowledge of some of its input data, a partial evaluator produces another program which, when run on the missing data, gives the same result as running the original. =SW=
[Jullig:93] R.~Jullig: ``Appying formal software Synthesis'' ; {i\i IEEE Software}, Vol.10 No.3, May 1993, pp.11-22. = @kestrel e. for a recent easy-to-read, but slightly dated overview of KIDS and Specware both %KKKKKKKKKKKKKKKKKKKKKKKKKK
[Kahn:87]{Robert E.~Kahn}: ``Networks for Advanced Computing''; Scientific American}, Vol 257 No.5; Oct.1987, pp.136-143.
[KahnA:93] Robert Kahn et al: {\sl Proposal for Electronic Copyrights Management}; Corporation for National Research Initiatives, Reston VA, 1993.
[Kaman:94] Richard Kaman: {\sl Act Now to Preserve Information Rights}; O'Reilly and Associates, Sebastopol CA,
[KamelK92] N. Kamel, and R. King." Intelligent Database Caching Through the Use of Page-Answers and Page-Traces.\"; \{\\em ACM Transactions on Database Systems\}, Vol. 17, No. 4, December 1992, 601-646.
[KanasakiK:89] K.Kanasaki and T.L. Kunii @ Ricoh Co, Ltd, Software Res.Ctr, (Tokyo, Japan) " Case-Based Evolutionary World Model for Electronic Secretaries " / DASFAA 1, Seoul Korea, Apr.1989, pp.35--42. = Schema evolution derived from data.
[KanthB:88] M.R.~Kanth and P.K.~Bose: ``Extending an Assumption-based Truth Maintenance System to Databases''; {\sl IEEE CS Data Engineering Conference }4, Feb.1988, LosAngeles.
[Kaplan:84] S.Jerrold Kaplan: ``Designing a Portable Natural Language Database Query System"; ACM TODS, Vol.9 No.1, Mar.1984, pp.1--19.
[Kapoor:91] M.Kapoor: "A Software Design Manifesto: Time for a Change'; Dr.Dobbs, Jan.1991. =An alternative to Software Engineering as preached. =SW=
[Karp:94] Peter Karp: "Proceedings of the Meeting on the Interconnection of Molecular Biology Databases";, 1994.
[Karr:93] Robert N. Karr: Data Management Issues Associated with Stovepipe Systems; U.S General Services Administration, Information Resources Service, KMP-94-1-1, Occt. 1993.= General advice, references to Bill Inmon. =SW=
[KatoM 92] K. Kato and T. Masuda: "Persistent Caching: An Implementation Technique for Complex Objects with Object Identity"; IEEE Transactions on Software Engineering\}, July 1992.
[Kehoe:92] Brendan P. Kehoe: Zen and the Art of the Internet: A Beginner's Guide; Prentice Hall, 1992. =Brief but useful Internet guide with plenty of good advice on useful machines to paw over for data. Mr Kehoe's guide bears the singularly wonderful distinction of being available in electronic form free of charge.
[Keller 85] A. M. Keller. \{\\em Updating Relational Databases Through Views\}. Ph.D. dissertation, Stanford University, February 1985, Technical Report STAN-CS-85-1040.
[Keller:86a] A. M. Keller. The Role of Semantics in Translating View Updates": {\\em IEEE Computer\}, 19(1), January 1986.
[Keller:86b] A. M. Keller: "Choosing a View Update Translator by Dialog at View Definition Time"; {\em 12th Int. Conf. on Very Large Data Bases}, Kyoto, Japan, August 1986.
[Keller:86c] A. M. Keller. Unifying Database and Programming Language Concepts Using the Object Model, (extended abstract).~Workshop on Object-Oriented Database Systems\}, IEEE Computer Society, Pacific Grove, CA, September 1986.
[KellerH 87] A. M. Keller and L. Harvey. \{\\em A Prototype View Update Translation Facility\}. Report TR-87-45, Dept. of Computer Sciences, University of Texas at Austin, December 1987.
[KellerJA:93] A.M. Keller, R. Jensen, and S. Agarwal: "Persistence Software: Bridging Object-Oriented Programming"; and Relational Databases. {\em ACM SIGMOD, International Conference on Management of Data}, May 1993.
[KellerH 93] A.M. Keller and C. Hamon. "A C++ Binding for Penguin: a System for Data Sharing among Heterogeneous Object Models. \{\\em 4th Int. Conf. Foundations of Data Organization and Algorithms\}, Evanston, October 1993.
[KellerB:95] A.M.~Keller and Julie Basu: ``A Predicate-based Caching Scheme for Client-Server Database Architectures; {\em 21st Int. Conf. on Very Large Data Bases}, Zurich, Switzerland, September 1995.
[Kennedy:94] Randall C. Kennedy: "Unlock the power of OLE"; Windows Sources v2, n3 (March, 1994):107 (14 pages). = Excellent Source, multiple articles on OLE; provided by Avery Kadison. =SW=
[Kent:93] Stephen Kent: "Internet Privacy Enhanced Mail"; CACM Vol.36 No.8, August 1993, pp.48--60.
[Kiczales:94] Gregor Kiczales: talk on component code synthesis; OOPSLA 1994. =SW=
[Kieburtz:94] Richard B.~Kieburtz: ``Generating Software from Specifications''; {\sl Proceedings of the Monterey Workshop on Formal Methods}, Luqi (ed.), U.S.~Naval Post Graduate School, Sept. 1994, pp.122--128. =SW=
[KieslerWC:94] Sara Kiesler, D.Wholey and K.Carley@Social and Dec.Sc.dep.,CMU "Coordination as linkage: he case off Software Development Teams"; in D.H. Haaris: 'Organizational Linkages: Understanding the Productivity Paradox';National Academy Press, 1994.
[Kilgour:95?] Frederick Kilgour: {\sl The History of the Book}; to appear 1995. %Ed Fox wanted a reference
[Kim:95] Won Kim (ed): {\sl Modern Database Systems: the Object Model, Interoperability and Beyond}; AcM press, Addison Wesley, 1995. =SW=
[King:84] Jonathan J.~King: {\sl Query Optimization by Semantic Reasoning}; Univ.of Michigan Press, 1984.
[King:95] Roger King et al: {\sl Reference Architecture, Intelligent Integration of Information Program};, University of Colorado, Sept.1995.
[Kleinrock:94] Leonard Kleinrock (chair Renaissance Committee): Realizing the Information Future: The Internet and Beyond; Computer Science and Telecommunications Board, National Research Council, National Academy Press, 1994. = focuses on four layers from an engineer's point of view: 1. low-level comm., 2. transport, 3. simple middleware, 4. applications. Chapters:1. Summary, 2. US Networking, 3 Open data network, 3 Research, education, libraries, 4. Principles and Practice, 5. Financial Issues, Government Roles and Opportunities. A. Federal Networking, B. Sample Principle Sets, C. Usert support services, D. State and Reginal Networks E. International Issues, F. Key terms. order 800 624-6242 $24.95 or on WWW.
[KnoblockL:95] Craig Knoblock and Alon Levy (eds): Information Gathering from Distributed, Heterogenous Resources; Proceedings of 1995 AAAI Spring Symposium, March 1995, AAAI, Menlo Park CA.
[Knuth:89] Don Knuth: Web system; 1989? = combines PASCAL code and comments. =SW=
[Kostner:94] Martijn Koster, 1994. On Information Discovery;
[Koster:94] Martijn Koster: {\sl Rules for Web Robots}; Nexor, 1994,\break
[KrishnanS:94] R.\ Krishnan and D.H.\ Steier: ``Adaptive Access to a Digital Library of Corporate Information''; {\sl Digital Libraries Workshop}, Rutgers Un., Newark NJ, May 1994. URL: == Price-Waterhouse' creation of comparative tables from K-10 reports.
[Kruger:92] Charles Kruger: "Software Reuse"; ACM Comp. Surveys, vol.24 No.2, June 1992.= need to abstract implementation patterns, design and code scavenging, off-the shelf components, libraries, Booch' standard Ada data constructs. =SW=
[Kunt:95] Murat Kunt (ed.) "Digital Television"; IEEE Spectrum; Vol.83, nos.6,7, June/july 1995 = issues devoted to Digitl TV and compression. %LLLLLLLLLLLLLLLLLLLL
[LaiMY:88] K-Y.~Lai, T.W.~Malone, and K-C.~Yu: ``Object Lens: A Spreadsheet for Cooperative Work"; {\sl ACM Ttans.\ on Office Inf.\ Systems}, Vol.6 No.4, Oct.1988, pp.332--353.
[Lang:26] Fritz Lang: 'Metropolis'; UFA 1926.= silent film.
[LarsonY87] P.A. Larson and H.Z. Yang. Computing Queries from Derived Relations: Theoretical Foundation. Research report CS-87-35, University of Waterloo, August 1987.
[LaQueyR:92] Tracy LaQuey and Jeanne C. Ryer: The Internet Companion; Addison Wesley, 1992. Evangelical etiquette guide to the Internet featuring anecdotal tales of life-changing Internet experiences. Foreword by Senator Al Gore.
[LawK:91] A.M. Law and W.D. Kelton: Simulation Modeling and Analysis; Mc Graw-Hill 1991.
[LawM:94] A.M. Law and M.G. McComas: Simulation Software for Communicaton Networks"; IEEE Communications, March 1994.
[LawWBSSZ:90] K. H. Law, G. Wiederhold, T. Barsalou, N. Sambela, W. Sujansky, and D. Zingmond: "Managing Design Objects in a Sharable Relational Framework"; Proceedings,ASME meeting, Boston, August 1990.
[LawWBSSZS:91] Kincho H. Law, Gio Wiederhold, Thierry Barsalou, Niki Siambela, Walter Sujansky, David Zingmond, Harvinder Singh; ``Architecture for Managing Design Objects in a Shareable Relational Framework''; International Journal of Systems Automation: Research and Applications (SARA), Volume 1, Number 1, pages 47-65, 1991.
[Lederberg:78] Joshua Lederberg: "Digital Communications and the Conduct of Science"; Proc.IEE, Vol.66 No.1, pages 1314-1319, 1978.
[LederbergU:78] Joshua Lederberg and Keith Uncapher: Towards a National Collaboratory; Proc. Invitational Workshop, Rockefeller Un., March 1989. = importance of email
[Lederberg:93] Joshua Lederberg: Keynote presentation at CAMIS; April 29, 1993, Stanford University.
[LedgarT:90] H. Ledgar & J Tauer: Professional Software, volume 2: Programming Practice; ISBN 0-201-12232-4. = Zaki Hasan: Ledgard and Tauer introduce the term "PA Programmer". A PA programmer is an amateur programmer who thinks he is a professional, or a professional who is acting like an amateur. Near enough is not good enough of a professional, and the two volumes discuss things such as user interface design (volume 1) and naming conventions and layout (volume 2). There is a lot of good stuff in these two volumes, though I'm afraid that their examples finally convinced me that Pascal-like languages are part of the problem. =SW=
[LeeW:90] B. S. Lee and G. Wiederhold. \{\\em Outer Joins and Filters for Instantiating Objects from Relational Databases through Views.\} Center for Integrated Facilities Engineering (CIFE), Stanford University, Technic al Report 30, May 1990; also Instantiating Objects from Relational Databases through Views"; IEEE Transactions on Knowledge and Data Engineering, Vol.6 No.1, pages 108-119, February 1994. (accepted July 1991).||
[Lee 90] B. S. Lee. \{\\em Efficiency in Instantiating Objects from Relational Databases Through Views.\} Ph.D. dissertation, Stanford University, December 1990, Technical Report STAN-CS-90-1346. Also Lee, Byung Suk and Gio Wiederhold: "Efficiently Instantiating View-objects from Remote Relational Databases"; The VLDB Journal, Vol.3 No.3, July 1994, pages 289-323 (submitted August 1990).|| =SW=
[LeggettS:94] John J.Leggett and John L. Schnase: "Viewing Dexter with Open Eyes"; Comm.ACM, Vol.37 No. 2, Feb.1994, = A Hypertext Reference Model
[Lehman:94] Manny Lehman @ Dep.Computing, Imperial College, London; = FEAST project on Feeadback, Evolution, and Software Technology. =SW=
[Lehrer:94] Nancy Lehrer (ed.): Summary of I3 Projects; =SW=
[LenatGA:90]{D.~Lenat, R.V.~Guha, et al.}: ``{\csc cyc}: towards programs with common sense''; {\sl Communications of the ACM}, Vol.33 No.8, Aug.1990.
[LeonhardC:94] Woody Leonhard and Vincent Chen: "Dynamic Data Exchange; or, how to talk with your mouth full" and "Could OLE automation be the Princess Charming of software?"; PC-Computing, Vol.7 Nos.4,5 (April,May, 1994):218,224. = Microsoft OLE, provided by Avery Kadison =SW=
[Lesk:93] Michael Lesk (Bellcore): private communication.
[Lesk:91] Michael Lesk: "The CORE electronic library "; Proc.14th SIGIR conference, ACM, Oct. 1991.= includes a comic book abstractof chemical transfroms.
[Levenson:91] Nancy Levenson "Software Safety in Embedded Computer System"; Comm.ACM, Vol.34 No.2, February 1991. = Analysis of fatal Software Failures in Medical Equipment. =SW=
[LevyS93] A.Y. Levy and Y. Sagiv: "Queries Independent of Updates."; {\em 19th Int. Conf. on Very Large Data Bases}, Dublin, Ireland, August 1993, 171-181.
[LewisR:95] Clayton Lewis and John Rieman: Task-Centered Interface Design; !| = textbook on Human-Computer Interaction.
[LientzS:80] B.P. Lientz and E.B. Swanson: Software Maintenance Management; Addison-Wesley, 1980. = has measurements: about 20% corrective, 25% adaptative, 55% perfective. =SW=
[LindbergHM:93] D.A.B. Lindberg, B.L. Humphreys, and A.T. McCray: "The Unified Medical Language System"; IMIA Yearbook of Medical Information 93, Schattauer Verlag, 1993.
[LiC:94] Wen-Syan Li and Chris Clifton: ``Semantic Integration in Heterogeneous Databases Using Neural Networks''; {\sl Proc.\ of the 20th Conference on Very Large Data Bases (VLDB)}, Morgan-Kaufmann, 1994, pages 1--12.
[LiskovG:86] Barbara Liskov and John Guttag: Abstraction and Specification in Program Development; MIT Press, 1986 = Fundamental paper on object data structures. =SW=
[LiskovZ:75] {Barabara H.\ Liskov and Steve N.~Zilles}: ``Specification Techniques for Data Abstractions''; {\sl IEEE Transactions on Software Engineering}, Vol.SE-1, 1975, pp.7--19.
[LitwinA:86] W.~Litwin and A.~Abdellatif: ``Multidatabase Interoperability"; {\sl IEEE Computer}, Vol.19 No.12, Dec.1986, pp.10--18.
[LitwinR:89] W.~Litwin and N.~Roussopolous: ``A Model for Computer Life''; University of Maryland, Institute for Advanced Computer Studies, UMIACS-TR-89-76, July 1989.
[LitwinS:95] Witold Litwin and Ming Chien Shan: Introduction to Interoperable Multidatabase Systems; Prentice Hall, 1995
[Lobicki:95] Martin C. Lobicki: Information Technology Standards; Digital Press, 1995. = good overview of standards, including those for intedration =SW=
[Loomis:87]{Mary E.S.~Loomis}: {\sl The Database Book}; MacMillan, 1987.
[LowryM:91] Michael R. Lowry and Robert D. McCartney: Automating Software Design; AAAI press/ MIT Press 1991. = Articles on Tools for Large SW systems (2), Specification Acquisition(3), Domain-specific Program Synthesis (4), Knowledge Compilation (5), Formal Derivation Systems (7), Cognitive and Planning Approaches (2). A strong AI flavor. =SW=
[Lu:94] Stephen C-Y. Lu: Working for the Library or the Factory? =A Comparative Study of Production Engineering Research Infrastructures at U.S. and German Universities; draft report, Un.of Illinois at Urbana-Champaign, Urbana IL 61801, Jan.1994. =analysis of and effectivness of principles and mehods used at the Fraunhofer institutes to achieve technology transfer. Production Eng encompasse Mech.Eng and Industr.Eng. in the U.S. university model. Points- coupling to universities, dual roles of faculty-industry wise men and graduate students-professionals. Institute has mediating org. role between industry and academia. Profs have 5-10 years industry experience. !comments to Lu: viz ARPA successes supporting more-or-less captive orgs: Lockheed skunk works, SRI, ISI, Lincoln labs, ISX, CMU. Timelines difference even more critical than in Germany.|
[Luckham:90] David Luckham: Programming with Specifications; Springer 1990. = Anna provides annotations will enable verification of Ada programs. =SW=
[Luqi:89] Luqi: "Software Evolution Through Rapid Prototyping"; IEEE Computer, Vol. 22 No.5, May 1989, pp.13--25. = Object technology !add dampier, Luqi|, dependencies`between developement activities and their products. Support for: planning, scheduling, tracking, project control & work assignment, configuration & versioning? see
[Luqi 1990] =SW=
[Luqi:90] Luqi: "A Graph Model for Software Evolution"; IEEE Trans. on SW Eng., Vol. SE16 No.8, 1990, pp.917--927. = dependencies`between developement activities and their products. Support for: planning, scheduling, tracking, project control & work assignment, configuration & versioning =SW=
[Luqi:92] Luqi "" IEEE SW Jan. 1992 = CAPS software model for C3I station =SW=
[Lynch:90] Lynch, Clifford A. " The Z39.50 Information retrieval protocol: An overview and Status Report " / ACM SIGCOMM, 1990, pp.58--70. | DBDbiblio| %MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM
[MackinlayG:85] Jock Mackinlay and Michael Genesereth: `Intelligent Presentation: The Generation Problem for User Interfaces``; {\sl Data-and Knowledge Engineering}, Vol.1 No.1, Jun.1985, pp.17--29.
[Maddox:94] Tom Maddox= "The Cultural Consequences of the information Superhighway"; The Wilson Quarterly, Summer 1994, pp.29-36. = What islearning and teching, how will it be supported. Even if have-nots are given equal access, they won't get equal benefits. Good people will leave junk grops, makung them junkier.
[Magill:91] Frank N.\ Magill (ed): The Nobel Prize Winners, Vol.2, 1944-1969; Salem Press 1991. (Commentary and bio of Joshua Lederberg, pp 773-782)
[Maier:83] David Maier: The Theory of Relational Databases; Computer Science Press, 1983. ISBN 0-914894--42-0. = Zaki Hasan: For the mathematical theory of relational databases you would have a hard time finding a better book. =SW=
[Maier:89] David Maier: ``Why isn't there an Object-oriented Data Model''; {\sl Information Processing} 89, Ritter (ed), IFIPS, North-Holland 1989, pp.793-798. =SW=
[MaierSOP:86] D. Maier, J. Stein, A. Otis, and A. Purdy: "Development of an Object-Oriented DBMS"; {\em Proceedings of OOPSLA}, Portland, Oregon, 1986. =SW= =SW=
[Mandel:94] Michael J.\ Mandel, Mark Landler, and Ronald Grover: "The Entertainment Economy'; Business Week, 14Mar1994, pages 58--66.
[MarchioniS:88] G. Marchionini and Ben Shneiderman: "Finding Facts vs. Browsing Knowledge in Hypertext Systems"; IEEE Computer, Vol.21 No1, Jan.1988, pages 70-79.
[Marciniak:93] J.J. Marciniak: Encyclopedia of Software Engineering; Wiley 1993. =SW=
[Mark:95] Leo Mark (ed): Database Application Semantics; IFIP WG2.6 Sixth Working Conference on Database Semantics (DS-6), Atlanta, Georgia, May 1995, to be published by Chapman and Hall.
[MarkosianNBBK:94] L. Markosian, P. Newcomb, R. Brand, S.Burson, and T. Kitzmiller; "Using an enabling Technology to Reengineer Legacy Systems"; Com.ACM, vol 37 No.5, may 1994, pages 58-70. = REFINE=COBOL used at Boeing. =SW=
[Maurer:94] Herrman Maurer: ``Advancing the Ideas of World Wide Web: Hyper-G"; {\sl Proc. Distributed Multimedia Systems and Applications}, Honolulu, 1994, pages 201--203;
[MayoM:89] J.S.\ Mayo and W.B.\ Marx, jr.: ``Introduction: `Technology of Future Networks'''; {\sl AT\&T Technical Journal}, Vol.68 No.2, Mar.1989.
[MarcaG:88] D.A. Marca and C.L. McGowan: SADT, Structured Analysis and Design Technique; McGr[MarcoB:87] Marco,A. and Buxton,J.: The Craft of Software Engineering; Addison-Wesley, 1987. =The 'lifecycle model of the software engineering process' is too complex to be considered an improvement over the 'waterfall model'. Tools as DataFlow and data dictionaries. Some of the material is rapidly becoming dated. ---L.Shafer. =SW=
[Mark:94] Bill Mark: Netbuilder Video Tape; Lockheed AI lab.1994, = mega-programming in simulation-based design, with design database access. =SW=
[MashburnA:94] Timothy Mashburn and David C. Anderson !prime author?|: An Extensible Computer Environment for Modeling and Analysis in Mechanical Design"; Proc. ASME Conference Computers in Engineering, 1994/3? = domain-specific module composition =SW=
[Mattison:94] Rob Mattison: The Object-oriented Enterprise, Making Corporate Information Systems Work; Tab Books, 1994. =SW=
[McCarthy:91] John McCarthy "!in AI reading list"; =On adapatability Elaboration Tolerance =SW=
[McCarthy:88] John L.~McCarthy: ``Knowledge Engineering or Engineering Information: Do We Need New Tools?"; {\sl IEEE Data Engineering Conference} 4, Feb.1988, Los Angeles. =SW=
[McCuneTDS:85] B.P.~McCune, R.M.~Tong, J.S.~Dean, and D.G.~Shapiro: ``{\csc rubric}: A System for Rule-based Information Retrieval";{\sl IEEE Trans.\ Software Eng.}, Vol.SE-11 no,9, Sep.1985, pp.939-945.
[McIlroy:68] Doug McIlroy: "Mass-produced Software Components'; in Buxton et al.: Software Engineering Concepts and Techniques; Van Norstrand Reinhold, 1976. =SW=
[McIntyre:87] S.C.~McIntyre and L.F.~Higgins: ``Knowledge Base Partitioning For Local Expertise: Experience in a Knowledge Based Marketing DSS"; {\sl Hawaii Conf.\ on Inf,\ Systems} 20, Feb.1987.
[McKay:94] Don McKay !|: Index page which references into the ARPA Knowledge Sharing Effort Web; = links to KQML work. o.a. =SW=
[McShane:79] D.J.~McShane, A.~Harlow, R.G.~Kraines, and J.F.~Fries: ``TOD: A Software System for the ARAMIS Data Bank''; IEEE Computer, Vol.12 No.11, Nov.1979,pages 34--40.
[MerksDRDC:92] E.A.T. Merks, J.M. Dyk, and B.G. Ryder: Language Design for Program manipulation"; IEEE TSE, vol 18 No.1, Jan.1992, pp.19-32. =SW=
[Merlo:95] Ettore Merlo (ed): Program IEEE Software Maintenance Conference; =SW=
[Meyer:94] Bertrard Meyer: Reusable Software: The Base object-oriented component libraries; Prentice-Hall, 1994. =SW=
[Miller:56] George Miller: "The Magical Number Seven $\pm$ Two"; Psych.Review, Vol.68, 1956, pp.81-97. = bound on short-term memory and hence on complexity and fanout. =SW=
[Miller:94] Barton P. Miller: Making Programs Explode: Using Simple Random Testing on Real Programs; Computer Sciences Department, University of Wisconsin = In 1990, we published the results of a study of the reliability of standard UNIX utility programs. This study showed that by using simple (almost simplistic) random testing techniques, we could crash or hang 25-33% of the these utility programs. Five years later, we have repeated and significantly extended this study using the same basic techniques: subjecting programs to random input streams. A distressingly large number of UNIX utilities still crash with our tests (from 18-23% in the 1995 study). Commercial versions of UNIX that we tested (from Sun, IBM, SGI, DEC, and NEXT) ranged from 15 to 43%. The failure rate of the utilities on the freely-distributed Linux version of UNIX was second-lowest, at 11%. The failure rate of the public GNU utilities was the lowest in our study, at only 7%. =SW=
[MillerKPUK:91] John A. Miller, Krys J. Kochut, Walter D. Potter, Ender Ucar, and Ali A. Keskin: "Query-Driven Simulation Using Active KDL"; Int. Journal in Computer Simulation, Vol.1 No.1, 1991. = access to assist modelers. 70 references.
[MillerMNPNMV:92] K. Miller, L.Morelll, R.Noonan, S.Park, D.Nicol, B.Murrill, and J. Voas: "Estimatinh thhe Probability of Failure when Testing Reveals no failures"; IEEE Trans SW Eng, Vl. SE-18 No.1, Jan..1992, pp 33-44= testing =SW=
[MillerT:95] Duncan C. Miller and Jack A. Thorpe: "SIMNET: The Advent of Computer Networking"; Proceedings of the IEEE, August 1995, vol.83 No.8, pages 1116-1123. =SW=
[MillerW:89] John A. Miller and Orville R. Weyrich jr."" Query Driven Simulation using SIMODULA"; Proc. 22nd Simulation Symp., March 1989, IEEE CS. = If request for simulation results fails, triggers computation of result. Warning if delay is excessive.
[MillerWFCF:92] P.L. Miller, L.W. Wright, S.J. Frawley, J.I. Clyman, and S.M. Powsner: "Selecting Relevant Information Resources in a Network-based Envirnment: The UMLS Information Sources Map"; in Lun et al.: MEDINFO 92, IMIA, Elseviers 1992, pages 1512-1517.
[Mills:94] Elinor Mills: "Users fear hassles in using component software"; InfoWorld v16, n38 (Sept 19, 1994):19 (2 pages). = good critiques by software developers of OLE; provided by Avery Kadison. =SW=
[Misra:86] J. Misra: "Distributed Discrete Event Simulation"; ACM Computing Surveys, Vol.18 No.1, March 1986, pages 39-95.
[MorrisMDF:94] KC Morris, Mary Mitchell, Christopher Dabrowski, and Elizabeth Fong: ``Database Management Systems in Engineering"; in the {\sl Encyclopedia of Software Engineering}, pp.282-308, John Wiley and Sons, 1994; % STEP =SW=
[Murray:93] Janet Murray : "K12 Network: Global Education Through Telecommunications"; CACM Vol.36 No.8, August 1993, pp.36:41.
[MusenGETP:94] Musen, M. A., Gennari, J. H., Eriksson, H., Tu, S. W., & Puerta, A. R.: PROTEGE II: Computer Support For Development Of Intelligent Systems From Libraries Of Components; Knowledge Systems Laboratory, Medical Computer Science, Technical Report KSL-94-60. =SW= %NNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNN
[NechesFFGPSS:93] R.\ Neches, R.\ Fikes, T.\ Finin, T.R.\ Gruber, R.\ Patil, T.\ Senator, and W.R.\ Swartout: ``Enabling Technology for Knowledge Sharing''; {\sl AI Magazine}, Vol.12 No.3, pages:37--56, 1993. =description of KIF, KRSL, KQML..
[Negroponte:94] Nicholas Negroponte: Being Digital; 1994 =books with sensory experience, feel, smell, temperature
[Nelson:74] Ted Nelson: {\sl Computer Lib -- Dream Machines}; Distributors, South Bend IN, 1974.
[Neuman:91] Peter G. Neuman: "Expecting the Unexpected Mayday"; Comm.ACM, Vol.34 No.5, May 1991, pp.128. = Four brief examples of Software Failures. In special issue on Software Engineering. =SW=
[Neumann:95] Peter Neumann: On-line Risks Forum; email to !| 1995 !recent book| =SW=
[Newport:93] J.P. Newport: "The Growing Gap in Software"; Fortune vol.113, Apr.1993, pp.132-142 !er1992| =SW=
[NingA:94] Jim Q. Ning et al @Andersen Consulting: "An Architecture-driven, Business-specific, and Component-based Approach to Software Engineering"; International Conf. on Software Reuse, Brazil, 1994. = megaprogramming approach %OOOOOOOOOOOOOOOOOOOOOOOOOOOOOOO
[OKeefe:94] Richard O'Keefe: "Craft of Prolog' ; =The introduction to the book points to a a few books I think should be considered for inclusion in the reading list for cs446. The author used to work for Quintus Computer Systems when I was there a few years ago. Presently Richard O'Keefe is a Lecturer in the Department of Computer Science at the Royal Melbourne Institute of Technology. I consider him to be an expert in the theory and practical aspects of Computer Science. Some of the comments made in the introduction of his book are very relevant to the new course we are designing. His book happens to be written about the Prolog, but the comments apply in general to the construction of small or large software: There are a few main themes: - Understanding, not Hacking You can speed a program up by attending to the fine details. But really the big savings come from choosing inherently efficient algorithms and exploiting the properties of your problem. To do that, you need a clear understanding of what you want to do and this will show up in your programs. If you don't like mathematics, I have bad news for you: the most effective kind of understanding for this purpose is mathematical. =SW=
[OkiPSS:93] Brian Oki, Manfred Pfluegl, Alex Siegel, and Dale Skeen: "The Information Bus -- an architectire for extensible Distributed Systems; 12th Symp.on Operating Systems Principles (SOSP12), pp.58-68, DEC 1993. =SW=
[Olyzko:95] Andrew Odlyzko !|: `` Tragic loss or good riddance? The impending demise of traditional scholarly journals''; to be published in the Notices of the American Mathematical Society, Jan. 1995. or send tragic.loss.txt from att/math/odlyzko
[Oliver:94] D.E.~Oliver and R.B.~Altman, 1994. Extraction of SNOMED Concepts from Medical Record Texts; Knowledge Systems Laboratory, Medical Computer Science, KSL-94-33, May.
[Olken:86] F.~Olken and D.~Rotem: ``Simple Random Sampling from Relational Databases"; {\sl VLDB }12, Kyoto, Aug.1986
[OMG:91] Object Management Group: The Common Object Request Broker: Architecture and Specification; OMG Document 91.12.1, OMG and X/Open, distributed by QED-Wiley, Wellesley MA, 1991. =SW=
[Oracle:92] Oracle 7 Server Concepts Manual, December 1992. =SW=
[Orman:88] Levent Orman: ``Functional Development of Database Applications''; {\sl IEEE Trans.\ Software Eng.}, Vol.14 No.9, Sep.1988, pp.1280--1292. %= Since observed events are recorded as opposed to the derived state of the % environment, the need for triggers is minimized.
[Ould:90] Ould, Martyn: Strategies for Software Engineering: The Management of Risk and Quality_; John Wiley and Sons, New York. 1990. = It's in the Terman Engineering library as QA76.758.O84. Ould has his own risk management tips and relates his thinking to Boehm's spiral model. Maybe someone will find it useful. =SW=
[OzsoyogluO:84] Z.M.~Ozsoyoglu and G.~Ozsoyoglu: ``Summary-Table-By-Example: A Database Query Language for Manipulating Summary Data''; {\sl IEEE Data Engineering Conf.~}1, Los Angeles, Apr.1984.
[OzsoyogluY:87] Z.M. Ozsoyoglu and L.Y. Yuan: "A New Normal Form for Nested Relations"; ACM Transactions on Database Systems\}, 12(1), 1987. %PPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPP
[Parnas:72] D.L. Parnas: "On the Criteria to be used in Decomposing Systems into Modules"; ComACM, Vol.15 No.12, Dec.19972, pp.1053--1058. =SW=
[Parnas:79] D.L. Parnas: "Designing Software for Ease of Extension and Contraction"; IEEE TSE Vol.5 no.2, Mrch 1979, pp.128-138. =SW=
[PatilFPMFGR:92] R.S.\ Patil, R.E.\ Fikes, P.F.\ Patel-Schneider, D.\ Mckay, T.\ Finin, T.R.\ Gruber, and R.\ Neches: The DARPA Knowledge Sharing Effort: Progress Report; in Nebel, Rich and Swartout, eds., {\sl Principles of Knowledge Representation and Reasoning}; pages 777--788, Morgan Kaufmann, 1992.
[PenedoR:92] Maria Penedo and William Riddle (eds): Process-sensitive Software Engineering Architecture Workshop; Rocky Mountain Institute of Software Engineering, Boulder CO, Sep. 1992. =PSEEA, includes Toaster model picture. In Gio's office. =SW=
[Pierce:00] C.S Pierce: Theory of Sign; = 10 trichotomies and 66 classes, trichotomies of: {Firstness {base icons}, Secondness (indices, compulsive) ,Thirdness (symbols, mediation) }Observation of a sign involves a triadic relatonship between the Sign itself, its Object, and Interpretant, which is another sign. Lived 1839-1914. versus Descartes criticism (base of thesis fasfication) 'you cannot doubt everything'
[Pigoski:93] Thomas M. Pigoski: article on maintenance; in Encyclopedia of Software Engineering, Wiley, 1993. = Pigoski is President of TECHSOFT, a small business which specializes in software maintenance. =SW=
[PistorA:86] P. Pistor and F. Andersen: "Designing a General NFNF Data Model with an SQL-Type Language Interface"; {\em Twelfth International Conference on VLDB}, Kyoto, Japan, 1986.
[PrietoDiaz:91] Ruben Prieto-Diaz "Implementing Faceted Classification for Sofware Reuse"; Comm.ACM, Vol.34 No.5, May 1991, pp.89-97. = A Class-based CASE tool for reuse. In special issue on Software Engineering. =SW=
[Prueitt:94] Paul S. Prueitt@US/CIS "A Communications Substrate for the DRN Distributed Blackboard"; presentation, 1994. The US/CIS Scientific Interface Project is developing a distributed blackboard architecture to support its automated information management system for reviewing Russian scientific research proposals. This system will integrate and coordinate. Symbiotics has developed the NetWorks! software tool to address these integration requirements. NetWorks! enables programs written with different languages or development tools to be connected across a network of disparate computers and operating systems. Briefly, developers use NetWorks! to construct objects called Agents, which provide predefined communication functions.
[PuLC:91] Calton Pu, A. Leff, and S.W. Chen.@ Columbia Un;.: "Heterogenous and autonomous Transaction Processing"; IEEE Computer, Vol.24 No. 12, Dec.1991, pp.64--72.| DBDdist|
[Pu:88] Calton Pu: "Superdatabases for Composition of Heterogeneous Databases"; IEEE Data Engineering Conf., 1988; also in Gupta, 1989. =SW= %QQQQQQQQQQQQQQQQQQQQQQQQ
[Qian:89] XiaoLei Qian: ``The Deductive Synthesis of Iterative Transaction"; PhD thesis, Stanford University, June 1989.
[Quirk, Greenbaum,Leech, and Svartik: A Comprehensive Grammer of English, Oxford?, 1779pp = comprehensive, used for ORACLE ConText. %RRRRRRRRRRRRRRRRRRRRRRRRRR
[Ramakrishnan:89] Raghu Ramakrishnan; ``Conlog: Logic + Control"; Un.~Wisconsin-Madison, CSD, 1989. %= Conlog is a database logic programming language with tentative ideas for % control, modules, and workspaces in Conlog. It gives the Conlog paradigm of computation. An interface to external routines in C is also planned. =SW=
[ReinwaldDCLPS:94] B.~Reinwald, S.~Dessloch, M.~Carey, T.~Lehman, H.\ Pirahesh and V.\ Srinivasan: ``Making Real Data Persistent: Initial Experiences with SMRC''; {\sl Proc.\ Int'l Workshop on Persistent Object Systems}, Tarascon, France, Sept.1994, pp.194--208. =SW=
[Reiter:78] R.~Reiter: ``On Closed World Data Bases''; in Gallaire and Minker (eds): {\em Logic and Data Bases}, Plenum Press, 1978.
[Rettig:91] Marc Rettig "Testing made Palatable"; Comm.ACM, Vol.34 No.5, May 1991, pp.25-29. = in special issue on Software Engineering. =SW=
[Rheingold:93] Howard Rheingold: {\i The Virtual Community: Homesteading on the Electronic Frontier}; Addison Wesley, 1993.
[Risch:89] Tore Risch: ``Monitoring Database Objects''; {\sl Proc.\ VLDB} 15, Amsterdam, Aug.~1989, Morgan Kaufmann Pubs. =SW=
[Robinson:94] Edward N.\ Robinson: "Editorial: The Computerized Patient Record: Privacy and Security"; M.D.Computing, Vol.11 No.2, Mar./Apr.1994, pages 69--73. Well-balanced survey, with many references.
[Rose:83]{Robert F.~Rose}: ``A `Data Engine' Using {\csc sas} and {\csc inquire}''; {\sl Journal of Medical Systems}, Vol.7 No.3, 1983, pp.257--266.
[RosenscheinZ:94] Jeffrey S. Rosenschein and Gilad Zlotkin: Rules Of Encounter: Designing Conventions For Automated Negotiation Among Computers; MIT Press 1994. = Applies the general approach and the mathematical tools of game theory in a formal analysis of the rules (or protocols) governing the high-level behavior of interacting computer systems. =SW=
[RothKS 88] M. A. Roth, H. F. Korth, and A. Silberschatz: "Extended Algebra and Calculus for Nested Relational Databases'; ACM TODS\}, 13(4), December 1988.
[Roussopoulos:89] N. Roussopoulos: The Incremental Access Method of View Cache: Concept, Algorithms, and Cost Analysis;. CS-TR-2193, University of Maryland, February 1989.
[Roussopoulos:91] Nick Roussopoulos: ``An Incremental Access Method For Viewcache: Concept, Algorithm, and Cost Analysis''; {\sl ACM Transactions on Database Systems}, Vol.16 No.3, Sep.\ 1991, pp.535--563.
[RoussopoulosK:86] N.~Roussopoulos and H.~Kang: ``Principles and Techniques in the Design of ADMS''; {\sl IEEE Computer}, Vol.19 No.12, Dec.1986 pp.19--25.
[Rowe:83] Neil~Rowe: ``An Expert System for Statistical Estimates on Databases"; {\sl Proc.\ AAAI}, Stanford, Mar.1983.
[Roy:91]Shaibal Roy: ``Semantic Complexity of Classes of Rela\-tional Queries''; {\sl Proc.\ ACM-PODS 91}, Denver CO, May.1991.
[Roy:91T] Shaibal Roy: {\sl Parallel Execution of Database Queries}; PhD Thesis, Stanford CSD repor t 92-1397, 1992.
[RT:92] H| Rubinovitz and B. Thuraingham; "Design and Implementation of a Query Processor for a Trusted Distributed Query Processor for a Distributed Datbase Managembet System"; Jornal of Systems and Software 1992 = (get for TIHI) also in 1991, also MITRE Technical report MTR 92B-77 (also in 1991, 1992 Computer Simulation Conferences) , MTP 291/ M91-78. What I have seen yet looks prety trivial.
[RumbaughBPEL:91] James Rumaugh, Michael Blaha, William Premerlani, Frederick Eddy, and William Lorensen. "Object-Oriented Modeling and Design". Englewood Cliffs, NJ: Prentice-Hall, 1991. = Includes bibliographical references and index. This book presents an object-oriented approach to software development based on "modeling objects" from the real world and then using the model to build a language-independent "design" organized around those objects. Object-oriented modeling and design promote better understanding of requirements, cleaner designs, and more maintainable systems. We describe a set of object-oriented concepts and a language-independent graphical notation, the Object Modeling Technique, that can be used to analyze problem requirements, design a solution to the problem, and then implement the solution in a programming language or database. Our approach allows the same concepts and notation to be used throughout the entire software development process. The software developer does not need to translate into a new notation at each development stage as is required by many other methodologies. =SW=
[Rundensteiner:92,] Rundensteiner,Elke A ; Multiview: A Methodology for Supporting Multiple Views in Object- Oriented Databases}"; ={Proceedings of the Conference on Very Large Databases, Morgan Kaufman pubs. (Los Altos CA), Vancouver.},18, Aug 1992. %SSSSSOBSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS
[SaccaVALPSS:86] D.~Sacc\`a, D.~Vermeir, A.~d'Atri, A.~Liso, S.G.~Pedersen, J.J.~Snijders, and N.~Spyratos: ``Description of the Overall Architecture of the {\csc kiwi} System''; {\sl ESPRIT'85}, EEC, Elseviers, 1986, pp.~685--700.
[Sadowsky:93] George Sadowsky: "Network Connectivity for Developing Countries"; Comm ACM, Vol.36 No.8, Aug.1993, pp.42-47.
[SafranRCBSB:95] Charles E. Safran, David Ring, Mieke Citroen, Albert R. Bakker, Warner V. Slack, and Howard L. Bleich: "Protection of Confidentiality in the Computer-Based Madical Record", MD Computing, Vol12 No.3, May 1995, pp.187-192 = security rules for VIP patients.
[SagerCFL:85] N.~Sager, E.C.~Chi, C.~Friedman, and M.S.~Lyman: ``Modelling Natural Language Data for Automatic Creation of a Database from Free-Text Input"; {\sl IEEE Database Engineering Bull.}, Vol.8,No.3, Sep.1985, pp.45-55.
[SagivY:80] Y. Sagiv and M. Yannakakis: "Equivalences Among Relational Expressions with the Union and Difference Operators"; \{\\em JACM\}, Vol, 27, No. 4, October 1980, 633-655.
[Salton:90] Gerard Salton: ``Full Text Information Processing Using the Smart System''; {\sl IEEE CS Database Engineering Bulletin}, March 1990, Vol.13 No.1.
[SamadzadehM:95] Mansur Samadzadeh and Mansour Zaid: Proc. ACM SIGSoft Symposium on Software Reusability; ACM, April 1995. =SW=
[Samuelson:92] Pamela Samuelson: Adapting Intellectual Property Law to New Technologies; A Case Study on Computer Programs; NRC, NAS, 1992.
[Samuelson:93] P. Samuelson: "Copyright and Digital Lbraries"; Comm.ACM, Vol.38 No.4, April 1994, pp.15-21. = new balance is likely, some leakage does not hurt.
[Samuelson:94] Pamela Samuelson: ``The NII Intellectual Property Report''; Comm.\ ACM, Vol.\ 37, No.\ 12, Dec.\ 1994 pages 21--27.
[Samuelson:93] P. Samuelson: "Liability for Defective Information"; Comm.ACM, Vol.36 No.5, May 1993, pp.21-26.
[Samuelson:94] P. Samuelson: "Copyright's Fair Use Doctrine and Digital Data"; Comm.ACM, Vol.37 No.1, Jan.1994, pp.21-27.
[Sankar:95] private Comm: VIa Sankar , To add to that thread. BYTE magazine has been running a number of articles in the last year that talks about the emerging market standards for different types of infrastructure layers that agents can use (one of which is CORBA). BYTE a few months ago also had a similar article on OLE.SOM/DSOM/ etc. In addition, One can think about messaging layer standards, distributed database transport layer standards, etc. =SW=
[Schneidewind:87] N.F. Schneidewind: "The State of Software Maintenance"; IEEE Trans.on Software Engineering, Vol.SE13 Mar,1987, pp.303-310. = maintenance is hard because its done wrong. =SW=
[Schneidewind:89] N.F. Schneidewind: "Software Maintenance, the need for a Standard"; Proc.of the IEEE, vil.77 no.4, 1989, pp.618-624. =SW=
[Schneidewind:92] N.F. Schneidewind: "Methodology for Validating Software Metrics"; IEEE Trans.on Software Engineering, Vol.SE18, May 1992, pp.410-422. =SW=
[Schoen:88] E.~Schoen, R.G.~Smith, and B.G.~Buchanan: ``Design of Knowledge-based Systems with a Knowledge-based Assistant''; {\sl IEEE Trans.\ Software Eng.}, Vol.14 No.12, Dec.1988, pp.1771--1791.
[SchulerRBB:90]Schuler, D., Russo, P., Boose, J., & Bradshaw, J. (1990). Using Personal Construct Techniques for collaborative evaluation. International Journal of Man-Machine Studies, 33, 521-536.=%on consensus knowledge acquisition:
[Sellis:87] T. Sellis: "Intelligent Caching and Indexing Techniques for Relational Database Systems"; Technical Report CS-TR-1927, University of Maryland, October 1987.
[Setliff:95] Dottie Setliff, Univ. of Pittsburgh (ed): The Knowledge-Based Software Engineering Conference; Rome Labs, 1995, =SW=
[SewellT:86] W.~Sewell and S.~Tietelbaum: ``Observations of End-user Online Searching Behavior over Eleven Years"; {\sl J.Am.Soc.Inf.Sci}., Vol.37 No.4, Jul.1986, pp.234--245.
[ShannonW:48] C.E.~Shannon and W.~Weaver: {\sl The Mathematical Theory of Communication};1948, reprinted by The Un.Illinois Press, 1962.
[ShawG:89]Shaw, M. L. G. & Gaines, B. R. (1989): "Comparing conceptual structures: consensus, conflict,correspondence and contrast"; Knowledge Acquisition, Vol.1 No.4, pp.341-364. %on consensus knowledge acquisition: =SW=
[Shen:85] Sheldon Shen: ``Design of a Virtual Database''; {\sl Information Systems}., Vol.10 No.1, 1985, pp.27--35. = include inference and derived data, as a front end to an RDB.= distinguish the conceptual 'virtual (CVD) (which is visible to the user as a set of tables) from the "virtual" database schema (VDS) (not usually visible to the user). The processing needs are satisfied by data retrieval from the tables in the CVD. The VDS describes the base relations, inferencing rules (as in a deductive database), and 'data-processing relationships' of the form 'Ri -f-| Rj' to denote that the processing program f transforms a model of Ri to a model of~~fx~~ff Rj. Query processing involves building a query tree with desired table in the CVD at the root and then choosing a suitable order of execution. The proposal is reasonable though somewhat simplistic. --- Arun.= For derived data, data independence and query processing can be maintained.| DBDdesign| DBDquery|!xissue
[ShethLC:88] A.P.~Sheth, J.A.~Larson, and A.~Cornellio: ``A Tool for Integrating Conceptual Schemas and User Views"; {\sl IEEE Data Engineering Conference} 4, Feb.1988, Los Angeles.
[Shoch:78~] John F.\ Shoch ... "~testing the ethernet"; Comm.ACM, ~1978. = use of a virus to simulate heavy use of a the ethernet at XEROX PARC.
[ShochDRC:82] John F.Shoch, Yogen K. Dalal, David D. Redell, and Ronald D. Crane: "Evolution of the Ethernet Local Computer Network"; IEEE Compter, Vol.15, No.8, Aug.1982, pp.10-27.
[Shoshani:85] A.~Shoshani and H.K.T.~Wong: ``Statistical and Scientific Database Issues''; {\sl IEEE Trans.Software Eng.}, Vol.SE-11 No.10, Oct.1985, pp.1040--1047.
[SiegelM:91] Michael Siegel and Stuart Madnick "Context Interchange: Sharing the Meaning of Data"; SIGMOD Record, Vol.20 No.4, Dec 1991, pp.77-78. =SW=
[SilberschatzSU:91] Avi Silberschatz, Michael Stonebraker, and Jeffrey Ullman (eds): Database Systems: Achievements and Opportunities; Comm.ACM, Vol.34 No.10, Oct. 1991, pages 110-120 = the Lagunita Report (encourages mediators}
[Smith:80] R.G.~Smith: ``The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver"; IEEE Trans.\ Computers, Vol.C-29 No.12, Dec.1980, pp.1104--1113 =SW=
[Smith:90] Smith, D.R., KIDS: A Semi-Automated Program Development System";IEEE Transactions on Software Engineering, Vol.16 No.9, Special Issue on Formal Methods, September 1990, 1024-1043. = The Generic paper on KIDS =SW=
[Smith:93a] David R.~Smith: ``Constructing Specification Morphisms'', {\i Journal of Symbolic Computation}, Special Issue on Automatic Programming, Vol.16 No.5-6, 1993, pp.571-606; also in Journal of Symbolic Computation, Special Issue on Automatic Programming, Vol 16, No 5-6, 1993, 571-606. =b. or, for the more formal current work see Smith:93: =SW=
[Smith:93b] D.R.Smith: "Transformational Approach to Transportational Scheduling"; Proceedings of the 8th Knowledge-based Software Engineering Conference, Chicago IL, Sep 14-17,1993. for a light paper that talks about the derivation of our fast scheduling algorithm: =SW=
[SmithA:81] J.M.~Smith et al: ``{\csc multibase} --- Integrating Heterogeneous Distributed Database Systems"; {\sl Proc.NCC}, AFIPS Vol.50, Mar.1981, pp.487--499.
[SmithG:85] D.E.~Smith and M.R.~Genesereth: ``Ordering ConjunctiveQueries''; {\sl Artificial Intelligence}, Vol.26, 1985, pp.171--215.
[SmithMCB:77] R.G.~Smith, T.M.~Mitchell, R.A.~Chestek, and B.~Buchanan: ``The Contract Net: A Formalism for the Control of Distributed Problem Solving"; {\sl IJCAI}, Feb.1977, pp.338--343. For an implementation, see Waechter =SW=
[Sneed:95] Harry M. Sneed: "Planning the Reeingineering of Legacy Systems"; IEEE Computer, Jan.1995, pp.24-34. = financial assessment enabled by a strict one-to-one transformation. =SW=
[Sommerville:92] I.. Sommerville: Software Engineeering, 4th ed.; Addison Wesley, 1992. =SW=
[SrinivasJ:94] Y.V.\ Srinivas and Richard J{\"u}llig: \sl{Specware:$^{\hbox{TM}}$ Formal Support for Composing Software}; Dec.1994, Kestrel, KES.U.94.5; to appear in Proceedings of the Conference on Mathematics of Program Construction, Kloster Irsee, Germany, July 1995. = the latest on our "Specware" system... This paper is a very mathematical treatise, but it is descriptive to those in the know. =SW=
[SteierS:95] David Steier and Scott Huffman We have submitted a paper for publication based on our Digital Libraries workshop presentation, but haven't heard yet whether it will be published. Until then the citation is
[Krishnan:94] = Price-Waterhouse' creation of comparative tables from K-10 reports. !|
[Stein:91] Richard B.~Stein: ``Browsing Through Terabytes"; {\i Byte}, May 1991, pp.157--164. = Thinking Machines WAIS project A% | DBDdist|
[STEP:92] International Organization for Standardization: {\sl ISO 10303 %Industrial Automation Systems and Integration --- Product Representation and %Exchange --- Overview and Fundamental Principles}; Draft standard ISO %TC184/SC4, 1992. =SW=
[StickelWLPU:] Mark Stickel, Richard Waldinger, Michael Lowry, Thomas Pressburger, and Ian Underwood: "Deductive Composition of Astronomical Software from Subroutine Libraries"; Twelfth Intern.,Conf. on Automated Deduction, Nancy, France, Jun 1994, pages 341-355. =SW=
[StonebrakerDE:85] M.~Stonebraker, D.~DuBourdieux, and W.~Edwards:: ``Triggers and Inference in Database Systems''; Brodie, Mylopoulos, and Schmidt (eds) {\sl On Knowledge Base Management Systems, :Integrating Artificial Intelligence and Database Technologies}, Springer, Feb.1986, pp.297--314.= derived data. Do FOREVER. Includes RETRIEVE-ALWAYS for continuous recomputation of derived data, viz. identity connection | DBDkb|!DBfile
[StonebrakerR:86] M.~Stonebraker and L.A.~Rowe: ``The Design of POSTGRES"; Proc.\ ACM SIGMOD'86 (Washington DC), May.1986, pp.340--355.
[StonebrakerSH86] M. Stonebraker, T. Sellis, and E. Hanson: "An Analysis of Rule Indexing Implementations in Data Base Systems"; Proceedings of the First Annual Conference on Expert Database Systems\}, April 1986, 465-476.
[Stonebraker:88] Michael~Stonebraker: ``Future Trends In Database Systems"; {\sl IEEE Data Engineering Conf.} 4, Feb.1988, Los Angeles.
[StonebrakerJGP90] M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos: "On Rules, Procedures, Caching, and Views in Data Base Systems"; ACM SIGMOD Int. Conf. on Management of Data}, Atlantic City, NJ, May 1990, 281-290.
[Stonebraker:91] M. Stonebraker: "Object Management in Postgres Using Procedures"; On Object-Oriented Database Systems, Springer-Verlag, 1991. =SW=
[StonebrakerDKLPSS:94] Michael Stonebraker, Robert Devine, Marcel Kornacker, Witold Lit\-win, Avi Pfeffer, Adam Sah, and Carl Staelin:``An Economic Paradigm for Query Processing and Data Migration in Mariposa''; {\sl 3rd Intl. Conf. on Parallel and Distributed Information Systems} (PDIS), Austin, Texas, September, 1994.
[Stroustrup:86] B. Stroustrup.: {\em The C++ Programming Language.} Addison-Wesley, 1986. =SW=
[Subrahmanian:95] Papers on the HERMES mediator system being developed at UMd. It appears to use conjunctive queries as the analog of both OEM objects and queries in OEM-QL or similar languages. It advertises a "toolkit" which seems to be rather minimal, roughly an invitation to write a set of "methods" for a source !|.
[Summit:67] R.K.~Summit: ``{\csc dialog}: An Operational On-Line Reference Retrieval System"; {\sl ACM Nat.\ Conf.} 22, 1967, pp.51--56.
[Swanson:76] E.B. Swanson: "The Dimension of Maintenance"; Proc.2nd Int.Conf.on Software Engineering, 1976, pp.492-497. = definse corrective, adaptive, and perfective maintenance. =SW=
[SwansonB:76] E.B. Swanson and C.M. Bath: Maintaining Information Systems in Organizations; Wiley, 1989. =SW=
[Swartz:94] Jon Swartz: "OpenDoc, OLE squaring off"; MacWEEK v8, n37 (Sept 19, 1994):1 (2 pages). = economic issues facing OLE and COM; provided by Avery Kadison. =SW= %TTTTTTTTTTTTTTTTTTTTTTTTTTTT
[TakahashiK:93] T. Takahashi and A. M. Keller.: "Querying Heterogeneous Object Views of a Relational Database; Int. Symp. on Next Generation Database Systems and their Applications (NDA) 93\}, Fukuoka, Japan, September 1993.
[TakahashiK:94] T. Takahashi and A. M. Keller: "Implementation of Object View Query on a Relational Database; Data and Knowledge Systems for Manufacturing and Engineering (DKSME) 1994, Hong Kong, May 1994..
[Tanenbaum:88] Andrew S.\ Tanenbaum: {\sl Computer Networks}, 2nd ed; Prentice-Hall, 1988.
[TanirS:94] Oryal Tanir and Suleyman Sevine: "Defining Requirements for a Standard Simulation Environment"; IEEE Computer, Vol.27 No.2, Feb.1994, pages 28-34. = Languages for writing simulations, layering of the structure of simulations. The top layers are poorly defined. =SW=
[TanselCGJSS:93] A.U.~Tansel, J.~Clifford, S.~Gadia, S.~Jajodia, A.~Segiv, R.\ Snodgrass: {\i Temporal Databases, Theory, Design and Implementation}; Benjamin Cummins Publishing, 1993, pages 563-579.
[Tenner:94] Edward Tenner= "Learning from The Net"; The Wilson Quarterly, Summer 1994, pp.18-28. = Histoty back to Eniac, Internet and its support, load.
[ThompsonBW:92] C. Thompson, J. Blakeley, and D. Wells. "Architecture of an Open Object-Oriented Database Management System," IEEE Computer, Vol. 25, No.10, October 1992. = describes TI POB OOODB =SW=
[Tobah:87] Ali Tobah: Large Distributed Heterogeneous Systems: Annotated Bibliography; MIT Sloan School Knowledge-based Integrated Information Systems Engineering Project, Tech.Rerport #21, 1987. =SW=
[Tomlinson:94] Rea Tomlinson: private communication on Web services
[TomlinsonCMW:93] Christine Tomlinson, Phil Cannata, Greg Meredith, and Darrell Woelk: "The extensible Services Switch in CARNOT"; IEEE Parallel \& Distributed Technology; Vol.1 No.2, May 1993, pp16-20. = implements transaction processing control and communication in the CARNOT mediation system. Centralizes, as neccessary, dataflow control. Supports the Rosette language. =SW=
[Tourtier:94] Paul-Andre Tourtier: ``A Flexible, Facilitator-based Cooperation Framework"; Proc. Int.Symp. on Fifth Generation Comp Systems, ICOT, Tokyo, Japan, Vol.W3, Dec.1994, pages 101-110. =features of facilitators
[Tracz:95] Will Tracz: {\sl Confessions of a Used Program Salesman}; Addison-Wesley, 1995. =SW=
[Traub:89] Joe Traub (Chair): Scaling Up; a Research Agenda for Software Engineering; Computer Science and Technology Board, National Research Council, National Academy Press, 1989. = good overview, not all focused. =SW=
[TriceD:91] A. Trice and R. Davis: "Consensus Knowledge Acquisition"; Proc.6th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop}, 1991 pp.33.1-33.20. (Available through SRDG Publications, Dept. of Computer Science, University of Calgary, Calgary, Alberta, Canada, T2N 1N4) = Andy Trice is currently on the faculty at Univ. of British Columbia, PhD thesison getting consensus in a knowledge base:
[TsichritzisB:89] D.C. Tsichritzis, T. Bogh: "Fitting Round Objects into Square Databases"; OOPSLA, New Orleans, 1989.
[TsichritzisFGN:87] D.~Tsichritzis, E.~Fiume, S.~Gibbs, and O.~Nierstrasz: ``{\csc kno}s: Knowledge Acquisition, Dissemination and Manipulation Objects''; {\sl ACM Trans.\ on Office Inf.\ Sys.}, Vol.5 No.1, Jan.1987, pp.~96-112. %UUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUU
[Udell:94] John Udell: "Component Ware"; Byte, May 1994, pp.46-56. = Visual basic has obsoleted OO SW. =SW=
[Ullman:88] J. D. Ullman:{\em Principles of Database and Knowledge-Base Systems}; Volume 1: Classical Database Systems\}, Computer Science Press, 1988. &VVVVVVVVVVVVVVVVVVVVVVVVVVVV
[Vadasz:93] Leslie Vadasz (chair): Computing Professionals, Changing Needs for the 190's; National Academy Press, 1993. =rather unfocused report on needs for programming professionals in the next decade. Does not have a model of how software development is done or might change. =SW=
[vanderVinkP:94] Gregory E. van der Vink and Jeffrey Park: "Nuclear Test Ban Monitoring: New Requirements, New Resources"; Science, Vol.263, 4 Feb.1994, pages 634-635. =rapid transmission of seismic data from world-wide observation sites to analysis centers.
[Vestal:94] Steve Vestal: Papers and Reports on Domain-Specific Software Tools, Focusing on Real-Time Control; 1994, anonymous ftp: !pub/papers/|. = ControlH, MetaH languages, styles of programs and analyses, mixing of styles, validation, reliability analysis. timing (rate-monotonic) analysis. =SW=
[Voas:92] J. Voas: "PIE: A Dynamic Failure-based Technique"; IEEE Trans SW Eng, Vl. SE-18 No.8, Aug.1992, pp 717-727= testing =SW= %WWWWWWWWWWWWWWWWWWWWWWWWWA
[Waldrop:84] M.Mitchell~Waldrop: ``The Intelligence of Organizations"; {\sl Science}, Vol.225 No.4667, Sep.1984, pp.~1136--1137. =SW=
[WangR:91] Y. Wang and L. Rowe: "Cache Consistency and Concurrency Control in a Client/Server DBMS Architecture'; ACM SIGMOD, International Conference on Management of Data\}, May 1991, Denvers, CO, May 1991, 367-376. =SW=
[Walker:87] M.G.~Walker: ``How Feasible is Automated Discovery?''; {\em IEEE Expert}, 2(1), 1987., pp.78--82.
[Wallerstein:93] Mitchel B. Wallerstein et al (eds): Global Dimensions of Intellectual Property Rights in Sciences and Technology; National Academic Press, Washington DC, 1993.
[Wallich:94] Paul Wallich: "Wire Pirates" Scientific American, 1994 = discusses Parker's faith in goverment regulations, Dorothy Denning,
[Ware:93] Willis H.\ Ware: {\i The New Faces of Privacy}; Rand Corporation, report P-7831, Santa Monica, 1993. =SW=
[Warnier:81] J.D Warnier: Logical Construction of Systems; VanNorstrand, 1981. = data-oriented design =SW=
[Weber:94] Jay Weber: {\csc Kqml} Transport Assumptions; kqmlspec/transport.html. =SW=
[Weed:71] L.L.~Weed: Medical Records, Medical Education, and the Patient: The Problem-Oriented Record as a Basic Tool; Case Western Reserve Press, 1971. = arguments for a well-structured medical record.
[WeiderMS:94] Chris Weider, Mitra; and Karen Sollis: Integrated Internet Information Architecture; Sept.1994. = handles mutiple formats.
[Weiner:86] Charles Weiner: "Universities, Professors, and Patents, A continuing Controversy"; Technology Review, Vol.89 No.2, March 1986, MIT, pages 32-43. =SW=
[Weintraub:95] H.Weintraub et al: Viewpoint: the Future -- Through a Glass Lightly; Science, vol.267 No 5204, 17 March 1995, pp1609-1618. =brief stements by about 60 scientists: Terrorist nuclear explosion in 10 years
[Weiser:84] M. Weiser: Program Slicing"; IEEE Trans. SW Eng., Vol SE-10 No.4, July 1984, pp 352-357. = SW decomposition. =SW=
[Wernecke:94] J.Wernecke: The Inventor Mentor. Programming Object-oriented 3-D graphics with Open Inventor, Release 2; Addison Wesley, 1994. =composition for graphics display programs. =SW=
[WetherbeL:85] J.C.~Wetherbe and R.L.~Leitheiser: ``Information Centers: A Survey of Services, Decisions, Problems, and Successes"; {\sl Inf.\ Sys.\ Manag.}, Vol.2 No.3, 1985, pp.3--10.
[Wick:89] M.R.~Wick and J.R.~Slagle: ``An Explanation Facility for Today's Expert Systems''; {\sl IEEE Expert}, Spring~1989, pp~.26--36.
[Wiederhold:83] Gio~Wiederhold: {\sl Database Design}; McGraw-Hill, 1983.
[Wiederhold:84] Gio~Wiederhold: ``Knowledge and Database Management"; IEEE Software}, Vol.1 No.1, Jan.1984, pp.63--73.
[Wiederhold:86B] Gio, Wiederhold: ``Knowledge versus Data''; Chapter 7 of Brodie, Mylopoulos, and Schmidt (eds.) 'On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies' Springer Verlag, June 1986, pages 77--82.
[Wiederhold:86C] Gio Wiederhold: ``Views, Objects, and Databases''; {\sl IEEE Computer}, Vol.19 No.12, December 1986, Pages 37--44. =SW=
[Wiederhold:87] G.~Wiederhold and X-L.\ Qian: ``Modeling Asynchrony in Distributed Databases''; {\sl IEEE Data Engineering Conference} 3, Los Angeles, Feb. 1987. =SW=
[Wiederhold:86] G. Wiederhold. Views, Objects and Databases. \{\\em IEEE Computer\}, Vol.19 No.12, December 1986, pp.37-44. =SW=
[Wiederhold:87] G. Wiederhold: File Organization for Database Design, McGraw-Hill, 1987.
[Wiederhold:92] Gio Wiederhold: "Mediation in the Architecture of Future Information Systems"; IEEE Computer magazine, March 1992, pages 38-49. = definition of mediators =SW=
[Wiederhold:92] Gio Wiederhold: "Model-free Optimization"; DARPA Software Technology Conference 1992, April 1992, Meridien Corp., Arlington VA, pages 83-96. =SW=
[Wiederhold:92C] Gio Wiederhold:``Mediators in the Architecture of Future Information Systems''; IEEE Computer, Vol.25 No.3, March 1992, pp.38-49. =SW=
[Wiederhold:92I] Gio Wiederhold: ``The Roles of Artificial Intelligence in Information Systems"; {\sl Journal of Intelligent Information Systems}; Vol.11 No.1, 1992, pages 35--56.
[Wiederhold:93I] Wiederhold, Gio: "Intelligent Integration of Information"; ACM-SIGMOD 93, Washington DC, May 1993, pages 434-437. =SW=
[Wiederhold:93S] G. Wiederhold: The Role of Governemnt in Standards; ACM Standards Bearer, Dec.1993, pages 2-6. =SW=
[Wiederhold:94N] Gio Wiederhold: ``An Ontology Algebra''; Proceedings of the Monterey Workshop on Formal Methods}, Luqi (ed.), U.S.~Naval Post Graduate School, Sept. 1994.
[Wiederhold:94J] Gio Wiederhold: "Interoperation, Mediation, and Ontologies"; {\i Proceedings International Symposium on Fith Generation Computer Systems (FGCS) 94}, Workshop on Heterogeneous Cooperative Knowledge-Bases, Vol.W3, pp.\ 33--48, MITI-ICOT, Tokyo, Japan, Dec. 1994. %FGCS/ ICOT Workshop, Tokyo, Dec.; available via
[Wiederhold:95] Gio Wiederhold: Digital Libraries, and Productivity''; Comm. of the ACM, Vol.38 No.4, April 1995, pages 85-96. = Some opportunities for new mediating services are described in
[Wiederhold:95A] Gio Wiederhold: Digital Libraries, and Productivity''; {\sl Comm.\ of the ACM}, April 1995.
[Wiederhold:95D] Gio Wiederhold: ``Value-added Mediation in Large-Scale Information Systems''; Proceedings of the IFIP DS-6 Conference, Atlanta, May 1995. To appear in Meersman(ed): `Database Application Sematics', Chapman and Hall. =SW=
[Wiederhold:95E] Gio Wiederhold: ``Modeling and Software Mainteance"; to appear in Proceedings of the ER-OO Conference, Australia, Dec. 1995.
[Wiederhold:96] A special issue, dedicated to mediation, of the Journal of Intelligent Information Systems (Kluwer pub.) is due to appear in May 1996.
[WiederholdBC:89] G. Wiederhold, T. Barsalou, and S. Chaudhuri. \{\\em Managing Objects in a Relational Framework.\} Stanford Technical report CS-89-1245, January 1989, Stanford University. =SW=
[WiederholdBLSS:91] G. Wiederhold, T. Barsalou, B. S. Lee, N. Siambela, and W. Sujansky: Use of Relational Storage and a Semantic Model to Generate Objects: The PENGUIN Project.; Database `91: Merging Policy, Standards and Technology, The Armed Forces Communications and Electronics Association, Fairfax VA, June 1991. =SW=
[WiederholdCC:94] Gio Wiederhold, Stephen Cross, Charles Channell: {\sl Information Integration}; IEEE Educational Videotape, 2 hours, October 1994, Robert Kahrman, sponsor.IEEE, Picataway NJ.
[WiederholdE:80] Gio Wiederhold and Ramez El-Masri:``The Structural Model for Database Design"; in Chen (ed.): Entity-Relationships Approach to Systems Analysis and Design, North-Holland, 1980, pages 237-257.
[WiederholdKNSBBS:86] Gio Wiederhold, Arthur M. Keller, Sham Navathe, David Spooner, Murray Berkowitz, Bill Brykczynski, and John Salasin: "Modularization of an Ada Database System"; Proc. International Pre-VLDB Symposium Beijing PRC; also, S.B.Yao,S-H.Sa,Z-S.Zhong(eds), China Assoc.for Science and Technology, Aug. 1986, pages 202-232; also, extended abstract in Proc. Sixth Advance Database Symposium, Information Processing Society of Japan, Aug. 1986, pages 135-142. =SW=
[WiederholdQ:94] Gio Wiederhold, and Xiaolei Qian: "Database Engineering"; in J.J.\ Marciniak: {\i Encyclopedia of Software Engineering}, Vol.1, pages 269-282. =SW=
[WiederholdRBLQ:90] G.~Wiederhold, P.~Rathmann, T.~Barsalou, B-S.~Lee, and D.~Quass: ``Partitioning and Combining Knowledge"; {\sl Information Systems}, Vol.15 no.1, 1990, pp.~61--72.
[WiederholdWBD:86] G.C.M.~Wiederhold, M.G.~Walker, R.L.~Blum, and S.M.~Downs: ``Acquisition of Knowledge from Data"; {\sl Proc.\ ACM SIGART ISMIS}, Oct.1986, pp.74--84.
[WiederholdWC:92]{Gio Wiederhold, Peter Wegner, and Stefano Ceri}: "Towards Megaprogramming''; {\sl Comm.~ACM}, November 1992, pp.89-99. =SW=
[WiederholdWHCSCQWDR:89] G.CM~Wiederhold, M.G.~Walker, W.~Hasan, S.~Chaudhuri, A.~Swami, S.K.~Cha, X-L.~Qian, M.~Winslett, L.~DeMichiel, and P.K.~Rathmann: ``KSYS: An Architecture for Integrating Databases and Knowledge Bases"; in Amar Gupta (ed.) {\sl Heterogenous Integrated Information Systems},
[Wiener:93] Lauren Ruth Wiener, "Digital Woes: Why We should Not Depend on Software", Addison-Wesley Publishing Company. 1993; ISBN 0-201-62609-8; QA76.76.R44W53. = We rely on software, and sometimes it fails us. Some of those failures are nuisances; some are disasters. Software is unique and presents unique risks. Issues of digital technology are discussed in professional journals and on-line bulletin boards, but public participation is negligible. We cannot afford to take for granted the assurances of those who build these systems and stand to profit from them. All of us need to participate in these decisions; a lot is at stake. Our lives are changing drastically. It would be wise to guide this change for the better. It is the nature of software to have bugs. Developing software is an expensive and time-consuming enterprise whose result is likely to be unreliable, as well as less functional than the product originally specified. Developing software for critical systems--if it is done right--is even more expensive, time-consuming and painstaking. The gain in reliability will be modest. Software is not the answer to every problem. We cannot afford to build everything that's been proposed, not should we allow ourselves to placed at risk. We must choose how we want to use software, computers and digital technology. =SW=
[WilkinsCB:87] D.C.~Wilkins, W.J.~Clancey, and B.G.~Buchanan: ``Knowledge Base Refinement by Monitoring Abstract Control Knowledge"; Stanford, TR. STAN-CS-87-1182, Aug.1987.
[WilkinsonN90] K. Wilkinson and M-A. Neimat: "Maintaining Consistency of Client-Cached Data"; 16th Conf. on Very Large Data Bases, Brisbane, Australia 1990, 122-133. =SW=
[Williams:19xx] Joseph Williams: Style: Towards Clarity and Grace; Univ.of Chicago = thematic development, theme extraction, used for ORACLE ConText.
[Wulf:94] William Wulf (chair): Information Technology in the Service Society; Computer Science and Telecommuncations Board, National Research Council, 1994.
[Yourdon:89] Ed Yourdon: Modern Structured Analysis; Prentice-Hall, 1989. =SW=
[ZelkovitzA:84] M.V. Zelkovitz et al: "Software Engineering Practices in the US and Japan; IEEE Computer, June 1984, pp 57-66. =SW=
[Zicai:92] Robert Zicai: !|: General Object Oriented Database for Software Engineering Processes: (GOODSTEP) ESPRIT-III Project; The objective of GOODSTEP is to enhance and improve the functionality of the O2 object-oriented database system to yield a platform suited to applications such as software engineering environments (SEEs). A number of advanced software engineeiring tools are being built on top of the enchanced O2 database. Goodstep started September 1992 is a three years-project, with a budget of 5,8 MECU and a total of 44 man/year. Goodstep reports are periodically stored at INRIA ftp server. You can obtain GoodStep reports via anonymous ftp from Login with user name anonymous and cd to INRIA/Projects/Verso/GoodStep-Library. There you can find all compressed postscript files of the reports and an INDEX listing all reports in that directory, with the title, author(s) and additional information, if any. =SW=
[Zuba:94] Gerhard Zuba @Siemens AG, Austria: Software Quality Assurance Acording to ISO 9000; =SW=
[u1:94] !unknown| : The Proceedings of the AMAST'93 conference; Springer-Verlag 1993. = Third International Conference on Algebraic Methodology and Software Technology =SW=
[u2:94] !unknown| The Economist. 14 Oct 94 On Computing
[u3:94] !unknown| Dr.Dobbs October 1994 (SOM/DSOM), COM microsoft =SW=