% These are Debbie's software engineering references
% Last change
%
% 03.12.93  FU Berlin

% ----- A -----
@INPROCEEDINGS{Ahmed,
     AUTHOR = {Shamin Ahmed and Duvvuru Sriram and Robert Logcher},
     TITLE  = {Requirement of 
       Object-Oriented Databases for Supporting collaborative Engineering}, 
     BOOKTITLE = {Conference Proceedings of Construction Congress '91, American Society of 
       Civil Engineers.}
     }	


@book{Andleigh,
      AUTHOR    = {Prabhat K. Andleigh and Michael R. Gretzinger}, 
      TITLE     = {Distributed Object-Oriented Data-Systems Design}, 
      PUBLISHER = {Prentice Hall}, 
      YEAR      = {1992}
      }
   


% ----- B -----

@book{HandbookAI4,
     TITLE = { The Handbook of Artificial Intelligence},
     VOLUME  = {4},
     EDITOR = {Avron Barr and Paul R. Cohen and Edward A. Feigenbaum},
     PUBLISHER = {Addison-Wesley}, 
     ADDRESS   = {Reading, MA},
     YEAR      = {1989},
     ANNOTE = {sieht toll aus}
    }


@ARTICLE{BSH:Experimentation,
    AUTHOR  = "V. R. Basili and R. W. Selby and D. H. Hutchens",
    TITLE   = "Experimentation in Software Engineering",
    JOURNAL = "IEEE Transactions on Software Engineering",
    VOLUME  = "SE-12",
    NUMBER  = "7",
    PAGES   = "733--743",
    MONTH   = "July",
    YEAR    = "1986"
}

@ARTICLE{BasiliWeiss:GQM,
    AUTHOR  = "V. R. Basili and D. M. Weiss",
    TITLE   = "A Methodology for Collecting Valid Software Engineering Data",
    JOURNAL = "IEEE Transactions on Software Engineering",
    VOLUME  = "SE-10",
    NUMBER  = "6",
    PAGES   = "728--738",
    MONTH   = "November",
    YEAR    = "1984"
}

@ARTICLE{BasiliSelby:Paradigms,
    AUTHOR  = {Victor R. Basili and Richard W. Selby},
    TITLE   = {Paradigms for Experimentation and Empirical Studies in Software
               Engineering},
    JOURNAL = {Journal of Reliability Engineering and System Safety},
    VOLUME  = 32,
    NUMBER  = "1\&2",
    YEAR    = 1991,
    PAGES   = "171--191",
    ABSTRACT = "
     The software engineering field requires major advances in order to
     attain the high standards of quality and productivity that are needed by
     the complex systems of the future. The immaturity of the field is
     reflected by the fact that most of its technologies have not yet been
     analyzed to determine their effects on quality and productivity. Moreover,
     when these analyses have occurred the resulting guidance is not
     quantitative but only ethereal. One fundamental area of software
     engineering that is just beginning to blossom is the use of measurement
     techniques and empirical methods. These techniques need to be adopted by
     software researchers and practitioners in order to help the field respond
     to the demands being placed upon it. This paper outlines four paradigms
     for experimentation and empirical study in software engineering and
     describes their interrelationships: (1) improvement paradigm (2)
     goal-question-metric paradigm, (3) experimentation framework paradigm, and
     (4) classification paradigm. These paradigms are intended to catalyze the
     use of measurement techniques and empirical methods in software
     engineering."
}


@ARTICLE{BasiliReiter:Quantitative,
    AUTHOR  = {V. R. Basili and R. W. Reiter},
    TITLE   = {A Controlled Experiment Quantitatively Comparing
               Software Development Approaches},
    JOURNAL = "IEEE Transactions on Software Engineering",
    VOLUME  = {SE-7},
    MONTH   = "May",
    YEAR    = "1981"
    }

@book{OOBerard,
     AUTHOR      = {Edward V. Berard},
     TITLE       = {Essays on {O}bject-oriented {S}oftware
                    {E}ngineering, Vol. 1},
     PUBLISHER   = {Prentice Hall},
     ADDRESS     = {Englewood Cliffs},
     YEAR        = {1993},
     ANNOTE      = {FU: BERA.E1a XD.2.1}
     }

