1988 search results - page 285 / 398 » Engineering formal metatheory |
165
click to vote
APSEC
2005
IEEE
16 years 1 days ago
2005
IEEE
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
156
click to vote
COMPSAC
2005
IEEE
16 years 1 days ago
2005
IEEE
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...
186
click to vote
ISPW
2005
IEEE
16 years 13 hour ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
141
click to vote
IWPC
2005
IEEE
16 years 11 hour ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
160
click to vote
KBSE
2005
IEEE
16 years 11 hour ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...