1823 search results - page 147 / 365 » Formal specification: a roadmap |
161
click to vote
FDL
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
167
click to vote
ACL
2008
15 years 8 months ago
2008
Expert search, in which given a query a ranked list of experts instead of documents is returned, has been intensively studied recently due to its importance in facilitating the ne...
154
click to vote
WSC
2004
15 years 7 months ago
2004
Cell-DEVS enables efficient execution of complex cellular models. The goal of Cell-DEVS is to build discrete-event cell spaces, improving their definition by making the timing spe...
153
click to vote
WSC
1998
15 years 7 months ago
1998
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...
159
click to vote
ROOM
2000
15 years 7 months ago
2000
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...