1199 search results - page 3 / 240 » Software Verification and Software Engineering a Practitione... |
SIGSOFT
2010
ACM
13 years 4 months ago
2010
ACM
Mining software engineering data has emerged as a successful research direction over the past decade. In this position paper, we advocate Software Intelligence (SI) as the future ...
ICECCS
2007
IEEE
13 years 10 months ago
2007
IEEE
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
FASE
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects...
EUROMICRO
2007
IEEE
14 years 1 months ago
2007
IEEE
Component-based software engineering (CBSE) and service-oriented software engineering (SOSE) are two of the most dominant engineering paradigms in current software community and i...
ICSM
2002
IEEE
13 years 12 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....