10159 search results - page 142 / 2032 » System Design Validation Using Formal Models |
147
click to vote
STEP
2003
IEEE
15 years 7 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
112
click to vote
SAFECOMP
2007
Springer
15 years 8 months 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...
131
click to vote
QSIC
2005
IEEE
15 years 7 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
105
click to vote
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
202
click to vote
ICDE
2006
IEEE
16 years 3 months ago
2006
IEEE
XML schema design has two opposing goals: elimination of update anomalies requires that the schema be as normalized as possible; yet higher query performance and simpler query exp...