Sciweavers

5457 search results - page 297 / 1092
» Software Component Independence
Sort
View
FMOODS
2003
15 years 6 months ago
Managing the Evolution of .NET Programs
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...
Susan Eisenbach, Vladimir Jurisic, Chris Sadler
FASE
2009
Springer
15 years 8 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
SMI
2003
IEEE
138views Image Analysis» more  SMI 2003»
15 years 10 months ago
Higher Order Prediction for Geometry Compression
A lot of techniques have been developed for the encoding of triangular meshes as this is a widely used representation for the description of surface models. Although methods for t...
Stefan Gumhold, Rachida Amjoun
118
Voted
ISPW
2006
IEEE
15 years 10 months ago
A Value-Based Software Process Framework
This paper presents a value-based software process framework that has been derived from the 4+1 theory of value-based software engineering (VBSE). The value-based process framework...
Barry W. Boehm, Apurva Jain
DATE
2010
IEEE
201views Hardware» more  DATE 2010»
15 years 9 months ago
COTS-based applications in space avionics
—The use of commercial electronic components is increasingly attractive for the space domain. This paper discusses the current degree of use of these components in space avionics...
Michel Pignol