Paper Info
Title
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans.
Abstract
The development and application of formal methods is a long standing research topic within the field of computer science. One particular challenge that remains is the uptake of formal methods into industrial practices. This paper introduces a methodology for developing domain specific languages for modelling and verification to aid in the uptake of formal methods within industry. It illustrates the successful application of this methodology within the railway domain. The presented methodology addresses issues surrounding faithful modelling, scalability of verification and accessibility to modelling and verification processes for practitioners within the domain.
Year
DOI
Venue
2014
10.1007/s11786-014-0174-0
Mathematics in Computer Science
Keywords
DocType
Volume
Domain specific languages, Algebraic specification, Modelling, Verification, Casl, Railway domain
Journal
abs/1403.3034
Issue
ISSN
Citations 
1
1661-8270
7
PageRank 
References 
Authors
0.56
17
2
Name
Order
Citations
PageRank
Phillip James1737.24
Markus Roggenbach229432.63