Object-Oriented White Papers

Templates and Generics for Translating UML Class Diagrams Into Z

Overview This paper explores the use of templates and generics in translating from class diagrams to formal descriptions. The paper presents an approach for the translation of UML class diagrams into Z, which builds on previous work, correcting problems found in those approaches. This allows a plug-and-play approach to different formalisations of UML semantics.

Further White Paper Details
PublisherUniversity of York File FormatPDF, requires Acrobat Rdr 5
Date PublishedFebruary 2005 Downloads4
FormatWhite Papers   
Topics
Thin clients switch on digitally excluded

Thin clients switch on digitally excluded

Case study: Digital inclusion project tackles social exclusion in Liverpool more

Renault goes multilingual

Renault goes multilingual

Case study: Translation tech turns docs into 23 languages… more


Quick Sitemap Links: