2127 search results - page 125 / 426 » Software Automation |
129
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...
151
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
166
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
168
click to vote
SOFSEM
2007
Springer
16 years 14 days ago
2007
Springer
Effective testing involves preparing test oracles and test cases, two activities which are too tedious to be effectively performed by humans, yet for the most part remain manual. T...
154
click to vote
SP
2005
IEEE
15 years 12 months ago
2005
IEEE
Self-checking software tamper resistance mechanisms employing checksums, including advanced systems as recently proposed by Chang and Atallah (2002) and Horne et al. (2002), have ...