首页    期刊浏览 2024年12月03日 星期二
登录注册

文章基本信息

  • 标题:Abstracts Collection -- Workshop Trustworthy Software 2006
  • 作者:Serge Autexier ; Stephan Merz ; Leon van der Torre
  • 期刊名称:OASIcs : OpenAccess Series in Informatics
  • 电子版ISSN:2190-6807
  • 出版年度:2006
  • 卷号:3
  • DOI:10.4230/OASIcs.TrustworthySW.2006.758
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:On 18-19 May 2006, the Saarland University organized a two-day workshop about "Trustworthy Software" in order to present and foster the research competence in the SaarLorLuxWallonie region in the area of developing safe, secure and reliable software, computers and networks. As part of the Interreg III C E-Bird project "Recherches sans fronti\`eres/Forschen ohne Grenzen" it provided an excellent forum especially for young scientists to present and discuss recent results, new ideas and future research directions to a transnational audience from the SaarLorLuxWallonie region. The workshop consisted of 21 regular presentations and one invited talk. Abstracts of all presentations are collected in this paper, including links to extended abstracts or full papers. The first section directs to the preface of the proceedings.
  • 关键词:Software evolution; Modularity; Automated debugging; Dependability assurance; Failure analysis; Static program analysis
Loading...
联系我们|关于我们|网站声明
国家哲学社会科学文献中心版权所有