8623 search results - page 262 / 1725 » Software engineering for secure systems |
199
click to vote
ICSE
1994
IEEE-ACM
15 years 10 months ago
1994
IEEE-ACM
The concept of systematic software reuse is simple: the idea of building and using "software preferred parts." By building systems out of carefully designed, pre-tested ...
189
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
147
click to vote
SCS
2003
15 years 8 months ago
2003
Systems whose failure can lead to the damage of property or the environment, or loss of human life are regarded as safety-critical systems. It is no longer adequate to build safet...
157
click to vote
IWPSE
2003
IEEE
15 years 12 months ago
2003
IEEE
It is remarkable to think that even without any interest in finding suitable methods and concepts that would allow complex software systems to evolve and remain manageable, the e...
160
Voted
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
One of the challenges of reverse engineering is the extraction of a specification from source code. Our work proposes a singular approach to the construction of reverse engineerin...