10159 search results - page 424 / 2032 » System Design Validation Using Formal Models |
118
click to vote
SIBGRAPI
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a system for collaborative conceptual design that allows users potentially located in geographically distant areas to cooperate by sketching, exploring and modifying the...
159
click to vote
EUROCRYPT
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. When designing password-authenticated key exchange protocols (as opposed to key exchange protocols authenticated using cryptographically secure keys), one must not allow ...
122
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
141
click to vote
PCI
2001
Springer
15 years 9 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
157
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
Most design recovery approaches start from analysing source code. Nonetheless, it is very difficult to get adequate design information only depending on source code. Additional av...