7103 search results - page 90 / 1421 » Components and Generative Programming |
TSE
1998
13 years 7 months ago
1998
MP
2010
13 years 6 months ago
2010
SQJ
2010
13 years 6 months ago
2010
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...
IEE
2010
13 years 6 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...