3828 search results - page 524 / 766 » Proof-Based System Engineering Using a Virtual System Model |
200
click to vote
WER
2005
Springer
16 years 5 days ago
2005
Springer
This paper describes a method for requirements elicitation based on goals for electronic commerce systems in agreement with security and privacy polices of the site. The method in...
190
click to vote
COMPSAC
2003
IEEE
16 years 2 hour ago
2003
IEEE
The parameters in these software reliability models are usually directly obtained from the field failure data. Due to the dynamic properties of the system and the insufficiency of...
140
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
When a software system critical for an organization exhibits a problem during its operation, it is relevant to fix it in a short period of time, to avoid serious economical losse...
183
click to vote
AGILEDC
2006
IEEE
16 years 23 days ago
2006
IEEE
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
191
click to vote
ISPASS
2010
IEEE
16 years 1 months ago
2010
IEEE
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...