8627 search results - page 403 / 1726 » Software Engineering Using RATionale |
154
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
140
click to vote
MSR
2006
ACM
16 years 22 days ago
2006
ACM
The number of bugs (or fixes) is a common factor used to measure the quality of software and assist bug related analysis. For example, if software files have many bugs, they may b...
189
click to vote
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
Our current concern is a scalable infrastructure for information retrieval (IR) with up-to-date retrieval results in the presence of frequent, continuous updates. Timely processin...
180
click to vote
DRM
2007
Springer
16 years 29 days ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
180
click to vote
SOFTVIS
2003
ACM
16 years 23 hour ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...