3045 search results - page 175 / 609 » Formal Approaches to Software Architecture |
ECMDAFA
2005
Springer
15 years 4 months ago
2005
Springer
Queries on software artifacts play an important role in novel software development approaches, such as Aspect-Oriented Software Development and OMG's Model Driven Architecture...
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
The principle goal of our research project is to improve the availability of service-oriented systems. This is especially important in systems that cross organizational boundaries...
WETICE
2006
IEEE
15 years 5 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
69
Voted
ENTCS
2010
14 years 11 months ago
2010
We present a novel specification language called JDC to be used at design phase of distributed components. The extensive seek for asynchrony in distributed components demands new ...
ASM
2010
ASM
15 years 6 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...