1129 search results - page 176 / 226 » Formal Verification of Websites |
107
Voted
ICSE
2004
IEEE-ACM
15 years 7 months ago
2004
IEEE-ACM
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...
98
Voted
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
We propose a method for local search of Boolean relations relating variables of a CNF formula. The method is to branch on small subsets of the set of CNF variables and to analyze ...
104
click to vote
CBSE
2009
Springer
15 years 6 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
103
click to vote
CODES
2000
IEEE
15 years 6 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
104
click to vote
DATE
2000
IEEE
15 years 6 months ago
2000
IEEE
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...