147 search results - page 1 / 30 » Effective Realization of Software Architectural Styles with ... |
WICSA
2008
13 years 6 months ago
2008
Architecture-based software development is the implementation of a software system in terms of its architectural constructs (e.g., components, connectors, ports). It has been show...
COMPSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
Architecture-based software development is the implementation of a software system in terms of its architectural constructs (e.g., components, connectors, ports). It has been show...
AOSD
2009
ACM
13 years 9 months ago
2009
ACM
CBSE
2006
Springer
13 years 8 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
EDOC
2009
IEEE
13 years 8 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...