Integrating Specifications: Development Relations and Correspondences

Boiten, Eerke (2002) Integrating Specifications: Development Relations and Correspondences. In: Ehrig, Hartmut and Grosse-Rhode, Martin, eds. Integration of software specification techniques. International workshop No2, Grenoble , FRANCE. INIST-CNRS p. 8.

Postscript
Download (368Kb)	Preview
PDF
Download (60Kb)	Preview

Abstract

Integrating Specifications: Development Relations and Correspondences Realistic system specifications consist of many sub-specifications in a heterogeneous collection of notations. We have investigated what it means for such ''partial specifications'' to collectively describe possible implementations of the system, and what it means for them to be consistent. The crucial notion in this is the ''development relation'' which relates a specification to acceptable developments or implementations. Our current focus is on correspondences: how do we cross-reference between two partial specifications, especially when they are written in different notations? What does it mean for specifications to be integrated with respect to such a correspondence relation?

Item Type:	Conference or workshop item (Paper)
Additional information:	Invited Lecture
Uncontrolled keywords:	viewpoints, partial specification, refinement, integration, consistency
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User:	Mark Wheadon
Date Deposited:	24 Nov 2008 18:00
Last Modified:	06 Sep 2011 01:16
Resource URI:	http://kar.kent.ac.uk/id/eprint/13803 (The current URI for this page, for reference purposes)

• Depositors only (login required):