3579 search results - page 45 / 716 » Transformations of software models into performance models |
103
click to vote
PPAM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
107
click to vote
HASE
1999
IEEE
15 years 4 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
126
click to vote
SPLC
2007
15 years 1 months ago
2007
Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and implementing this kind of systems is a difficult opera...
128
click to vote
JCSS
2011
14 years 6 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
EDOC
2007
IEEE
15 years 6 months ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...