A Minimal Set of Refactoring Rules for Object-Z

McComb, T. and Smith, G (2008). A Minimal Set of Refactoring Rules for Object-Z. In: Barthe, G. and de Boer, F.S., Formal Methods for Open Object-based Distributed Systems. International Symposium on Formal Methods (FM 2008), Oslo, Norway, (170-184). 4-6 June, 2008.

Author McComb, T.
Smith, G
Title of paper A Minimal Set of Refactoring Rules for Object-Z
Conference name International Symposium on Formal Methods (FM 2008)
Conference location Oslo, Norway
Conference dates 4-6 June, 2008
Proceedings title Formal Methods for Open Object-based Distributed Systems   Check publisher's open access policy
Journal name Formal Methods for Open Object-Based Distributed Systems, Proceedings   Check publisher's open access policy
Place of Publication Heidelberg, Germany
Publisher Springer
Publication Year 2008
Sub-type Fully published paper
ISBN 978-3-540-68862-4
ISSN 0302-9743
Editor Barthe, G.
de Boer, F.S.
Volume 5051
Issue 1
Start page 170
End page 184
Total pages 15
Language eng
Subjects E1
080309 Software Engineering
890299 Computer Software and Services not elsewhere classified
Q-Index Code E1
Q-Index Status Confirmed Code

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 3 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 8 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Sat, 28 Mar 2009, 02:21:24 EST by Donna Clark on behalf of School of Information Technol and Elec Engineering