Automatic Generation of Integrated Formal Models Corresponding to UML System Models

H Treharne; E Turner; RF Paige; DS Kolovos

Back

Conference proceeding

Automatic Generation of Integrated Formal Models Corresponding to UML System Models

H Treharne, E Turner, RF Paige and DS Kolovos

OBJECTS, COMPONENTS, MODELS AND PATTERNS, PROCEEDINGS, Vol.33, pp.357-367

47th TOOLS EUROPE International Conference 2009 (Zurich, SWITZERLAND, 29/06/2009–03/07/2009)

01/01/2009

Abstract

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

Files and links (1)

url

http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000270937600021&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=11d2a86992e85fb529977dad66a846d5View

Author

Metrics

Details

Title: Automatic Generation of Integrated Formal Models Corresponding to UML System Models
Creators: H Treharne
E Turner
RF Paige
DS Kolovos
Contributors: M Oriol
B Meyer
SPRINGER-VERLAG BERLIN (Publisher)
Publication Details: OBJECTS, COMPONENTS, MODELS AND PATTERNS, PROCEEDINGS, Vol.33, pp.357-367
Conference: 47th TOOLS EUROPE International Conference 2009 (Zurich, SWITZERLAND, 29/06/2009–03/07/2009)
Publication Date: 01/01/2009
Identifiers: 99514922202346
Academic Unit: University of Surrey
Resource Type: Conference proceeding

Automatic Generation of Integrated Formal Models Corresponding to UML System Models

Abstract

Files and links (1)

Metrics

Details

Usage Policy