Elena Planas

45 Followers

8 SlideShares 45 Followers 41 Followings

8 SlideShares 45 Followers 41 Followings

uml verification executable models lightweight alf model static analysis executability icwe weod api behavioural action semantics behavioral open data model-driven analytics graph transformation rules correctness coverage atl mda action language quality feedback models phd mdd static fuml

See more

Activity
About

Verifying Action Semantics Specifications in UML Behavioral Models (CAiSE 2009)

14 years ago • 371 Views

A Framework for Verifying UML Behavioral Models (CAiSE Doctoral Consortium 2009)

14 years ago • 413 Views

Executability Analysis of Graph Transformation Rules (VL/HCC 2011)

14 years ago • 589 Views

Two Basic Correctness Properties for ATL Transformations: Executability and Coverage (MtATL 2011)

14 years ago • 282 Views

Lightweight Verification of Executable Models

13 years ago • 795 Views

Lightweight Static Verification of [UML] Executable Models (An overview)

12 years ago • 458 Views

PhD Thesis defense: Lightweight and Static verification of UML Executable Models

12 years ago • 1974 Views

Model-Driven Analytics for Open Data APIs

7 years ago • 778 Views

The Unbearable Stupidity of Modeling

Peter Friese • 16 years ago

10 Tips for Making Beautiful Slideshow Presentations by www.visuali.se

Edahn Small • 13 years ago

uml verification executable models lightweight alf model static analysis executability icwe weod api behavioural action semantics behavioral open data model-driven analytics graph transformation rules correctness coverage atl mda action language quality feedback models phd mdd static fuml

See more