Sciweavers

3921 search results - page 80 / 785
» Transforming Models with ATL
Sort
View
VL
2005
IEEE
123views Visual Languages» more  VL 2005»
15 years 6 months ago
A Visually-Specified Code Generator for Simulink/Stateflow
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizh...
94
Voted
CSREASAM
2006
15 years 2 months ago
Flexible Cryptographic Component Design for Secure Web Applications
- Although Internet serves many contents and services, it has serious problems of security: the invasion of privacy, hacking and etc. To prevent these problems, two implementations...
Tae Ho Kim, Jong Jin Kim, Chang Hoon Kim, Chun Pyo...
94
Voted
JOT
2006
113views more  JOT 2006»
15 years 16 days ago
Constraint Validation in Model Compilers
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
László Lengyel, Tihamer Levendovszky...
MODELS
2007
Springer
15 years 6 months ago
GrTP: Transformation Based Graphical Tool Building Platform
In this paper we introduce a novel wide-profile graphical tool-building platform GrTP which is based on the principle of separating semantic domain model processing and user inter...
Janis Barzdins, Andris Zarins, Karlis Cerans, Audr...
127
Voted
ER
2009
Springer
316views Database» more  ER 2009»
15 years 4 months ago
XMI2USE: A Tool for Transforming XMI to USE Specifications
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M....