553 search results - page 3 / 111 » A Perspective on Component Refinement |
ICSE
1994
IEEE-ACM
15 years 3 months ago
1994
IEEE-ACM
Software libraries are repositories which contain software components; as such, they represent a precious resource for the software engineer. As software libraries grow in size, it...
ENTCS
2002
14 years 11 months ago
2002
Component-oriented software development is becoming more and more important for the production of large-scale software applications. Today's systems are constructed by combin...
ACS
2008
14 years 12 months ago
2008
The integration of two important categorical frameworks
116
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Let R be a real closed field, P, Q ⊂ R[X1, . . . , Xk] finite subsets of polynomials, with the degrees of the polynomials in P (resp. Q) bounded by d (resp. d0). Let V ⊂ Rk b...
82
Voted
EUROMICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
