10908 search results - page 24 / 2182 » Requirements Engineering Tasks |
CODES
2010
IEEE
13 years 5 months ago
2010
IEEE
The last years have shown that there is no way to disregard the advantages provided by multiprocessor System-on-Chip (MPSoC) architectures in the embedded systems domain. Using mu...
TPHOL
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
RE
2007
Springer
14 years 1 months ago
2007
Springer
