746 search results - page 51 / 150 » Formal Analysis of UML-Based Designs |
109
Voted
WOSP
2004
ACM
15 years 7 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
86
Voted
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...
130
click to vote
IFM
2010
Springer
15 years 11 days ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
110
Voted
CSMR
2004
IEEE
15 years 5 months ago
2004
IEEE
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...
118
click to vote
FDL
2011
IEEE
14 years 1 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...