6581 search results - page 153 / 1317 » Formalizing Design Patterns |
133
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
Pervasive Logic is a broad term applied to the variety of logic present in hardware designs, yet not a part of their primary functionality. Examples of pervasive logic include init...
121
click to vote
WICSA
2008
15 years 4 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
133
click to vote
FTRTFT
1998
Springer
15 years 7 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
128
click to vote
VL
1999
IEEE
15 years 7 months ago
1999
IEEE
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...
101
click to vote
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...