396 search results - page 7 / 80 » A Software Component Model and Its Preliminary Formalisation |
195
Voted
CSMR
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Adapting software components usable by a particular application is a crucial issue in software component based technology. In fact, software components can be used in c...
205
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
214
click to vote
IEE
2010
15 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 ...
229
click to vote
MIDDLEWARE
2004
Springer
16 years 23 days ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
180
Voted
SIGSOFT
1993
ACM
15 years 11 months ago
1993
ACM
1 Many software libraries (e.g., the Booch C++ Components, libg++, NIHCL, COOL) provide components (classes) that implement data structures. Each component is written by hand and r...