@inbook{LOPS,
     AUTHOR      = {W. Bibel and K. M. H\"ornig},
     TITLE       = {{LOPS} -- A system based on a strategical
                    approach to program synthesis},
     BOOKTITLE   = {Automatic Program Construction Techniques},
     EDITORS     = {A. Biermann and G. Guiho und Y. Kodratoff},
     PUBLISHER   = {MacMillan},
     PAGES       = {69-89},
     YEAR        = {1984},
     ADDRESS     = {New York},
     ANNOTE      = {}
     }

@book{SEeconimics,
      AUTHOR    = {Barry W. Boehm},
      TITLE     = {Software Engineering Economics},
      PUBLISHER = {Prentice Hamm},
      ADDRESS   = {Englewood Cliffs, NJ},
      YEAR      = {1981},
      ANNOTE    = {}
     }

@book{Booch,
      AUTHOR    = {Grady Booch},
      TITLE     = {Object Oriented Design with Applications},
      PUBLISHER = {Benjamin/Cummings},
      ADDRESS   = {Redwood City, CA},
      YEAR      = {1991},
      ANNOTE    = {OOD Bible, with 5 completely worked out examples}
     }

@book{Bourne,
      AUTHOR    = {John R. Bourne},
      TITLE     = { Object-{O}riented {E}ngineering -- {B}uilding Engineering Systems
                    Using {S}malltalk-80}, 
      PUBLISHER = {Aksen Associate Inc. Publisher}, 
      ADDRESS   = {Boston, MA}
      }

@book{Budd,
      AUTHOR    = {Timothy Budd}, 
      TITLE     = {An Introduction to Object-Oriented Programming}, 
      PUBLISHER = {Addison-Wesley},
      YEAR      = {1991}
      }


% ----- C -----

@book{CoddYourdon,
      AUTHOR    = {Peter Codd and Edward Yourdon}, 
      TITLE     = {Object Oriented Analysis}, 
      PUBLISHER = {Yourdon Press},
      ADDRESS   = {New Jersey},
      YEAR      = {1991}
      }

@article{LossFactor,
     AUTHOR      = {R. L. Constable and T. B. Knoblock and G. L. Bates},
     TITLE       = {Writing Programs that Construct Proofs},
     JOURNAL     = {Journal of Automated Reasoning},
     VOLUME      = {1},
     YEAR        = {1985},
     PAGES       = {285-326},
     ANNOTE      = {}
     }


@ARTICLE(Curtis:Experimentation,
    AUTHOR  = "Bill Curtis",
    TITLE   = "Measurement and Experimentation in Software Engineering",
    JOURNAL = "Proceedings of the {IEEE}",
    VOLUME  = 68,
    NUMBER  = 9,
    MONTH   = "September",
    YEAR    = 1980,
    PAGES   = "1144--1157"
)


% ----- E -----

@book{Kriterien,
      KEY         = {Kriterien},
      INSTITUTION = {Zentralstelle f\"ur Sicherheit in der Informationstechnik},
      TITLE       = {Kriterien f\"ur die Entwicklung, Realisierung und Zulassung
                     von Werkzeugen zur formalen Spezifikation und Verifikation},
      YEAR        = {1990},
      ANNOTE      = {German Orange Book}
     }

% ----- F -----

@BOOK{Fenton,
      AUTHOR    = "N. E. Fenton",
      TITLE     = "Software Metrics: A Rigorous Approach",
      PUBLISHER = "Chapman \& Hall",
      YEAR      = "1991"
      }

% ----- G -----

@book{Goldblatt,
     AUTHOR      = {R. Goldblatt},
     TITLE       = {Axiomatising the Logic of Computer Programming},
     PUBLISHER   = {Springer Verlag},
     SERIES      = {LNCS 130},
     YEAR        = {1982},
     ANNOTE      = {}
     }



% ----- H -----

@inproceedings{CICS,
     AUTHOR      = {Iain Houston and Steve King},
     TITLE       = {{CICS} project report. {E}xperiences and results from the use
                    of {Z} in {IBM}},
     BOOKTITLE   = {{VDM}'91: Formal Software Development Methods. 
                    Symposiom of {VDM} Europe, Noordwijkerhout},
     YEAR        = {1991},
     SERIES      = {LNCS 551},
     PUBLISHER   = {Springer Verlag},
     ADDRESS     = {Berlin},
     PAGES       = {588-596},
     ANNOTE      = {}
     }



% ----- J -----

@book{Jalote,
      AUTHOR    = {Pankaj Jalote},
      TITLE     = {An Integrated Approach to Software Engineering},
      PUBLISHER = {Springer Verlag},
      ADDRESS   = {New York},
      YEAR      = {1991},
      ANNOTE    = {}
     }

@book{OOSE,
      AUTHOR    = {Ivar Jaccobsen},
      TITLE     = {Object-Oriented Software Engineering},
      YEAR      = {1992},
      ANNOTE    = {}
     }
@book{Ethics,
  Author = {Deborah G. Johnson and Helen Nissenbaum},
  Title = {Computers, Ethics, & Social Values},
  Publisher = {Prentice Hall, Englewood Cliffs, NJ 07632},
  Year = {1995},
  Note = {ISBN 0-13-103110-4}
}
 

% ----- K -----

@INPROCEEDINGS{KnightLeveson:NASA,
    AUTHOR    = {J. Knight and N. Leveson},
    TITLE     = {A Large Scale Experiment in N-Version Programming},
    BOOKTITLE = {Proceedings of the Ninth Annual Software Engineering Workshop},
    ADDRESS   = {NASA/Goddard Space Flight Center, Greenbelt, MD},
    MONTH     = "November",
    YEAR      = "1984"
    }

% ----- L -----

@book{Safeware,
  Author = {Nancy G. Leveson},
  Title = {Safeware: System Safety and Computers},
  Publisher = {Addison Wesley, Reading, Mass 01867-3999},
  Year = {1995},
  Note = {ISBN 0-201-11972-2}
}


@incollection{KBSE,
         AUTHOR = {Michael Lowry and Raul Duran},
         TITLE  = {Knowledge-based Software Engineering},
         BOOKTITLE = {\cite{HandbookAI4}},
         Chapter = {20},
         PAGES   = {241-322},
         PUBLISHER = {Addison-Wesley}, 
         ADDRESS   = {Reading, MA},
         YEAR      = {1989},
         ANNOTE = {}
        }

@book{ASD,
     EDITOR      = {Michael R. Lowry and Robert D. McCartney},
     TITLE       = {Automating Software Design},
     PUBLISHER   = {AAAI Press},
     ADDRESS     = {Menlo Park},
     YEAR        = {1991},
     ANNOTE      = {Many nice papers}
     }
  



% ----- P -----
@book{ProgMeth,
      EDITOR    = {David Gries},
      TITLE     = {Programming Methodology - A collection of articles
                   by members of {IFIP} {WG}2.3},
      PUBLISHER = {Springer Verlag},
      ADDRESS   = {New York},
      YEAR      = {1978},
      ANNOTE    = {}
     }

% ----- R -----

@book{OOD,
      EDITOR    = {Peter Robinson},
      TITLE     = {Object-Oriented Design},
      PUBLISHER = {Chapman \& Hall},
      ADDRESS   = {London},
      YEAR      = {1992},
      ANNOTE    = {HOOD - Hierarchical Object-Oriented Design}
     }


% ----- S -----

@inproceedings{VDMWedel,
     AUTHOR      = {Uwe Schmidt},
     TITLE       = {Formale {S}oftwareentwicklungsmethoden in der {A}usbildung},
     BOOKTITLE   = {Proceedings: 2. Workshop SEUH -- Software Engineering im
                    Unterricht der Hochschulen. Hamburg},
     YEAR        = {1993},
     ANNOTE      = {}
     }


@article {SBB:Cleanroom,
    AUTHOR  = {Richard W. Selby and Victor R. Basili and F. Terry Baker},
    TITLE   = {Cleanroom Software Development: An Empirical Evaluation},
    JOURNAL = "IEEE Transactions on Software Engineering",
    VOLUME  = {SE-13},
    NUMBER  = 9,
    MONTH   = "September",
    YEAR    = 1987,
    PAGES   = {1027--1037}
    }

% ----- T -----
@techreport{TeachingSE,
     AUTHOR      = {J. Tomayko},
     TITLE       = {Teaching a {P}roject-{I}ntensive {I}ntroduction to
                   {S}oftware {E}ngineering},
     INSTITUTION = {SEI, Carnegie-Mellon University},
     NUMBER      = {CMU/SEI-87-TR-20, AD-A200603},
     YEAR        = {1987},
     ANNOTE      = {This report is meant as a guide to the teacher of the introductory
                    course in software engineering. It contains a case study of a course
                    based on a large project. Other models of course organization are also
                    discussed.  Additional materials used in teaching the course and
                    samples of student-produced documentation are also
		  available.}
    }

% ----- W -----

@techreport{Korso,
     AUTHOR      = {Martin {Wirsing, et al}},
     TITLE       = {A Framework for Software Development in {K}orso},
     INSTITUTION = {{LMU} M\"unchen},
     NUMBER      = {9205},
     YEAR        = {1992},
     ANNOTE      = {The definitive pamphlet}
     }