785 search results - page 9 / 157 » Using Multiple Levels of Abstractions in Embedded Software D... |
ICSM
2006
IEEE
15 years 3 months ago
2006
IEEE
Facts extracted from source code have been used to support a variety of software engineering activities, ranging from architectural understanding, through detection of design patt...
IASTEDSE
2004
14 years 11 months ago
2004
This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...
103
click to vote
CODES
2011
IEEE
13 years 9 months ago
2011
IEEE
The paper presents an overview of a major research project on dependable embedded systems that has started in Fall 2010 and is running for a projected duration of six years. Aim i...
TCAD
2008
14 years 9 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
113
click to vote
FDL
2004
IEEE
15 years 1 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...