Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

3

ECEASST
2008

favoriteEmaildiscussreport

68views more ECEASST 2008»

Specifying Executable Platform-Independent Models using OCL

13 years 5 months ago

Specifying Executable Platform-Independent Models using OCL

Download opus.kobv.de

Pierre Kelsen, Elke Pulvermueller, Christian Glodt

Real-time Traffic

ECEASST 2008 |

claim paper

Related Content

» Integrating OCL and Model Transformations in Fujaba

» PlatformIndependent Programming of DataIntensive Applications Using UML

» A ModelBased Approach for PlatformIndependent Binary Components with Precise Timing and Fi...

» Platform Independent Timing of Java Virtual Machine Bytecode Instructions

» Specifying Component Invariants with OCL

» Executable Visual Contracts

» Specifying Aggregation Functions in Multidimensional Models with OCL

» Towards the Completion of the Formal Semantics of OCL 20

» Model Development in the UMLbased Specification Environment USE

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	ECEASST
Authors	Pierre Kelsen, Elke Pulvermueller, Christian Glodt

Comments (0)