KBSE
2008
IEEE
14 years 5 months ago
2008
IEEE
The Design Exploration (DE) approach allows a large number of probable end users to communicate with software developers by creating mockups of user interfaces and augmenting the ...
KBSE
2008
IEEE
14 years 5 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
KBSE
2008
IEEE
14 years 5 months ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
KBSE
2008
IEEE
14 years 5 months ago
2008
IEEE
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...
KBSE
2008
IEEE
14 years 5 months ago
2008
IEEE
—In spite of the modularization benefits supported by the Aspect-Oriented programming paradigm, different usability issues have hindered its adoption. The decoupling between asp...
KBSE
2008
IEEE
14 years 5 months ago
2008
IEEE
KBSE
2008
IEEE
14 years 5 months ago
2008
IEEE
Designing and maintaining a huge class model is a very complex task. When an object oriented software or model becomes bigger and bigger, duplicated elements start to appear, decr...
KBSE
2008
IEEE
14 years 5 months ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
KBSE
2008
IEEE
14 years 5 months ago
2008
IEEE
KBSE
2008
IEEE
14 years 5 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...