352 search results - page 12 / 71 » Model-Based Development: Combining Engineering Approaches an... |
99
Voted
ICSM
2006
IEEE
15 years 5 months ago
2006
IEEE
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...
85
Voted
IWSAS
2001
Springer
15 years 4 months ago
2001
Springer
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...
EUROMICRO
2005
IEEE
15 years 5 months ago
2005
IEEE
Many component models have been proposed to address the challenge of reducing software development time and costs. Such models often offer similar functionality. We study how deve...
VSTTE
2010
Springer
14 years 9 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
FATES
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...