561 search results - page 12 / 113 » A Constructive Approach to Testing Model Transformations |
IEE
2007
14 years 10 months ago
2007
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
BDIM
2007
IEEE
15 years 4 months ago
2007
IEEE
IT organizations are facing significant business and technical challenges today. On the business realm, companies are increasingly outsourcing their IT operations to specialized I...
ICDE
2011
IEEE
14 years 1 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
COMPSAC
2009
IEEE
14 years 7 months ago
2009
IEEE
1 The paper proposes a new test model, Call-For-Testing (CFT), and applies it to User Acceptance Testing (UAT) of Web Applications. Different from traditional approaches, UAT in th...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...