2342 search results - page 2 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
HICSS
1999
IEEE
15 years 1 months ago
1999
IEEE
As data mining evolves and matures more and more businesses are incorporating this technology into their business practices. However, currently data mining and decision support so...
103
click to vote
WCRE
2003
IEEE
15 years 2 months ago
2003
IEEE
The inherent differences between C++ and Java programs dictate that the methods used for reverse engineering their compiled executables will be languagespecific. This paper looks ...
QSIC
2005
IEEE
15 years 3 months ago
2005
IEEE
Software inspections are established means of ensuring quality in software engineering. The traditional paper-based inspections are considered too laborious for widespread usage, ...
APSEC
1997
IEEE
15 years 1 months ago
1997
IEEE
The problems posed by mission-critical legacy systems - brittleness, inflexibility, isolation, non-extensibility, lack of openness etc. - are well known, but practical solutions h...
SIGADA
2005
Springer
15 years 3 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...