3579 search results - page 182 / 716 » Transformations of software models into performance models |
198
click to vote
AOSD
2008
ACM
15 years 7 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
143
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
The dream of Model Driven Engineering (MDE) is that Software Engineering activities should be performed only on models, but in practice a significant amount of programming is still...
176
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
138
click to vote
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
147
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. This paper presents techniques and tools to transform spreadsheets into relational databases and back. A set of data refinement rules is introduced to map a tabular data...