3376 search results - page 282 / 676 » Analyzing Software Evolvability |
196
click to vote
SELMAS
2005
Springer
16 years 2 days ago
2005
Springer
Despite the relevance of the concept of role for conceptual modeling and agent-orientation, there is still in the literature a lack of consensus on the meaning of this notion and h...
162
click to vote
WCE
2007
15 years 7 months ago
2007
Staff attrition is a problem often faced by software development organizations. We used process modeling and simulation to estimate the effect of different staffing policies on th...
160
click to vote
ETS
2002
IEEE
15 years 6 months ago
2002
IEEE
IT-giftedness represents abilities related with widely differing uses of information technologies (IT). Children and adolescents often exhibit surprising abilities in the use of c...
185
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
159
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...