A Model-Driven Development Framework for Satellite On-Board Software

2021 ◽  
pp. 324-350
Author(s):  
Junxiang Qin ◽  
Ninghu Yang ◽  
Yuxuan Wang ◽  
Jun Yang ◽  
Jinliang Du
Keyword(s):  
Model Driven Development ◽  
Model Driven ◽  
Development Framework

scholarly journals Archetype Model-Driven Development Framework for EHR Web System

2013 ◽  
Vol 19 (4) ◽  
pp. 271 ◽  
Author(s):  
Shinji Kobayashi ◽  
Eizen Kimura ◽  
Ken Ishihara
Keyword(s):  
Model Driven Development ◽  
Model Driven ◽  
Development Framework ◽  
Web System

JavaSPI

2012 ◽  
pp. 225-239
Author(s):  
Matteo Avalle ◽  
Alfredo Pironti ◽  
Davide Pozza ◽  
Riccardo Sisto
Keyword(s):  
Execution Time ◽  
Security Protocol ◽  
Modeling Language ◽  
Model Driven Development ◽  
Model Driven ◽  
Development Framework ◽  
Ssl Protocol

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.

A model-driven development framework for enterprise Web services

2007 ◽  
Vol 9 (4) ◽  
pp. 391-409 ◽  
Author(s):  
Xiaofeng Yu ◽  
Yan Zhang ◽  
Tian Zhang ◽  
Linzhang Wang ◽  
Jun Hu ◽  
...  
Keyword(s):  
Web Services ◽  
Model Driven Development ◽  
Model Driven ◽  
Development Framework
Sign in / Sign up

Export Citation Format

Share Document