147 search results - page 1 / 30 » Effective Realization of Software Architectural Styles with ... |
WICSA
2008
13 years 8 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
14 years 1 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
14 years 4 days ago
2009
ACM
CBSE
2006
Springer
13 years 11 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 11 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...