10908 search results - page 511 / 2182 » Requirements Engineering Tasks |
128
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
158
click to vote
KBSE
2009
IEEE
16 years 8 days ago
2009
IEEE
—Usability analysis is an important step in software development in order to improve certain aspects of the system. However, it is often a challenge especially when it comes to e...
130
click to vote
ICSM
2009
IEEE
16 years 6 days ago
2009
IEEE
This appendix contains the details of our case studies out lined in our paper for the 2009 International Conference on Software Maintenance, as well as an expanded discussion se...
168
click to vote
CISIS
2008
IEEE
16 years 1 days ago
2008
IEEE
The new era of multi-core processing challenges software designers to efficiently exploit the parallelism that is now massively available. Programmers have to exchange the conven...
147
click to vote
ICST
2008
IEEE
15 years 12 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...