492 search results - page 89 / 99 » Automating software feature verification |
TOOLS
2009
IEEE
14 years 2 months ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
SIGCSE
2010
ACM
14 years 1 months ago
2010
ACM
Website security is essential for successful e-commerce ventures, but the vital “how-to” components of security are often lacking in academic courses. This paper describes our...
AICCSA
2006
IEEE
14 years 1 months ago
2006
IEEE
Poorly designed software systems are difficult to understand and maintain. Modifying code in one place could lead to unwanted repercussions elsewhere due to high coupling. Adding ...
ICDCS
2005
IEEE
14 years 28 days ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...
SADFE
2005
IEEE
14 years 27 days ago
2005
IEEE
With the rapid development of electronic commerce and Internet technology, cyber crimes have become more and more common. There is a great need for automated software systems that...