Boiten, Eerke Albert, Derrick, John (2002) Integration of Specifications through Development Relations. In: Ehrig, Hartmut and Kramer, Berndt and Ertas, Atila, eds. Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology. . p. 8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13787)
The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. |
Abstract
We sketch a framework for viewpoint specification using formal specification languages. In order to establish consistency and to further develop specifications, specifications need to be integrated (''unified''). This integration is not defined in terms of their semantics, but more abstractly in terms of, so-called, development relations, which represent acceptablelinebreak ''developments'' (e.g. refinements) of each of the viewpoint specifications. The framework is motivated by its instantiations with a number of specification languages (e.g., LOTOS and Z) and different development relations.
Item Type: | Conference or workshop item (Paper) |
---|---|
Uncontrolled keywords: | viewpoint specification, partial specification, consistency, formal methods |
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: | 24 Nov 2008 18:00 UTC |
Last Modified: | 12 Jul 2022 10:39 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/13787 (The current URI for this page, for reference purposes) |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):