7202 search results - page 990 / 1441 » Software System Engineering: A Tutorial |
186
click to vote
ADAEUROPE
2005
Springer
16 years 13 days ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
165
click to vote
ISSTA
2004
ACM
16 years 9 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
177
click to vote
IUI
2004
ACM
16 years 9 days ago
2004
ACM
In order to give people ubiquitous access to software applications, device controllers, and Internet services, it will be necessary to automatically adapt user interfaces to the c...
182
click to vote
CODES
2003
IEEE
16 years 5 days ago
2003
IEEE
The analysis of the amount of human resources required to complete a project is felt as a critical issue in any company of the electronics industry. In particular, early estimatin...
185
click to vote
QSIC
2003
IEEE
16 years 4 days ago
2003
IEEE
In this paper, we consider a problem that arises in black box testing: generating small test suites (i.e., sets of test cases) where the combinations that have to be covered are s...