6581 search results - page 44 / 1317 » Formalizing Design Patterns |
114
Voted
TELSYS
2002
15 years 2 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
116
click to vote
IRI
2003
IEEE
15 years 7 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
122
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
RSP
1999
IEEE
15 years 6 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
108
click to vote
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...