16725 search results - page 692 / 3345 » Engineering Software Correctness |
203
Voted
WCRE
1995
IEEE
15 years 11 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
177
click to vote
DAC
1999
ACM
16 years 8 months ago
1999
ACM
Due to the unavoidable need for system debugging, performance tuning, and adaptation to new standards, the engineering change (EC) methodology has emerged as one of the crucial co...
163
click to vote
ICCAD
2007
IEEE
16 years 4 months ago
2007
IEEE
—In the VLSI design process, a design implementation often needs to be corrected because of new specifications or design constraint violations. This correction process is referre...
175
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Spreadsheet engineering adapts the lessons of software engineering to spreadsheets, providing eight principles as a framework for organizing spreadsheet programming recommendation...
183
Voted
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring lan...