Sciweavers

678 search results - page 38 / 136
» Extended Traits for Model Driven Software Development
Sort
View
72
Voted
COMPSAC
2002
IEEE
15 years 5 months ago
Requirements Driven Quality Control
The paper aims at presenting a method of controlling software quality attributes driven by the set of requirements. This is done in three steps: specifying all the requirements, ma...
Stanislaw Szejko
76
Voted
IEAAIE
2005
Springer
15 years 6 months ago
A Holistic Approach to Test-Driven Model Checking
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
Fevzi Belli, Baris Güldali
93
Voted
JOT
2006
113views more  JOT 2006»
15 years 13 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...
93
Voted
ICMT
2009
Springer
15 years 5 months ago
Solving Constraints in Model Transformations
Abstract. Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, bu...
Andreas Petter, Alexander Behring, Max Mühlh&...
100
Voted
QOSA
2007
Springer
15 years 6 months ago
Extending the Capabilities of Component Models for Embedded Systems
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
Ihor Kuz, Yan Liu