Towards proving preservation of behaviour of refactoring of UML methods

M. Kempen, van; D.G. Kourie; M.R.V. Chaudron; A. Boake

Towards proving preservation of behaviour of refactoring of UML methods

M. Kempen, van, D.G. Kourie, M.R.V. Chaudron, A. Boake

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT'05, White River, South Africa, September 20-22, 2005)
Pages	...-...
Publication status	Published - 2005

Cite this

@inproceedings{56c86f9cfbb94341a59eb1b42c6850be,

title = "Towards proving preservation of behaviour of refactoring of UML methods",

author = "{Kempen, van}, M. and D.G. Kourie and M.R.V. Chaudron and A. Boake",

year = "2005",

language = "English",

pages = "...--...",

booktitle = "Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT'05, White River, South Africa, September 20-22, 2005)",

}

Towards proving preservation of behaviour of refactoring of UML methods. / Kempen, van, M.; Kourie, D.G.; Chaudron, M.R.V. et al.
Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT'05, White River, South Africa, September 20-22, 2005). 2005. p. ...-...

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Towards proving preservation of behaviour of refactoring of UML methods

AU - Kempen, van, M.

AU - Kourie, D.G.

AU - Chaudron, M.R.V.

AU - Boake, A.

PY - 2005

Y1 - 2005

M3 - Conference contribution

SP - ...-...

BT - Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT'05, White River, South Africa, September 20-22, 2005)

ER -