3045 search results - page 128 / 609 » Formal Approaches to Software Architecture |
DSVIS
1998
Springer
15 years 3 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
CASES
2006
ACM
15 years 2 months ago
2006
ACM
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...
ICRA
2005
IEEE
15 years 4 months ago
2005
IEEE
- This paper presents an approach to utilize UPnP as a middleware for robots. It describes the advantages of UPnP by comparing UPnP with TAO CORBA that was used in a few robot deve...
111
Voted
IWPC
2008
IEEE
15 years 5 months ago
2008
IEEE
As an object-oriented system evolves, its architecture tends to drift away from the original design. Knowledge of how the system has changed at coarse-grained levels is key to und...
SELMAS
2004
Springer
15 years 4 months ago
2004
Springer
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requi...