Sciweavers

3410 search results - page 161 / 682
» Measuring Model Transformation in Model Driven Development
Sort
View
WSC
1998
15 years 7 months ago
An Approach to Ranking and Selection for Multiple Performance Measures
In this paper, we develop a ranking and selection procedure for making multiple comparisons of systems that have multiple performance measures. The procedure combines multiple att...
Douglas J. Morrice, John C. Butler, Peter W. Mulla...
ICSE
1994
IEEE-ACM
15 years 10 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»
15 years 6 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
16 years 12 days 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...
ENTCS
2007
111views more  ENTCS 2007»
15 years 6 months ago
Reversibility and Models for Concurrency
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
Iain Phillips, Irek Ulidowski