1376 search results - page 91 / 276 » Generating UML Models from Domain Patterns |
122
click to vote
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
Model Driven Engineering has shown the feasibility to generate tools (editors, analyzers …) from models and for a domain. Unfortunately these generated tools are much focused wh...
146
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
129
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
129
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...
158
click to vote
JUCS
2010
15 years 1 months ago
2010
: Classical classification and clustering based on equivalence relations are very important tools in decision-making. An equivalence relation is usually determined by properties of...