848 search results - page 66 / 170 » A Formal Monitoring-Based Framework for Software Development... |
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
JCIT
2008
13 years 8 months ago
2008
Lack of time and capital for software testing is an oft encountered problem in most organizations. The plethora of possible test cases for each software component makes software t...
IEEEARES
2007
IEEE
14 years 3 months ago
2007
IEEE
The importance of critical systems has been widely recognized and several efforts are devoted to integrate dependability requirements in their development process. Such efforts re...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Many languages for software architectures have been proposed, each dealing with different stakeholder concerns, operating at different levels of abstraction and with different deg...
ICSM
2002
IEEE
14 years 1 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....