Literature for the lecture / Literatur zur Vorlesung

Allgemein

  • Liggesmeyer P., Software-Qualität 2. Aufl., Spektrum, 2009
  • Schneider K., Verification of Reactive Systems, Springer, 2003

Measurement

  • Halstead M.H., Elements of Software Science, New York: North-Holland 1977
  • Zuse H., Software Complexity - Measures and Methods, Berlin, New York: De Gruyter 1991

Inspections and Reviews

  • Fagan M.E., Design and code inspections to reduce errors in program development, IBM Syst. J., No. 3, 1976, pp. 182-211
  • Fagan M.E., Advances in Software Inspections, in: IEEE Transactions of Software Engineering, Vol. SE-12, No. 7, July 1986, pp. 744-751
  • Gilb T., Graham D., Software Inspection, Menlo Park: Addison-Wesley 1993
  • Yourdon E., Structured Walkthroughs, Englewood Cliffs: Prentice-Hall 1985

Formal Verification

  • Burch J.R., Clarke E.M., Long D.E., McMillan K.L., Dill D.L., Symbolic Model Checking for Sequential Circuit Verification, in: IEEE Transactions on Computers, Vol. 13, No. 4, April 1994, pp. 401-424
  • Clarke E.M., Emerson E.A., Sistla A.P., Automatic Verification of Finite state Concurrent Systems using Temporal Logic Specifications, in: ACM Transactions on Programming Languages and Systems, Vol. 8, No. 2, April 1986, pp. 244-263
  • Floyd R.W., Assigning meanings to Programs, in: Proceedings of the American Mathematical Society Symposium in Applied Mathematics, Vol. 19, 1967, pp. 19-32
  • Hoare C.A.R., Proof of a Program: FIND, in: Communications of the ACM, Vol. 14, No. 1, January 1971, pp. 39-45
  • Howden W.E., An evaluation of the effectiveness of symbolic testing, in: Software-Practice and Experience, Vol. 8, No. 4, July/August 1978, pp. 381-397
  • Logrippo L., Melanchuk T., Du Wors R.J., The Algebraic Specification Language LOTOS: An Industrial Experience, in: Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development, Napa, May 1990, Software Engineering Notes, Vol. 15, No. 4, September 1990, pp. 59-66