2025 search results - page 80 / 405 » Software performance modelling using PEPA nets |
100
click to vote
ICECCS
2009
IEEE
15 years 7 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
121
Voted
SPIN
1999
Springer
15 years 4 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
217
Voted
CASES
2011
ACM
14 years 16 days ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
107
click to vote
JSS
2008
15 years 2 days ago
2008
Analysis of anomalies reported during testing of a project can tell a lot about how well the processes and products work. Still, organizations rarely use anomaly reports for more t...
102
click to vote
CHI
2008
ACM
15 years 2 months ago
2008
ACM
In recent years, the software engineering community has begun to study program navigation and tools to support it. Some of these navigation tools are very useful, but they lack a ...