2342 search results - page 2 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
HICSS
1999
IEEE
13 years 11 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...
WCRE
2003
IEEE
14 years 5 days 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
14 years 15 days 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
13 years 11 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
14 years 12 days 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...