6581 search results - page 41 / 1317 » Formalizing Design Patterns |
124
Voted
VL
2010
IEEE
15 years 25 days ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
116
Voted
HICSS
2009
IEEE
15 years 9 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
123
click to vote
FMCAD
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
127
click to vote
IJNSEC
2008
15 years 2 months ago
2008
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
119
click to vote
EUROMICRO
1996
IEEE
15 years 6 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...