Boiten, Eerke Albert, Derrick, John (2013) From ODP Viewpoint Consistency to Integrated Formal Methods. Computer Standards and Interfaces, 35 (3). pp. 269-276. ISSN 0920-5489. (doi:10.1016/j.csi.2011.10.015) (KAR id:30829)
PDF (NOTICE: this is the author’s version of a work that was accepted for publication in Computer Standards and Interfaces. Changes resulting from the publishing process may not be reflected in this document. http://dx.doi.org/10.1016/j.csi.2011.10.015)
Author's Accepted Manuscript
Language: English |
|
Click to download this file (255kB)
|
![]() |
This file may not be suitable for users of assistive technology.
Request an accessible format
|
|
Official URL: http://dx.doi.org/10.1016/j.csi.2011.10.015 |
Abstract
Questions asked by research into ODP Viewpoint Consistency led to fundamental questions in refinement and contributed greatly to insights and interest in Integrated Formal Methods; research in those areas is still ongoing, while the answers provided remain largely unincorporated into model driven development. In this paper we survey some of the work done on consistency checking for multiple viewpoints, and subsequent work on generalised notions of refinement, which in turn led to work on integrations of state-based and behavioural formal methods.
Item Type: | Article |
---|---|
DOI/Identification number: | 10.1016/j.csi.2011.10.015 |
Uncontrolled keywords: | ODP viewpoints; Consistency; Behavioural and state based specification; Refinement |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Eerke Boiten |
Date Deposited: | 21 Sep 2012 09:49 UTC |
Last Modified: | 16 Nov 2021 10:08 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/30829 (The current URI for this page, for reference purposes) |
Boiten, Eerke Albert: |
![]() |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):