University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Automatic Generation of Integrated Formal Models Corresponding to UML System Models

Treharne, H, Turner, E, Paige, RF and Kolovos, DS (2009) Automatic Generation of Integrated Formal Models Corresponding to UML System Models In: 47th TOOLS EUROPE International Conference 2009, 2009-06-29 - 2009-07-03, Zurich, SWITZERLAND.

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Authors :
NameEmailORCID
Treharne, Hh.treharne@surrey.ac.ukUNSPECIFIED
Turner, EUNSPECIFIEDUNSPECIFIED
Paige, RFUNSPECIFIEDUNSPECIFIED
Kolovos, DSUNSPECIFIEDUNSPECIFIED
Date : 1 January 2009
Contributors :
ContributionNameEmailORCID
UNSPECIFIEDOriol, MUNSPECIFIEDUNSPECIFIED
UNSPECIFIEDMeyer, BUNSPECIFIEDUNSPECIFIED
publisherSPRINGER-VERLAG BERLIN, UNSPECIFIEDUNSPECIFIED
Uncontrolled Keywords : Science & Technology, Technology, Computer Science, Information Systems, Computer Science, Software Engineering, Computer Science, Theory & Methods, Computer Science, Model transformation, Epsilon, UML, CSP, B, PARALLEL-TO-B, TRANSFORMATION, LANGUAGE
Related URLs :
Depositing User : Symplectic Elements
Date Deposited : 17 May 2017 11:26
Last Modified : 17 May 2017 14:56
URI: http://epubs.surrey.ac.uk/id/eprint/831372

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800