1926 search results - page 264 / 386 » Modeling and Model Checking Software Product Lines |
153
click to vote
ICLP
2004
Springer
15 years 9 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
121
click to vote
ISESE
2006
IEEE
15 years 10 months ago
2006
IEEE
How do design decisions impact the quality of the resulting software? In an empirical study of 52 ECLIPSE plug-ins, we found that the software design as well as past failure histo...
104
Voted
WSC
1997
15 years 5 months ago
1997
This paper describes how the Visual Simulation Environment (VSE) technology has been transferred into a commercial product. The VSE has been created under research funding, primar...
147
Voted
ICCBSS
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we propose a taxonomy for classifying COTS business applications, i.e. products that are used in the daily functioning of all types of organizations worldwide, such a...
145
Voted
WORM
2003
15 years 5 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...