3045 search results - page 70 / 609 » Formal Approaches to Software Architecture |
ITCC
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper presents an approach to the architectural design and analysis of secure software systems based on the system requirements elicited in the form of use cases and misuse c...
96
Voted
ECSA
2010
Springer
14 years 9 months ago
2010
Springer
In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express v...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Requirements Engineering (RE) deals with the early phases of software engineering namely requirement elicitation, modeling, specification and validation. Architecture of a softwar...
79
Voted
ICSE
1998
IEEE-ACM
15 years 3 months ago
1998
IEEE-ACM
Continuous availability is a critical requirement for an important class of software systems. For these systems, runtime system evolution can mitigate the costs and risks associat...
100
click to vote
ESSOS
2010
Springer
15 years 7 months ago
2010
Springer
Static security analysis of software has made great progress over the last years. In particular, this applies to the detection of lowlevel security bugs such as buffer overflows,...