8828 search results - page 85 / 1766 » Formal methods in practice |
126
click to vote
INFSOF
2002
15 years 3 months ago
2002
The software architecture of a system has influences against various software characteristics of the system such as efficiency, reliability, maintainability, and etc.. For support...
159
click to vote
ISESE
2002
IEEE
15 years 9 months ago
2002
IEEE
Organisational problems in industry have evoked increased interest in empirical methodologies in the broader software engineering community. In particular, the human role in softw...
158
click to vote
COMPSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
Java programs distributed through Internet are now suffering from program theft. It is because Java programs can be easily decomposed into reusable class files and even decompiled...
143
click to vote
ALGORITHMICA
2008
15 years 4 months ago
2008
The notion of -kernel was introduced by Agarwal et al. [5] to set up a unified framework for computing various extent measures of a point set P approximately. Roughly speaking, a ...
125
click to vote
APSEC
2006
IEEE
15 years 10 months ago
2006
IEEE
Software projects typically require effort estimation from the Software Development Life Cycle (SDLC) staff at the commencement of the software development activities. Inaccuracie...