5228 search results - page 542 / 1046 » Case Studies for Software Engineers |
201
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
225
click to vote
ATVA
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
195
click to vote
DSN
2008
IEEE
15 years 9 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...
237
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
Embedded systems with heterogeneous processors extend the energy/timing trade-off flexibility and provide the opportunity to fine tune resource utilization for particular applicat...
184
click to vote
JCDL
2006
ACM
16 years 1 months ago
2006
ACM
The implications of using digital library software in educational contexts, for both the students and the software developers, are discussed in the light of two case studies of co...