Sciweavers

353 search results - page 22 / 71
» Model-Driven Visual Requirements Engineering
Sort
View
JOT
2006
113views more  JOT 2006»
13 years 9 months 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...
ICHIT
2009
Springer
14 years 4 months ago
Middleware-based distributed systems software process
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
Liu Jingyong, Zhong Yong, Chen Yong, Zhang Lichen
ER
2009
Springer
316views Database» more  ER 2009»
14 years 1 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....
ECMDAFA
2005
Springer
96views Hardware» more  ECMDAFA 2005»
14 years 3 months ago
MDA Components: A Flexible Way for Implementing the MDA Approach
As the Model Driven Development (MDD) and Product Line Engineering (PLE) appear as major trends for reducing software development complexity and costs, an important missing stone b...
Reda Bendraou, Philippe Desfray, Marie-Pierre Gerv...
B
2007
Springer
14 years 3 months ago
A Generic Flash-Based Animation Engine for ProB
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Jens Bendisposto, Michael Leuschel