Sciweavers

1162 search results - page 70 / 233
» Specifying Reusable Components
Sort
View
FMCO
2006
Springer
109views Formal Methods» more  FMCO 2006»
15 years 1 months ago
Model-Based Testing of Environmental Conformance of Components
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
Lars Frantzen, Jan Tretmans
WWW
2007
ACM
15 years 10 months ago
Turning portlets into services: the consumer profile
Portlets strive to play at the front end the same role that Web services currently enjoy at the back end, namely, enablers of application assembly through reusable services. Howev...
Oscar Díaz, Salvador Trujillo, Sandy P&eacu...
ISQED
2003
IEEE
96views Hardware» more  ISQED 2003»
15 years 3 months ago
Impact of Interoperability on CAD-IP Reuse: An Academic Viewpoint
Mind-boggling complexity of EDA tools necessitates reuse of intellectual property in any large-scale commercial or academic operation. However, due to the nature of software, a to...
Andrew B. Kahng, Igor L. Markov
LOBJET
2008
104views more  LOBJET 2008»
14 years 9 months ago
Une approche formelle de la reconfiguration dynamique
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
M. Simonot, M. Aponte
SAC
2005
ACM
15 years 3 months ago
A case study on building COTS-based system using aspect-oriented programming
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...
Axel Anders Kvale, Jingyue Li, Reidar Conradi