746 search results - page 41 / 150 » Formal Analysis of UML-Based Designs |
172
click to vote
UML
1999
Springer
15 years 10 months ago
1999
Springer
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
168
click to vote
SAFECOMP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
166
click to vote
TSE
2008
15 years 6 months ago
2008
This paper presents a framework for security requirements elicitation and analysis. The framework is based on constructing a context for the system, representing security requireme...
132
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
The desynchronization approach combines a traditional synchronous specification style with a robust asynchronous implementation model. The main contribution of this paper is the d...
183
click to vote
EGICE
2006
15 years 10 months ago
2006
This paper describes an initial application of Multi-Attribute Collective Decision Analysis for a Design Initiative (MACDADI) on the feasibility study of a mixed-use facility. Firs...