9006 search results - page 82 / 1802 » Modeling Software |
108
Voted
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
115
Voted
SEKE
2004
Springer
15 years 7 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
153
click to vote
APN
2006
Springer
15 years 6 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
151
click to vote
WOSP
2005
ACM
15 years 8 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
119
click to vote
ECBS
2007
IEEE
15 years 8 months ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...