Search Sciweavers | Sciweavers

553 search results - page 3 / 111

» A Perspective on Component Refinement

click to vote

ICSE
1994
IEEE-ACM

81views Software Engineering» more ICSE 1994»

Storing and Retrieving Software Components: A Refinement Based System

13 years 10 months ago

Download www.inf.ufsc.br

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

claim paper

Read More »

click to vote

ENTCS
2002

105views more ENTCS 2002»

Towards component based systems: refining connectors

13 years 6 months ago

Download www.kestrel.edu

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

claim paper

Read More »

click to vote

ACS
2008

91views Distributed And Parallel Com...» more ACS 2008»

Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components

13 years 6 months ago

Download user.cs.tu-berlin.de

The integration of two important categorical frameworks

Julia Padberg

claim paper

Read More »

click to vote

CORR
2011
Springer

146views Education» more CORR 2011»

Refined bounds on the number of connected components of sign conditions on a variety

13 years 1 months ago

Download www.math.purdue.edu

Let R be a real closed ﬁeld, P, Q ⊂ R[X1, . . . , Xk] ﬁnite 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

claim paper

Read More »

click to vote

EUROMICRO
2009
IEEE

202views Software Engineering» more EUROMICRO 2009»

Constructing Domain-Specific Component Frameworks through Architecture Refinement

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers