5668 search results - page 381 / 1134 » Overlaps in Requirements Engineering |
180
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Software miniaturization is a form of software refactoring focused on reducing an application to the bare bone. Porting an application on a hand-held device is very likely to requ...
187
Voted
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Unit testing is a technique of testing a single unit of a program in isolation. The testability of the unit under test can be reduced when the unit interacts with its environment....
163
Voted
SEKE
2001
Springer
15 years 11 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
159
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents a strategy for structural testing of objectoriented software systems with possibly unknown clients and unknown information about invoked methods. By exploiting...
195
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...