10159 search results - page 235 / 2032 » System Design Validation Using Formal Models |
131
click to vote
ICECCS
2005
IEEE
15 years 8 months ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...
135
click to vote
ESORICS
2002
Springer
16 years 2 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
180
click to vote
TFM
2009
Springer
15 years 9 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
142
click to vote
FASE
2000
Springer
15 years 6 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
129
click to vote
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...