The University of Southampton
University of Southampton Institutional Repository

Incremental Construction of Large Specifications: Case Study and Techniques

Evans, Neil and Butler, Michael (2006) Incremental Construction of Large Specifications: Case Study and Techniques s.n.

Record type: Monograph (Project Report)

Abstract

The RODIN project is an EU-funded project concerned with the provision of methods and tools for rigorous development of complex software-based systems. Ultimately, through the development of open-source tools and techniques, the project aims to make formal methods more appealing and accessible to industry. The project is driven by a number of case studies, each of which is designed to exercise the technology being developed and create methodologies for the future. In this paper we focus on the methodologies being developed in one of the case studies (the CDIS subset). This case study is based on a commercial air traffic information system that was developed using formal methods 14 years ago, and it is still in operation today. The key goals of our approach are to improve the comprehensibility of large specifications and to achieve a complete mechanical proof of consistency.

PDF cdis.pdf - Other
Download (149kB)

More information

Published date: 2006
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 262734
URI: http://eprints.soton.ac.uk/id/eprint/262734
PURE UUID: c312824a-2686-42c5-a686-6aa08de4a4ff
ORCID for Michael Butler: ORCID iD orcid.org/0000-0003-4642-5373

Catalogue record

Date deposited: 20 Jun 2006
Last modified: 18 Jul 2017 08:48

Export record

Contributors

Author: Neil Evans
Author: Michael Butler ORCID iD

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×