A hybrid model driven development framework for the multidimensional modeling of data warehouses!

2009 ◽  
Vol 38 (2) ◽  
pp. 12-17 ◽  
Author(s):  
Jose-Norberto Mazón ◽  
Juan Trujillo
2013 ◽  
Vol 19 (4) ◽  
pp. 271 ◽  
Author(s):  
Shinji Kobayashi ◽  
Eizen Kimura ◽  
Ken Ishihara

2007 ◽  
Vol 16 (4) ◽  
pp. 374-389 ◽  
Author(s):  
Eduardo Fernández-Medina ◽  
Juan Trujillo ◽  
Mario Piattini

Author(s):  
Matteo Avalle ◽  
Alfredo Pironti ◽  
Davide Pozza ◽  
Riccardo Sisto

This paper presents JavaSPI, a “model-driven” development framework that allows the user to reliably develop security protocol implementations in Java, starting from abstract models that can be verified formally. The main novelty of this approach stands in the use of Java as both a modeling language and the implementation language. The JavaSPI framework is validated by implementing a scenario of the SSL protocol. The JavaSPI implementation can successfully interoperate with OpenSSL, and has comparable execution time with the standard Java JSSE library.


Sign in / Sign up

Export Citation Format

Share Document