10159 search results - page 410 / 2032 » System Design Validation Using Formal Models |
153
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper gives an overview of a transaction level modeling (TLM) design flow for straightforward embedded system design with SystemC. The goal is to systematically develop both...
180
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
134
click to vote
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these mode...
137
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
189
click to vote
ICSEA
2009
IEEE
15 years 2 months ago
2009
IEEE
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...