3045 search results - page 396 / 609 » Formal Approaches to Software Architecture |
242
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
182
click to vote
METRICS
2005
IEEE
16 years 9 days ago
2005
IEEE
Using OTS (Off-The-Shelf) components in software development has become increasingly popular in the IT industry. OTS components can be either COTS (Commercial-Off-The-Shelf), or O...
177
click to vote
ICWE
2005
Springer
16 years 7 days ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
165
click to vote
DEXAW
2003
IEEE
16 years 19 hour ago
2003
IEEE
The Internet has enabled a great amount of information to be readily available and easily accessible. It has promoted several changes in the world, including in the education area...
163
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
The purpose of this paper is to develop a exible design for test methodology for testing a core-based system on chip SOC . The novel feature of the approach is the use an embedde...