1376 search results - page 5 / 276 » Model-Driven Software Verification |
UML
2005
Springer
14 years 4 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
CIBSE
2009
ACM
14 years 3 months ago
2009
ACM
We present a mechanism to derivate products of Software Product Lines (SPLs) using decision models. Our approach to create SPLs is based on Model Driven Engineering principles. It ...
MODELS
2010
Springer
13 years 9 months ago
2010
Springer
Model-driven software development (MDSD) has been on the rise over the past few years and is becoming more and more mature. However, evaluation in real-life industrial context is s...
MODELS
2007
Springer
14 years 5 months ago
2007
Springer
As development techniques, paradigms and platforms evolve far more quickly than domain applications, software modernization and migration, is a constant challenge to software engin...
IWPC
2006
IEEE
14 years 4 months ago
2006
IEEE
Program comprehension tools are a valuable resource for navigating and understanding large software systems. Package explorers, fan-in / fan-out views, dependency graphs and cover...