TASE
2008
IEEE
13 years 7 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
SAC
2008
ACM
13 years 7 months ago
2008
ACM
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
In a system development, the knowledge of a target business is very important factor for the success of a development. The needed part of such knowledge is different for each stak...
RE
2008
Springer
13 years 7 months ago
2008
Springer
Representation and reasoning about goals of an information system unavoidably involve the transformation of unclear stakeholder requirements into an instance of a goal model. If t...
RE
2008
Springer
13 years 7 months ago
2008
Springer
Abstract During the selection of commercial off-theshelf (COTS) products, mismatches encountered between stakeholders' requirements and features offered by COTS products are i...
RE
2008
Springer
13 years 7 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
RE
2008
Springer
13 years 7 months ago
2008
Springer
