488 search results - page 54 / 98 » ST-Tool: A CASE Tool for Security Requirements Engineering |
CSMR
2006
IEEE
15 years 5 months ago
2006
IEEE
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Grid computing allows the utilization of vast computational resources for solving complex scientific and engineering problems. However, development tools for Grid applications are...
HICSS
1997
IEEE
15 years 4 months ago
1997
IEEE
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
121
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...