3045 search results - page 92 / 609 » Formal Approaches to Software Architecture |
COMPSAC
2005
IEEE
15 years 4 months ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
SAC
2010
ACM
15 years 4 months ago
2010
ACM
This paper describes the concept of software adaptation patterns and how they can be used in software adaptation of serviceoriented architectures. The patterns are described in te...
102
Voted
APSEC
2009
IEEE
14 years 8 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
FASE
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
EWSA
2006
Springer
15 years 2 months ago
2006
Springer
In this paper, we present a pattern-based software development method that preserves usability and security quality characteristics using a role-driven mapping of requirements anal...