6581 search results - page 49 / 1317 » Formalizing Design Patterns |
141
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
102
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
108
click to vote
FMOODS
2007
15 years 4 months ago
2007
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
118
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
In the field of chip design, hardware module reuse is a standard solution to the increasing complexity of chip architecture and the pressures to reduce time to market. In the abs...
150
click to vote
ASWEC
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...