Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Foreword

Foreword Math.Comput.Sci. (2014) 8:1–4 DOI 10.1007/s11786-014-0178-9 Mathematics in Computer Science Manfred Kerber · Christoph Lange · Colin Rowat Published online: 19 April 2014 © Springer Basel 2014 There is a long-term vision of making information systems dependable. Indeed formal systems have reached a strength that would allow to use them for this purpose. However, in many application domains they are not actually employed since their usage still requires a lot of expertise and also a major commitment in resources. In particular, there is a high threshold, which has to be overcome to get started, and only after a significant initial investment there is a benefit from their usage. This means that often the systems are used only in areas where failure is prohibitively expensive, such as aircraft control. Contributions to this special issue have been solicited in order to address this and related issues. This issue originates in the symposium “Enabling Domain Experts to use Formalized Reasoning” (see http://cs.bham.ac.uk/ research/projects/formare/events/aisb2013), which we organized in 2013 in order to bring researchers from the formal methods/theorem proving community and different application domains together. There are some examples from engineering where costly accidents could have been prevented if formal methods had been applied. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Mathematics in Computer Science Springer Journals

Foreword

Download PDF
4 pages

Loading next page...
 
/lp/springer-journals/foreword-34xwSUbxq1

References (5)

Publisher
Springer Journals
Copyright
Copyright © 2014 by Springer Basel
Subject
Mathematics; Mathematics, general; Computer Science, general
ISSN
1661-8270
eISSN
1661-8289
DOI
10.1007/s11786-014-0178-9
Publisher site
See Article on Publisher Site

Abstract

Math.Comput.Sci. (2014) 8:1–4 DOI 10.1007/s11786-014-0178-9 Mathematics in Computer Science Manfred Kerber · Christoph Lange · Colin Rowat Published online: 19 April 2014 © Springer Basel 2014 There is a long-term vision of making information systems dependable. Indeed formal systems have reached a strength that would allow to use them for this purpose. However, in many application domains they are not actually employed since their usage still requires a lot of expertise and also a major commitment in resources. In particular, there is a high threshold, which has to be overcome to get started, and only after a significant initial investment there is a benefit from their usage. This means that often the systems are used only in areas where failure is prohibitively expensive, such as aircraft control. Contributions to this special issue have been solicited in order to address this and related issues. This issue originates in the symposium “Enabling Domain Experts to use Formalized Reasoning” (see http://cs.bham.ac.uk/ research/projects/formare/events/aisb2013), which we organized in 2013 in order to bring researchers from the formal methods/theorem proving community and different application domains together. There are some examples from engineering where costly accidents could have been prevented if formal methods had been applied.

Journal

Mathematics in Computer Science – Springer Journals

Published: Apr 19, 2014

There are no references for this article.