3045 search results - page 176 / 609 » Formal Approaches to Software Architecture |
118
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
The essence of any modeling approach for product line architectures lies in its ability to express variability. Existing approaches do so by explicitly specifying variation points...
111
click to vote
EWSA
2006
Springer
15 years 3 months ago
2006
Springer
Software architectures are often designed with respect to some architecture patterns, like the pipeline and peer-to-peer. These patterns are the guarantee of some quality attribute...
ECSA
2010
Springer
15 years 12 days ago
2010
Springer
Abstract. The importance of modelling the dynamic architectural characteristics of software systems has long been recognised. However, the nature of the dynamic architectural chara...
APSEC
2000
IEEE
15 years 3 months ago
2000
IEEE
Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a w...