Theorem Proving Support for View Consistency Checking

Hdl Handle:
http://hdl.handle.net/10149/111708
Title:
Theorem Proving Support for View Consistency Checking
Authors:
Paige, R. F. (Richard); Ostroff, J. S. (Jonathan); Brooke, P. J. (Phillip)
Citation:
Paige, R. F., Ostroff, J. S. and Brooke, P. J. (2003) 'Theorem Proving Support for View Consistency Checking', L'objet, 9(4), pp.115-134.
Journal:
L'objet
Issue Date:
2003
URI:
http://hdl.handle.net/10149/111708
DOI:
10.3166/objet.9.4.115-134
Additional Links:
http://objet.revuesonline.com/article.jsp?articleId=3633
Type:
Article
Language:
en
Keywords:
view consistency; metamodelling; theorem proving; BON; PVS
ISSN:
1262-1137
Rights:
No publisher policy information on http://www.sherpa.ac.uk/romeo/ [Accessed 23/09/2010]
Citation Count:
0 [Web of Science and Scopus, 23/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorPaige, R. F. (Richard)en
dc.contributor.authorOstroff, J. S. (Jonathan)en
dc.contributor.authorBrooke, P. J. (Phillip)en
dc.date.accessioned2010-09-23T14:19:35Z-
dc.date.available2010-09-23T14:19:35Z-
dc.date.issued2003-
dc.identifier.citationL'objet; 9(4):115-134en
dc.identifier.issn1262-1137-
dc.identifier.doi10.3166/objet.9.4.115-134-
dc.identifier.urihttp://hdl.handle.net/10149/111708-
dc.language.isoenen
dc.relation.urlhttp://objet.revuesonline.com/article.jsp?articleId=3633en
dc.rightsNo publisher policy information on http://www.sherpa.ac.uk/romeo/ [Accessed 23/09/2010]en
dc.subjectview consistencyen
dc.subjectmetamodellingen
dc.subjecttheorem provingen
dc.subjectBONen
dc.subjectPVSen
dc.titleTheorem Proving Support for View Consistency Checkingen
dc.typeArticleen
dc.identifier.journalL'objeten
ref.citationcount0 [Web of Science and Scopus, 23/09/2010]en
or.citation.harvardPaige, R. F., Ostroff, J. S. and Brooke, P. J. (2003) 'Theorem Proving Support for View Consistency Checking', L'objet, 9(4), pp.115-134.-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.