1026 search results - page 55 / 206 » Software Engineering for Self-Adaptive Systems: A Research R... |
103
click to vote
SP
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
ECSA
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Usage and exploitation of the Internet is a critical requirement for managing and distributing valuable digital assets. This requirement introduces a great number of thre...
ICSM
1999
IEEE
15 years 4 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
Pedagogies such as the Personal Software Process (PSP) shift metrics definition, collection, and analysis from the organizational level to the individual level. While case study r...
104
click to vote
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...