3045 search results - page 60 / 609 » Formal Approaches to Software Architecture |
ESSOS
2010
Springer
15 years 7 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
SAC
2006
ACM
15 years 4 months ago
2006
ACM
The heterogeneity of architectural constraint languages makes difficult the transformation of architectural constraints throughout the development process. Indeed they have signiï...
PUK
2003
15 years 3 days ago
2003
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
ICSE
2001
IEEE-ACM
15 years 3 months ago
2001
IEEE-ACM
Over the past decade, software architecture research has emerged as the principled study of the overall structure of software systems, especially the relations among subsystems an...
IWSAPF
2000
15 years 2 months ago
2000
Product families promote reuse of software artifacts such as architectures, designs and implementations. Product family architectures are difficult to create due to the need to sup...