8083 search results - page 261 / 1617 » A Formalization of Software Architecture |
156
click to vote
HYBRID
1992
Springer
15 years 10 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
188
click to vote
ICTAC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
240
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...
171
click to vote
SFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
168
click to vote
SERA
2007
Springer
16 years 21 days ago
2007
Springer
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...