Towards a practical approach to check UML/fUML models consistency using CSP

Conference proceeding

Open access

Peer reviewed

Lecture Notes in Computer Science: Formal Methods and Software Engineering, Vol.6991, pp.33-48

13th International Conference on Formal Engineering Methods, ICFEM 2011 (Durham, UK, 26/10/2011 - 28/10/2011)

2011

Files and links (2)

pdf

Abdelhalim_ICFEM2011_Paper73_13042011378.35 kBDownload View

TextSRIDA, Open Access

url

http://dx.doi.org/10.1007/978-3-642-24559-6View

Published (Version of record)

436 File views/ downloads

48 Record Views

Title: Towards a practical approach to check UML/fUML models consistency using CSP
Creators: I Abdelhalim
S Schneider
H Treharne
Contributors: Springer Verlag (null)
Publication Details: Lecture Notes in Computer Science: Formal Methods and Software Engineering, Vol.6991, pp.33-48
Conference: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (Durham, UK, 26/10/2011 - 28/10/2011)
Date published: 2011
Date submitted: 19/08/2012
Identifiers: 99516024702346
Academic Unit: Department of Computer Science; School of Computer Science and Electronic Engineering
Resource Type: Conference proceeding