Sciweavers

553 search results - page 3 / 111
» A Perspective on Component Refinement
Sort
View
ICSE
1994
IEEE-ACM
15 years 6 months ago
Storing and Retrieving Software Components: A Refinement Based System
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...
Ali Mili, Rym Mili, Roland Mittermeir
ENTCS
2002
105views more  ENTCS 2002»
15 years 1 months ago
Towards component based systems: refining connectors
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...
Matthias Anlauff, Asuman Sünbül
80
Voted
ACS
2008
15 years 2 months ago
Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components
The integration of two important categorical frameworks
Julia Padberg
143
Voted
CORR
2011
Springer
146views Education» more  CORR 2011»
14 years 8 months ago
Refined bounds on the number of connected components of sign conditions on a variety
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...
Sal Barone, Saugata Basu
96
Voted
EUROMICRO
2009
IEEE
15 years 8 months ago
Constructing Domain-Specific Component Frameworks through Architecture Refinement
Frédéric Loiret, Ales Plsek, Philipp...