3045 search results - page 104 / 609 » Formal Approaches to Software Architecture |
107
click to vote
MOMPES
2007
IEEE
15 years 5 months ago
2007
IEEE
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
USS
2010
14 years 9 months ago
2010
Software Fault Isolation (SFI) is an effective approach to sandboxing binary code of questionable provenance, an interesting use case for native plugins in a Web browser. We prese...
104
Voted
CSE
2009
IEEE
15 years 5 months ago
2009
IEEE
—Attacks on software systems are an increasingly serious problem from an economic and security standpoint. Many techniques have been proposed ranging from simple compiler modifi...
SACMAT
2006
ACM
15 years 5 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
IFIP
1998
Springer
15 years 3 months ago
1998
Springer
Current object-oriented development practice is centered around application frameworks. In this paper, we argue that this approach is misleading, as it distracts from the ultimate...