9006 search results - page 86 / 1802 » Modeling Software |
106
Voted
IASTEDSEA
2004
15 years 3 months ago
2004
Today's software faces escalating technical and business difficulties, yet it continues to be coded in static, inflexible structures that are not prepared for automation and ...
121
click to vote
ICMT
2009
Springer
15 years 9 months ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
ICSM
2003
IEEE
15 years 7 months ago
2003
IEEE
The world of software development has rapidly changed in the last few years due to the adoption of component-based technologies. The classical software configuration management, ...
123
click to vote
DSML
2008
15 years 3 months ago
2008
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
115
click to vote
TAICPART
2006
IEEE
15 years 8 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...