16725 search results - page 308 / 3345 » Engineering Software Correctness |
136
click to vote
FOSSACS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
165
click to vote
DRM
2005
Springer
15 years 9 months ago
2005
Springer
A software obfuscator is a program O to transform a source program P for protection against malicious reverse engineering. O should be correct (O(P) has same functionality with P)...
145
click to vote
ISESE
2005
IEEE
15 years 9 months ago
2005
IEEE
Component Based Software Engineering has been perceived to have immense reuse potential. This area has evoked wide interest and has led to considerable investment in research and ...
109
click to vote
RE
2001
Springer
15 years 8 months ago
2001
Springer
Evolutionary prototyping focuses on gathering a correct and consistent set of requirements. The process lends particular strength to building quality software by means of the ongo...
125
click to vote
ICSP
1993
15 years 5 months ago
1993
The importance of a clear conceptual and terminological framework for software process engineering and the shortcomings of previous clari cation attempts are discussed. A rst issu...