SDL 2015: Model-Driven Engineering for Smart Cities - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319249117, 9783319249124
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Model-Based Framework for SLA Management and Dynamic Reconfiguration

2015 ◽  
pp. 19-26 ◽  
Author(s):  
Mahin Abbasipour ◽  
Ferhat Khendek ◽  
Maria Toeroe
Keyword(s):  
Dynamic Reconfiguration ◽  
Model Based ◽  
Sla Management

Describing Early Security Requirements Using Use Case Maps

2015 ◽  
pp. 202-217
Author(s):  
Jameleddine Hassine ◽  
Abdelwahab Hamou-Lhadj
Keyword(s):  
Security Requirements ◽  
Use Case ◽  
Use Case Maps

scholarly journals On the Semantic Transparency of Visual Notations: Experiments with UML

2015 ◽  
pp. 122-137 ◽  
Author(s):  
Amine El Kouhen ◽  
Abdelouahed Gherbi ◽  
Cédric Dumoulin ◽  
Ferhat Khendek
Keyword(s):  
Semantic Transparency

On the Reuse of Goal Models

2015 ◽  
pp. 141-158 ◽  
Author(s):  
Mustafa Berk Duran ◽  
Gunter Mussbacher ◽  
Nishanth Thimmegowda ◽  
Jörg Kienzle
Keyword(s):  
Goal Models

SDL - The IoT Language

2015 ◽  
pp. 27-41 ◽  
Author(s):  
Edel Sherratt ◽  
Ileana Ober ◽  
Emmanuel Gaudin ◽  
Pau Fonseca i Casas ◽  
Finn Kristoffersen

Insertion Modeling and Symbolic Verification of Large Systems

2015 ◽  
pp. 3-18 ◽  
Author(s):  
Alexander Letichevsky ◽  
Oleksandr Letychevskyi ◽  
Volodymyr Peschanenko ◽  
Thomas Weigert
Keyword(s):  
Large Systems ◽  
Symbolic Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document