Sciweavers

696 search results - page 92 / 140
» Model driven development with Ada
Sort
View
VL
2009
IEEE
126views Visual Languages» more  VL 2009»
14 years 4 months ago
A graphical approach for modeling time-dependent behavior of DSLs
Domain specific languages (DSLs) play a cornerstone Model-Driven Software Development. The abstract syntax of a DSL is usually defined by a metamodel, while inplace model transf...
José Eduardo Rivera, Francisco Durán...
ICECCS
2005
IEEE
89views Hardware» more  ICECCS 2005»
14 years 2 months ago
A Tool-Supported Approach to Testing UML Design Models
For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diag...
Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh,...
ICSE
1994
IEEE-ACM
14 years 1 months ago
On Formal Requirements Modeling Languages: RML Revisited
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
Sol J. Greenspan, John Mylopoulos, Alexander Borgi...
IJSYSC
2008
82views more  IJSYSC 2008»
13 years 9 months ago
Supply-chain modelling and control under proportional inventory-replenishment policies
A novel state-space model of a multi-node supply chain is presented, controlled via local proportional inventory-replenishment policies. The model is driven by a stochastic sequen...
C. I. Papanagnou, G. D. Halikias
ISSRE
2006
IEEE
14 years 3 months ago
A Systematic Approach to Generate Inputs to Test UML Design Models
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. Fran...