Supplementary Material: Comparing Formal Tools for System Design: a Case Study in the Railway Domain
Description
This package includes supplementary material for the work "Comparing Formal Tools for System Design: a Case Study in the Railway Domain", submitted to Formalise 2019 (https://www.formalise.org), Montreal, Canada, 27 May 2019. The package includes: (a) a PDF document named Moving-block Model and Requirements.pdf, which includes a UML model of a moving-block system together with a set of requirements for the system; (b) a set of 10 folders, each one associated to a formal or semi-formal development tool. Each folder contains one or more model of the moving-block system from (a), developed by means of the tool.
Resources
| Name |
Format |
Description |
Link |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-2538118 |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-2538118 |
Tags
- formal-models,-model-based-development,-formal-methods,-model-checking,-empirical-software-engineering