Papers and books for CS 446 and beyond

Fall Quarter 1995-1996 Gio Wiederhold.

Master on DB// pap/web/CS446/biblio.htm. Edited to retain entries relevant to CS446, marked =SW=; total about 220 entries.
This list is far from complete, but should give some initial handles for research in SW topics.

[AbrialSM:80] JeanRaymond Abrial, S.A. Schuman, and Bertrand Meyer: Specification Language, On the Construction of Programs, an Advanced Course; Cambridge Un.Press, 1980. =SW=

[Adiba:81] Michel E. Adiba: ``Derived Relations: A Unified Mechanism for Views, Snapshots and Distributed Data"; VLDB 7, Zaniolo and Delobel(eds), Sep.1981, pp.293-305. =SW=

[Adler:95] R.M. Adler: "Emerging Standards for Component Software"; IEEE Computer; Vol.28 No.3, March 1995. , pp68-77. = OLE vs Opendoc =SW=

[AdlerW: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=

[AlonsoA:95] Alonso, Gunthor, Mohan. et al.: "Exotica"; , 1995. = workflow management sytems as programming-in-the-large. =SW=

[AndrewsA:87] T. Andrews and C. Andrews: "Combining Language and Database Advances in an Object-Oriented Development Environment";{ 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=

[AppelbeA:95] B. Appelbe et al:" Beyond Objects, a Response"; SigSoft Engineering Notes, Vol.20 no.3, July 1995, pp.45-48. =SW

[ArensCHK:93] Y. Arens, C.Y. Chee, C.N. Hsu, and C.A. Knoblock: ``Retrieving and Integrating Data from Multiple Information Sources''; 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=

[Arthur:88] Lowell Jay Arthur: Software Evolution: The Software Maintenance Challenge; Wiley, 1988. = Maintenance to increase quality [Lisa Camensano 1995] =SW=

[Artur:92] Lowell Jay Artur : Rapid Evolutionary Development, Requirements, Prototyping. and Software Creation; Wiley, 1992. =SW=

[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=

[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=

[Barnhart:94] Andy Barnhart: "Component-based Solutions with OLE 2.0"; Software Development, Vol.2 No.9, 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] T. Barsalou: View Objects for Relational Databases; Ph.D. dissertation, Stanford University, March 1990, Technical Report STAN-CS-90-1310. = The Penguin Project; An object algebra to unify views in genetic research. =SW=

[BarsalouW:90] T. Barsalou and G. Wiederhold. Complex Objects For Relational Databases"; Computer Aided Design, Vol. 22 No. 8, Buttersworth, Great Britain, October 1990.

[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=

[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 pasg/Topics/Ontologies/ =SW=

[Berzins:90] Valdis Berzins and Luqi: "An Introduction to the Specification Language SPEC"; IEEE Software, Vol.7 No.2, March 1990, pp.74-84. =SW=

[Berzins:95] Valdis Berzins (ed.): Software Slicing and Merging; IEEE CS books, 1995. Methods for re-enginering legacy programs. =SW= .

[Betz:94] M. Betz: "Interoperable Objects"; Dr. Dobbs Journal, Vol.19 no.11, pp.18 af. = OLE vs. OpenDoc =SW=

[Beizer:90] Boris Beizer: Software Testing Techniques; Van Nostrand Reinhold, 1990. =SW=

[Binder:95] Robert Binder: Trends in Testing Object-Oriented Software; IEEE Computer,Vol.28 no.10, Oct.95, pp-68-68. = @RBSC corp =SW=

[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=

[BirmanR:94] K.P. Birman and R. vanRenesse: Reliable Distributed Computing with the ISIS toolkit; IEEE Computer Society Press, 1994 =SW=

[BjornerL:94] Dines Bjorner and Dng 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=

[Blakeley:94] J. Blakeley, "OQL:: 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=

[Blakeley:96] Jose Blakeley "Data Access for the Masses through OLE DB"; Proc. SIGMOD 96, ACM, June 1996, pp.161-172 =CHAIMS =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: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.= includes 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:96] Bruce Blum: Beyond Programming; Oxford Un.Press, 1996. = preprints 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"; 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=

[BoehmS:92] Barry Boehm and William Scherlis: "Megaprogramming (preliminary version)"; DARPA SW Confernce, Meridien, 1992, pp 68-82. =see Tracz for reference? >SW=

[Booch:94] Grady Booch: Object-Oriented Design with Applications, 2nd Ed.; Benjamin-Cummins, 1994. =SW=

[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, Vol.8 no.8 (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; 2nd edition 96. = the book on OLE; provided by Avery Kadison. =SW= =CHAIMS

[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: Object-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"; Proc. Expert Systems and Business 87, NY, Learned Information, Meadford NJ, Nov.1987, pp. 27-37. =SW=

[Burgess:94] Lisa Burgess: "New Software Gives Commander Control of Radio Codes"; Defense News, 21Feb1994. =SW=

[Carlson:92] A. Carlson: "Penguin System Internal Maintenance Specifications"; Unpublished document, October 1992. !!put it on a web page, so people can get to it||=SW=

[Carr:92] T. Carr: "Predicting Software Defects Over Time"; 9th Int. Conf. on Software Testing, Washington DC, June1992 = SW testing asymptote =SW=

[Carrol:95] John M. Carroll: Scenario-Based Design; Envisioning Work and Technology in System Development; Wiley, 1995 = papers from Jun 1993 workshop. Workflow, representation, OO,User-interfaces. =SW=

[CasatiCPP:95] F. Casati, S. Ceri, B. Pernici and Guiseppe Pozzi: "Conceptual Modeling of WorkFlows"; in Papazoglou (ed.) OOER'95, Springer LCNS No.1021, 1995, pp.341-354. =SW=

[Cattell:91] R. Cattell Object Data Management: Object Oriented and Extended Relational Systems; Addison-Wesley, 1991. =SW=

[Cattell: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=

[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 Management; McGraw-Hill 1979. =describes DoD software project failures. =SW=

[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"; 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"; IEEE Transactions on Knowledge and Data Engineering, Vol.6 No.5, October 1994.

[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. =SW=

[Conner:94] Dominic Conner: "Microsoft Visual C++'; EXE, vol.8, no.8, Feb. 1994, pp,58 (4 pages). = Reference for visual programming and OLE, provided by Avery Kadison. =SW=

[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=

[Cohen:87] Donald Cohen:; ``Automatic Compilation of Logical Speifications into Efficient Programs'';IEEE Software, May 1993. =SW=

[CohenC:93] Danny Cohen and N. Campbell: "Automating Relational Operations on Dat Structures"; ACM SIGPLAN Notices, Proc. of the Workshop on Interface Definition Languages, ACM, August 1994. = includes an estimate statement =SW=

[CohenGN:94] Danny Cohen, N.M. Goldman, and K. Narayanaswamy: "Adding Performance Information to ADT Interfaces"; ACM SIGPLAN Notices, Proc. of the Workshop on Interface Definition Languages, IEEE, August 1994. = includes an estimate statement =SW=.

[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.

[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|

[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=

[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=

[DampierLB:94] David Dampier, Luqi, and Valdis Berzins: "Automated Merging of Software Prototypes"; Journal of Systems Integration; Vol.4, 1994, pp.33-49. =SW=

[DeChampeuxLF:93] Dennis deChampeaux, Douglas Lea, Penelope Faure @HewlettPackard: Object-Oriented Sysyem Development; Addison-Wesley, HP series, 1993. =SW=

[Degoulet:94] Patrice Degoulet et al. @ Broussais Un.Hospital Paris,Med.Inf.Dept, Paris 75014, France: The HELIOS European Project on Software Engineering; = collection of papers about a Software Engineering Environment for Medical applications. Copy in Gio's office. =SW=

[DeGraceS:93] Peter DeGrace and Leslie Hulet Stahl: The Olduvai Imperative: CASE and the State of Software Engineering Practice; PrenticeHall, 1993. = Software Engineering compared to the organization of work and tools in greece (individual) versus rome (managed). =SW=

[DeGraceS:95] Peter DeGrace and Leslie Hulet Stahl: Wicked Problems, Righteous Solutions"; 1995? . = Lighthearted critique of SW developement models. =SW=

[DeJesus:95] Edmund DeJesus: "Big OOP, no Ooops"; Byte; Aug.1995, pp.74-78. =infomercial for Shlaer-Mellor method wrt. to Life-cycle [Sosa:95]=SW=

[DelisR92] A. Delis and N. Roussopoulos. Performance and Scalability of Client-Server Database Architectures" ; 18th Int. Conf. on Very Large Data Bases, Vancouver, British Columbia, Canada, 1992, 610-623. =SW=

[DeMarcoB:94] Tom deMarco and Barry Boehm (eds): Software Risk Management; special issue, IEEE Software, May 1994. =SW=

[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:0] 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=

[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 formulas 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-care nondeterminism'. The approach carries over very will indeed to Prolog. =SW=

[DISA:94] DISA TRIK?: Technical Reference for Evaluation of Standards; . =SW=

[DownsWB:86] S.M. Downs, M.G. Walker, and R.L. Blum: ``Automated summarization of on-line medical records" ; IFIP Medinfo'86, North-Holland 1986, pp.800-804.

[ElMasriN:89] Ramez ElMasri and Sham Navathe: Fundamentals of Database Systems; Benjamin Cummins, 1989 = Entity-relationship diagramming. =SW=

[EmbleyKW:92] David W. Embley, B.D. Kurtz, and Scott N. Woodfield: Object-Oriented System Analysis: A Model Driven Approach; Yourdon series, Prentice-Hall, 1992. =for recent work by Stephen Liddle see =SW=

[Esprit:93] Esprit Consortium AMICE: CIMOSA: Open System Archiecture for CIM; 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; Communications of the ACM, Vol 19, No. 11, November 1976, 624-633.

[Fairly:94] Richard Fairly: "Risk Management for Software Projects"; IEEE Software, Vol.11 No.3, May 1994, pp.57-67. =SW= Simulation using CCOMO factors to predict risk, and identify risk factors to be economically reduced.

[FeilerS:94] P.H. Feiler and R. Smeaton: "Managing Development of Very Large Software System: Implications for Integrated Environment Architectures"; in Proc. IEEE International Conf.on the Software Process; Oct.1994? (1988?), pp.69-77. = need to adapt to tool changes [Blackwood:95] =SW=

[Finin:94] Tim Finin et al: On Software Agents;, 1994 =SW=

[Fisher:94] David Fisher: 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=

[FloresW:85] Fernando Flores and Terry Winograd or vv.: ? ; 1985. = first occuureence of the term ontology in its modern sense.

[FrakesT:96] William Frakes and Carol Terry: "Software Reuse, Metrics and Models"; ACM Computing Surveys, Vol.28 no.2, Jun.1996, pp. 415-435. = many tables.

[FranchettiKB:94] J.C. Franchitti, R. King, and O. Boucelma: ``A Toolkit to Support Scalable Persistent Base Infrastructures''; in Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, France, September 1994, Springer-Verlag LNCS. = wrappers =SW=

[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=

[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 Nierstrasz and Theo Dirk Meijler, Gio Wiederhold, Frank Manola, Sandra Heiler, and 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=

[GarlanAO:95] David Garlan, R. Allan, and J. Ockerbloom: "Architectural Mismatch: Why Reuse is so Hard"; IEEE Software, Nov. 1995, pages 17-26. =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=

[GauseW:94] D. Gause and M. Weinberg: "Exploring Requirements: Quality Before Design" ; ? = read by Francois Guimbretiere !| =SW=

[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=

[Gemmere:94] Art Gemmere: "Risk Management: Moving Beyond Process"; IEEE Computer, Vol.30 No.5, May 1994, pp.33-43. =SW= focuses on management and communication.

[General:95] general magic: Telescript; = JAVA, VRML, HTML, Telescript. =SW=new=

[GerhartCR:94] Susan Gerhart, Dan Craigen, and Ted Ralston: "Experience with Formal Methods in 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 Software Engineering; Addison-Wesley, 1988. =SW=

[Glass:95] Robert L. Glass: Software Ceativity; Prentice Hall, 1995. =critical review of many trends. References =SW=

[GoldmanN:92] N.M. Goldman and K. Narayanaswamy: "Software Evolution through Iterative Prototyping"; 14th Int. Conf. on SW Eng., IEEE, May 1992.

[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% read books. 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=

[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. =SW=

[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=

[Gruber:94] Thomas R. Gruber and Gregory Olsen: ``An Ontology for Engineering Mathematics''; in Doyle, Torasso, and Sandewall (eds.): 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=

[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". 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"; Proceedings of the onference on Knowledge-based Artificial Intelligence Systems in Aerospace and Industry, SPIE, April 1994. = on DSSA. =SW=

[Hague:95] T. Hague: "Configuration Management Tools: Do your Homework before Signing on the Dotted Line"; Computing Canada; Vol.21 no.5, 15 March 1995, pp.36, Plesman publications Ltd. Canada. = Configuration maintenance driven from helpdesk. [Blackwood:95] =SW=

[HainesKMNW] Nicholas Haines, Darrell Kindred, J.G. Morrisett, Scott M. Nettles, and jeanette M. Wing: "Composing First Class Transactions"; ACM TOPLAS, Vol.16 No.6, Nov.1994, pp.1719-1736. = A functional Standard Metalanguage packages concurrrency, locking, persistence, and serialization. =SW=

[Halpin:95] Terry A. Halpin @asymetrix, Bellevue WA: Conceptual Schema and Relational Database Design, 2nd ed.; Prentice-Hall; ||. = Object-role modeling (ORM), schema optimizartion and view-update on derived views, based on NIAM =SW=

[Hamlet:92] Dick Hamlet: "Are we Testing for True Reliability" ; IEEE SoftWare 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=

[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=

[HayesRothPLMB:94] Barbara Hayes-Roth, K. Pfleger, P. Lalanda, P. Morignot, and M. Balabanovic: A Domain-Specific Software Architecture for Adaptive Intelligent Systems; Stanford Un. KSL report 94-11, march 1994. = Technology-specific rather than domain specific? =SW=

[HayesRothSBHL:94] Barbara Hayes-Roth, E. Sincoff, L. Brownston, R. Huard, & B.Lent: Directed Improvisation; Knowledge Systems Laboratory, Technical Report KSL-94-61. =SW=

[HayesRoth:94] Rick Hayes-Roth: DSSA;rhayes@alfred.Teknowledge.COM| 1994. =SW=

[HelalB:95] Abdelsalem Helal and Ravi Badrachalam: "COM versus CORBA: Will Microsoft Come Out on Top"; IEEE Computer, Vol.28 No.10, Oct.95, pp.61-62. =SW=

[HewittBS:73] C. Hewitt, P. Bishop, and R. Steiger: ``A Universal Modular ACTOR Formalism for Artificial Intelligence"; IJCAI 3, SRI, Aug.1973, pp.235-245. =SW=

[Holladay:95] Cybthia Holladay: "Client-Server Testing Tools"; Database Programming an Design; November 1995, pp.28-31,70-71.= lists many tools. =SW=

[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=

[IEEE:84] IEEE Software Magazine; regular special topic issues, since 1984. =SW=

[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=

[Jackson:82] M.A. Jackson: System Development; Prentice Hall, 1982. =Diagramming =SW=

[Jackson:95] Michael Jackson: Software Requirements and Specifications; ACM Press, 1995. 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.=SW=

[JajodiaNS:83] Sushil Jojodia, Peter Ng, and F. Springsteel: The Problem of Equivalence for Entity-Relationship Diagrams; IEEE Trans. SWEng., Sept.1983.

[Joch:95] Alan Joch: "How Software Doesn't Work"; Byte Mgazine, Dec.95, pg.49-60. = Industrial use of softeware engineering. Building reliable code. Capability Measurement. Highly recommended [Sosa:95] =SW=

[Johnson:91] Ray Johnson: Agents; = 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=

[KamelK92] N. Kamel, and R. King:."Intelligent Database Caching Through the Use of Page-Answers and Page-Traces"; ACM Transactions on Database Systems, Vol. 17, No. 4, December 1992, pp.601-646.

[Kapoor:91] M.Kapoor: "A Software Design Manifesto: Time for a Change"; Dr.Dobbs, Jan.1991. =An alternative to Software Engineering as preached. =SW=

[Karlsson:95] EvenAndre Karlsson (ed.): Software Reuse: A holistic Approach; Wiley, 1995 = articles pertaining to the Esprit III REBOOT project =SW=

[Karr:93] Robert N. Karr: Data Management Issues Associated with Stovepipe Systems;U.S General Services Administration, Information Resources Service, KMP-94-1-1, Oct. 1993.= General advice, references to Bill Inmon. =SW=

[KellerB:95] A.M. Keller and Julie Basu: ``A Predicate-based Caching Scheme for Client-Server Database Architectures; 21st Int. Conf. on Very Large Data Bases (VLDB), Zurich, Switzerland, September 1995.

[Kennedy:94] Randall C. Kennedy: "Unlock the power of OLE"; Windows Sources, vol.2 no.3, March, 1994, pp107 (14 pages). = Excellent Source, multiple articles on OLE; provided by Avery Kadison. =SW=

[Kiczales:94] Gregor Kiczales: talk on component code synthesis; OOPSLA, 1994. =SW=

[Kieburtz:94] Richard B. Kieburtz: ``Generating Software from Specifications''; Proceedings of the Monterey Workshop on Formal Methods, Luqi (ed.), U.S. Naval Post Graduate School, Sept. 1994, pp.122-128. =SW=

[Kim:95] Won Kim (ed): Modern Database Systems: the Object Model, Interoperability and Beyond; ACM press, Addison Wesley, 1995. =SW=

[Knuth:89] Don Knuth: Web system; 1989? = combines PASCAL code and comments. =SW=

[KraemerLB:93] Bernd Kraemer, Luqi, and Valdis Berzins: "Compositional Semantics of a Real-Time Prototyping Language"; IEEE Trans..SE, vol.19 No.5, May 1993.= formal description of the NPGS prototyping language PCDL. =SW=

[Krishnamurthy:94] B. Krishnamurthy:"Software Architecture and Reuse, an Inherent Conflict?"; Proc. 3rd Internat.Conf.on Software Reuse. Rio de Janeiro, Brazil, 1994. =SW=

[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=

LampsonPS:81] Butler W. Lampson, M. Paul, H.J. Siegert: Distributed Systems, Architecture and Implementation; Springer, 1981. =SW=

[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:94] 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=

[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=

[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=

[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=

[Levenson:95] Nancy Levenson: Safeware: System Safety and Computers" ; 1995? = Introduction to risk analysis. =SW=

[Libicki:95] Martin C. Libicki: Information Technology Standards; Digital Press, 1995. = good overview of standards, including those for integration =SW=

[Lieberherr:94] K. Lieberherr: The Art of Growing Adaptive Software: Beyond Object-oriented Software; 1994.=SW=

[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=

[LiskovG:86] Barbara Liskov and John Guttag: Abstraction and Specification in Program Development; MIT Press, 1986 = Fundamental paper on object data structures. =SW=

[Liu:95] Ling Liu: "Adaptive Schema Design and Evaluation in an Object-oriented Information System"; in Springer LNCS 1021, pp.21-31. = maintain reachability of nodes. For extensibility minimize multiple inheritance =SW=

[Lockhart:95] H.W. Lockhart, jr: OSF CE, A Guide to Developing Distributed Applications; McGraw-Hill, 1995. = A beginning programming guide. See aslo http://www.osf.oorg/faq-mauney.html =SW=

[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=

[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 [DampierLB; Luqi 1990] =SW=

[Luqi:90] Luqi: "A Graph Model for Software Evolution"; IEEE Trans. on SE, 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 Software, Jan. 1992 = CAPS software model for C3I station =SW=

[LuqiK:88] Luqi and Mohammed Ketabchi: A Computer-Aided Prototyping System; IEEE Software; March 1988, pp.66-72. = description of CAPS =SW=

[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''; 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"; Proceedings of OOPSLA, Portland, Oregon, 1986. =SW=

[Marciniak:93] J.J. Marciniak: Encyclopedia of Software Engineering; Wiley 1993. =SW=

[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 on COBOL used at Boeing. =SW=

[MarcaG:88] D.A. Marca and C.L. McGowan: SADT, Structured Analysis and Design Technique; McGraw-Hill, 1988. =SW=

[MarcoB:87] A. Marco and J. Buxton.: 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. Many relevant observations in an after-dinner talk format. =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?" ; IEEE Data Engineering Conference 4, Feb.1988, Los Angeles. =SW=

[McConnel:95] Steven McConnel: Code Complete: A Practical handbook of Software Construction; 1995? = Overview of techniques for robust code =SW=

[McIlroy:68] Doug McIlroy: "Mass-produced Software Components"; in Buxton et al.: Software Engineering Concepts and Techniques; Van Norstrand Reinhold, 1976. =SW=

[McKay:94] Don McKay !|: Index page which references into the ARPA Knowledge Sharing Effort Web; = links to KQML work. o.a. =SW=

[MerksDR:92] E.A.T. Merks, J.M. Dyk, and B.G. Ryder: "Language Design for Program manipulation" ; IEEE Trans. SE, vol 18 No.1, Jan.1992, pp.19-32. =SW=

[Merlo:95] Ettore Merlo (ed): Program IEEE Software Maintenance Conference; =SW=

[Meyer:88] Bertrand Meyer: Object-Oriented Software Construction; PrenticeHall 1988. Meyer worked in 1980 with Abrial. =SW=

[Meyer:94] Bertrard Meyer: Reusable Software: The Base Object-oriented Component Libraries; Prentice-Hall, 1994. =SW=

[Mili:97] Rym mili, Ali Mili, and Roland mittermeier: "Sroring and Retrieving Software Components: A Refinement-based System"; IEEE TSE, Vol.23 no.7, Jul.1997, pp.445-460. =SW= good reuse references. Not easy to apply to todays libraries.

[Miller:56] George Miller: "The Magical Number Seven +- 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=

[MillerMNPNMV:92] K. Miller, L.Morelll, R.Noonan, S.Park, D.Nicol, B.Murrill, and J. Voas: "Estimating thhe Probability of Failure when Testing Reveals no Failures" ; IEEE Trans SE, Vol. 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=

[Mills:94] Elinor Mills: "Users fear hassles in using component software" ; InfoWorld, Vol..16 No.38, Sept 19, 1994, pp.:19-20. = good critiques by software developers of OLE; provided by Avery Kadison. =SW=

[MitchellFP:95] Ian Mitchell, Ian Ferguson, Norman Parrington:"Rapid Prototyping: an Integrated CASE-based Approach"; in Papazoglou (ed.): OOER'95, Springer LCNS 1021, 1995, pp.308-317. = wrapping and domain specialization, use ER models, takes concepts from Shlaer-Mellor and Rumbaugh. LOCANA supports loose orthogonality Being delivered to QED?, DORS tool builders. Maintenance follow up by Manny Lehman? =SW=

[MorrisMDF:94] KC Morris, Mary Mitchell, Christopher Dabrowski, and Elizabeth Fong: ``Database Management Systems in Engineering" ; in the Encyclopedia of Software Engineering, pp.282-308, John Wiley and Sons, 1994; % STEP =SW=

[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=

[NechesFFGPSS:93] R. Neches, R. Fikes, T. Finin, T.R. Gruber, R. Patil, T. Senator, and W.R. Swartout:``Enabling Technology for Knowledge Sharing''; AI Magazine, Vol.12 No.3, pages:37-56, 1993. =description of KIF, KRSL, KQML..

[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: Computer-Related Risks; 1995 = Discussion and material from On-line Risks Forum, !| =SW=TIHI=

[NewMega:95] NewMega Technologies: Bounds Checker; SW for Windows 95 applications, 1995. =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, reuse example =SW=

[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. [ZHasan:94]=SW=

[OkiPSS:93] Brian Oki, Manfred Pfluegl, Alex Siegel, and Dale Skeen: "The Information Bus - an Architecture for extensible Distributed Systems; 12th Symp.on Operating Systems Principles (SOSP12), pp.58-68, DEC 1993. =SW=

[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=

[OrfaliHE:95] R. Orfali, D. Harkey, and J. Edwards @IBM, Tandem: The Essential Distributed Objects Survival Guide; Wiley. 1995. =discusses OpenDoc./CORBA vs OLE/COM, favors CORBA.[Sosa:95] OSA examples =SW=

[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=

[Parnas:72] D.L. Parnas: "On the Criteria to be used in Decomposing Systems into Modules" ; ComACM, Vol.15 No.12, Dec.1972, pp.1053-1058. =SW=

[Parnas:79] D.L. Parnas: "Designing Software for Ease of Extension and Contraction" ; IEEE Trans.SE, Vol.5 No.2, March 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., 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=

[Peterson:95] Ivars Peterson: Fatal Defect: Chasing Killer Computer Bugs; 1995? = Failure cases

[Pham:95] Hoang Pham (ed.): Software Reliability and Testing; IEEE CS books, 1995. =SW= .

[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=

[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=

[PrietoDiazA:91] Ruben Prieto-Diaz and Guillermo Arrango Domain Analysis and Software Systems Modelling; IEEE Computer Soc. Press 1991. =SW=

[Pu:88] Calton Pu: "Superdatabases for Composition of Heterogeneous Databases" ; IEEE Data Engineering Conf., 1988; also in Gupta, 1989. =SW=

[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''; Proc. Int'l Workshop on Persistent Object Systems, Tarascon, France, Sept.1994, pp.194-208. =SW=

[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=

[Risch:89] Tore Risch: ``Monitoring Database Objects''; Proc. VLDB 15, Amsterdam, Aug. 1989, Morgan Kaufmann Pubs. =Triggering for active databses =SW=

[Romoli:95] L. Romoli: "Building the Influence Factor in a Support Center"; LifeRaft, the Help Desk Institute Newsletter; March/April 1995; | | = enabling the benefits that SW maintainers can obtain from a help desk [Blackwood:95].See also ||or|| =SW=

[RosenberryKF:94] Rosenberry, Kenney, and Fisher: Understanding DCE; OReilly 1994 = begiining reference.=SW=

[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=

[RumbaughBPEL:91] James Rumaugh, Michael Blaha, William Premerlani, Frederick Eddy, and William Lorensen. Object-Oriented Modeling and Design; 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=

[SamadzadehM:95] Mansur Samadzadeh and Mansour Zaid: Proc. ACM SIGSoft Symposium on Software Reusability; ACM, April 1995. =SW=

[SandersC:94] Joc Sanders and Eugene Curran: Software Quality; ACM Press 1994. = SW

[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, vol.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=

[Setliff:95] Dottie Setliff @Univ. of Pittsburgh (ed): The Knowledge-Based Software Engineering Conference; Rome Labs, 1995, =SW=

[Shaw:95] Mary Shaw: "Procedure Calls are the Assembly Language of Software Interconnection: Descriptors deserve First-Class Status" ; CMU Tech.Rep. CMU-CS-994-107, 1994..=SW=

[Shaw:94] Mary Shaw: "Procedure Calls are the Assembly Language of Software Interconnection: Descriptors deserve First-Class Status" ; CMU Tech.Rep. CMU-CS-994-107, 1994..=SW=

[ShawG:89] M.L.G. Shaw & B.R. Gaines: "Comparing conceptual structures:consensus, conflict,correspondence and contrast" ; Knowledge Acquisition, Vol.1 No.4, 1989, pp.341-364. =on consensus knowledge acquisition: =SW=

[ShlaerM:92] S. Shlaer and S.J. Mellor: Object Life Cycles, Modeling the World in States; Prentice-Hall, 1992. =SW=

[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=

[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 Trans. SE, 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'', 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=

[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" ; 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] Ian Sommerville: Software Engineeering, 4th ed.; Addison Wesley, 1992. =General, but limited text [Sosa:95]=SW=

[SrinivasanHandsSV:95] Padmini Srinivasan-Hands; Anand Srinivasan, and Gerard M. Vignes@NCSU, USL: "Database Design with Behavior and Views Using Parameterized Petri Nets"; in Papazouglou (ed.) OOER'95, Springer LCNS 1021, Dec.1995. =partitioning based on similarity of behavior of tuples/objects. Applications in hospital, manufacturing. =SW=

[SrinivasJ:94] Y.V. Srinivas and Richard J"ullig: Specware:(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=

[STEP:92] International Organization for Standardization: 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=

[Stonebraker:91] M. Stonebraker: "Object Management in Postgres Using Procedures" ; On Object-Oriented Database Systems, Springer-Verlag, 1991. =SW=

[Stroustrup:86] B. Stroustrup.: The C++ Programming Language; Addison-Wesley, 1986. =SW=

[SullivanK:95] K.J. Sullivan and J.C. Knight: "Assessing an Architectural Approach to Large-Scale Systematic Reuse"; ? Tech.Rep 1995. =desribes a mediator trial using OLE and Visual Basic to integrate a VISIO and an ACESS database. [Williams:95] =SW=

[Swanson:76] E.B. Swanson: "The Dimension of Maintenance" ; Proc.2nd Int.Conf.on Software Engineering, 1976, pp.492-497. = defines 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=

[Tanenbaum:95] Andrew S. Tanenbaum: Distributed Operating Systems, Prentice-Hall, 1995. = includes chapter (10) on DCE =SW=.

[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=

[The:95] L. The: "Building Suiteware (evaluation)"; Datamation, vol.41 no.6, pp 55-61 [Williams:95]=SW=

[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=

[Tichy:95] Walter Tichy: Configuration Management Wiley 1995 = 6 madescriptions of CM tools and methods =SW=

[Tobah:87] Ali Tobah: Large Distributed Heterogeneous Systems: Annotated Bibliography; MIT Sloan School Knowledge-based Integrated Information Systems Engineering Project, Tech.Report #21, 1987. =SW=

[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=

[Tracz:95] Will Tracz: 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=

[TsichritzisA:92] D.C. Tsichritzis, et al. "Beyond Objects: Objects"; J. ICIS, Vol.1 No.1, March 1992, pp.43-60. [Willimas:95] =SW=

[Udell:94] John Udell: "Component Ware" ; Byte, May 1994, pp.46-56. = Visual basic has obsoleted OO SW. =SW=

[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=

[VenableG:95] John Venable and John C. Grundy @Waikato, NZ: "Integrating and Supporting Entity-Relationship and Object Role Models"; in Papazoglou (ed.) OOER'95, Springer LCNS No.1021, 1995, pp.318-327. = CoCoA maps NIAM and ER, need to name ERelationships, NIAM entities may just be attributes.Impemented in two-windows tool. Structural model could map more NIAM primitives? | (ex Binghampton)| =SW=

[VermeerA:95] Mark W.W. Vermeer and Peter M.G. Apers: "Reverse Engineering of Relational Database Applications"; in Papazoglou (ed.): OOER'95, Springer LNCS, 1995, pp.89-100. =converting SQL access and procedures to OO. =SW=

[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=

[VicinanzaA:95] Steven Vicinanza and David Arasmith: Application Development Using ObjectView, Wiley-QEDl, 1995 = guide to Microsoft client-serevr technology, with some OLE and DDE material. =SW=

[Voas:92] J. Voas: "PIE: A Dynamic Failure-based Technique" ; IEEE Trans SW Eng., Vol. SE-18 No.8, Aug.1992, pp 717-727= testing =SW=

[Waldrop:84] M.Mitchell Waldrop: ``The Intelligence of Organizations" ; 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, Denver, CO, May 1991, 367-376. =SW=

[Ware:93] Willis H. Ware: 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: KQML Transport Assumptions; kqmlspec/transport.html. =SW=

[Wegner:95] Peter Wegner: "Interactive Foundatioons of Object-based Programming" ; IEEE Computer, Vol.28 no.10, October 1995, pp.70-72 = programming from Turing to OO, and incompleteness..=SW=

[Wegner:96] Peter Wegner: : ACM Interactions. 1996? <> =SW=

[Weiner:86] Charles Weiner: "Universities, Professors, and Patents, A continuing Controversy" ; Technology Review, Vol.89 No.2, March 1986, MIT, pages 32-43. =SW=

[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=

[Wiederhold:86v] Gio Wiederhold: ``Views, Objects, and Databases''; IEEE Computer, Vol.19 No.12, December 1986, Pages 37-44. =SW=

[Wiederhold:92a] Gio Wiederhold: "Mediation in the Architecture of Future Information Systems" ; IEEE Computer, March 1992, pages 38-49. = definition of mediators =SW=

[Wiederhold:92m] Gio Wiederhold: "Model-free Optimization" ; DARPA Software Technology Conference 1992, April 1992, Meridien Corp., Arlington VA, pages 83-96. =SW=

[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:95v] 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=

[WiederholdBC:89] G. Wiederhold, T. Barsalou, and S. Chaudhuri; 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=

[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; , 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:87] G. Wiederhold and X-L. Qian: ``Modeling Asynchrony in Distributed Databases''; IEEE Data Engineering Conference 3, Los Angeles, Feb. 1987. =SW=

[WiederholdQ:94] Gio Wiederhold, and Xiaolei Qian: "Database Engineering"; in J.J. Marciniak: Encyclopedia of Software Engineering, Vol.1, pages 269-282. =SW=

[WiederholdWC:92] Gio Wiederhold, Peter Wegner, and Stefano Ceri: "Towards Megaprogramming''; 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.) Heterogenous Integrated Information Systems, IEEE Press, 1989.

[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=

[WilendenA:90] J.C. Wilenden et al: "A Comparative Evalutation of Objevt Definition Techniques for Large Prototype Systems"; ACM TOPLAS, Vol.12 no.4, Oct 1990, pp.670-699. =SW=

[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=

[Yeh:95] Hsiang_Toa Yeh: Software Process Quality, McGraw-Hill, 1995 = methods, do's and don'ts. Confusing metrics =SW=

[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=

[u4:93] |unknown| "How Architecture wins Technoology Wars" ; Harvard Business Review, 1993. =SW=