9006 search results - page 411 / 1802 » Modeling Software |
192
click to vote
JCST
2011
15 years 1 months ago
2011
Software defect detection aims to automatically identify defective software modules for efficient software test in order to improve the quality of a software system. Although many...
185
click to vote
SE
2008
15 years 8 months ago
2008
: Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. One advantage that is promoted by the MDSD community i...
163
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
186
click to vote
EUROMICRO
2005
IEEE
16 years 12 days 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...
184
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...