Elena Planas

45 Followers

8 SlideShares 45 Followers 41 Followings

8 SlideShares 45 Followers 41 Followings

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

See more

Activity
About

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

12 years ago • 369 Views

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

12 years ago • 412 Views

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

12 years ago • 585 Views

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

12 years ago • 279 Views

Lightweight Verification of Executable Models

11 years ago • 792 Views

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

10 years ago • 455 Views

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

10 years ago • 1937 Views

Model-Driven Analytics for Open Data APIs

5 years ago • 762 Views

The Unbearable Stupidity of Modeling

Peter Friese • 14 years ago

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

Edahn Small • 12 years ago

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

See more