22698 search results - page 120 / 4540 » Modeling in Software Engineering |
129
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
123
Voted
ESEM
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents the findings of a survey on quality models in practice conducted among four software companies in Germany. In the first phase of the study, 25 quality manage...
147
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Given the dizzying pace of change in computer science, trying to look too far into the future of software engineering is hard. However, it might be possible to predict the future ...
152
click to vote
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
Advances in Internet and the availability of powerful computers and high-speed networks have propitiated the rise of Grids. The scheduling of applications is complex in Grids due ...
129
click to vote
COMPSAC
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper, we first show that the logistic testing-effort function is practically acceptable/helpful for modeling software reliability growth and providing a reasonable descri...