3045 search results - page 64 / 609 » Formal Approaches to Software Architecture |
FM
2008
Springer
15 years 11 days ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
PST
2008
15 years 7 days ago
2008
In this paper, we propose an approach for systematic security hardening of software based on aspect-oriented programming and Gimple language. We also present the first steps towar...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Deriving requirements and architecture in concert implies the joint elicitation and specification of the problem and the structure of the solution. In this paper we argue that suc...
RISE
2005
Springer
15 years 4 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
SPLC
2008
15 years 7 days ago
2008
We highlight some of the challenges in valuing flexibility and investment decisions in Software Product Line Architectures (SPLA). We explain the limitations of traditional approa...