Boiten, Eerke A. and Derrick, John (2013) From ODP Viewpoint Consistency to Integrated Formal Methods. Computer Standards and Interfaces, 35 (3). pp. 269-276. ISSN 0920-5489.
|The full text of this publication is not available from this repository. (Contact us about this Publication)|
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.
|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:||Faculties > Science Technology and Medical Studies > School of Computing > Programming Languages and Systems Group|
|Depositing User:||Eerke Boiten|
|Date Deposited:||21 Sep 2012 09:49|
|Last Modified:||06 Jan 2013 00:14|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/30829 (The current URI for this page, for reference purposes)|
- Depositors only (login required):