×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of elena-planas
Lightweight Static Verification of [UML] Executable Models (An overview)
277 views
PhD Thesis defense: Lightweight and Static verification of UML Executable Models
1.167 views
Lightweight Verification of Executable Models
933 views
Verifying Action Semantics Specifications in UML Behavioral Models (CAiSE 2009)
401 views
Executability Analysis of Graph Transformation Rules (VL/HCC 2011)
667 views
A Framework for Verifying UML Behavioral Models (CAiSE Doctoral Consortium 2009)
424 views
Two Basic Correctness Properties for ATL Transformations: Executability and Coverage (MtATL 2011)
336 views