© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Integrating specifications: Development relations and correspondences
Eerke Boiten
In Hartmut Ehrig and Martin Grosse-Rhode, editors, INT'02: Integration of Software Specification Techniques, ETAPS 2002 Satellite Workshop, pages 182-196, April 2002 Invited Lecture.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? Download publication 368 kbytes (PostScript)Bibtex Record
@inproceedings{1360, author = {Eerke Boiten}, title = {Integrating Specifications: Development Relations and Correspondences}, month = {April}, year = {2002}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {Invited Lecture}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2002/1360}, publication_type = {inproceedings}, submission_id = {17264_1018280649}, booktitle = {INT'02: Integration of Software Specification Techniques, ETAPS 2002 Satellite Workshop}, editor = {Hartmut Ehrig and Martin Grosse-Rhode}, refereed = {no}, }