Computer Safety, Reliability and Security

19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings

  • Floor Koornneef
  • Meine van der Meulen
Conference proceedings SAFECOMP 2000
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1943)

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Paper

  3. Verification and Validation

    1. John Napier, John May, Gordon Hughes
      Pages 14-26
    2. B. Parrotta, M. Rebaudengo, M. Sonza Reorda, M. Violante
      Pages 27-36
    3. Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski
      Pages 37-52
    4. A. G. Faulkner, P. A. Bennett, R. H. Pierce, I. H., N. Storey
      Pages 86-95
  4. Software Process Improvement

    1. Mohamed Kaaniche, Jean-Claude Laprie, Jean-Paul Blanquart
      Pages 107-116
    2. Peter A. Lindsay, John A. McDermid, David J. Tombs
      Pages 117-130
    3. Wolfgang A. Halang, Peter Vogrin, Matjaz Colnaric
      Pages 141-150
    4. Zdzisław Żurakowski
      Pages 151-164
    5. Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun
      Pages 165-175
    6. Jan Magott, Pawel Skrobanek
      Pages 176-186
  5. Formal Methods

    1. Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald
      Pages 187-197
    2. Thierry Scheurer
      Pages 198-210
    3. R. Bloomfield, D. Craigen, F. Koob, M. Ullmann, S. Wittmann
      Pages 211-226

About these proceedings

Keywords

Computer Safety Dependable Systems Formal Methods Reactive Systems Reliable Computing Safety Assessment Safety-Critical Systems Software Validation Systems Security Systems Verification formal method verification

Editors and affiliations

  • Floor Koornneef
    • 1
  • Meine van der Meulen
    • 2
  1. 1.Safety Science GroupTU DelftBX DelftThe Netherlands
  2. 2.SIMTECHMA RotterdamThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-40891-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41186-4
  • Online ISBN 978-3-540-40891-8
  • Series Print ISSN 0302-9743
  • About this book