3330 search results - page 89 / 666 » software 2010 |
97
Voted
FASE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
161
Voted
TSE
2010
14 years 9 months ago
2010
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...
131
click to vote
SIGSOFT
2010
ACM
15 years 10 days ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
140
click to vote
IJHCR
2010
14 years 11 months ago
2010
This paper presents a middleware platform allowing the dissemination of software components on handheld devices forming a disconnected MANET. It is based on a model that exploits ...
135
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
I summarize some personal observations on the topic of automated software design and synthesis that I accumulated over twenty years. They are intended to alert researchers to pitf...