8083 search results - page 84 / 1617 » A Formalization of Software Architecture |
SFM
2009
Springer
14 years 2 months ago
2009
Springer
DFG
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
COSIT
2009
Springer
14 years 2 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
VL
2010
IEEE
13 years 6 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
ICECCS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper discusses the requirements that a suitable formalism for dependability modeling/evaluation should possess. We also discuss the outline of Arcade, an architectural depen...