Search Sciweavers | Sciweavers

5457 search results - page 53 / 1092

» Software Component Independence

105

click to vote

EUROMICRO
2009
IEEE

164views Software Engineering» more EUROMICRO 2009»

Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks Using Models

15 years 10 months ago

Download soft.vub.ac.be

Carlos Noguera, Frédéric Loiret

claim paper

Read More »

118

Voted

SEFM
2008
IEEE

143views Software Engineering» more SEFM 2008»

Contract-Based Verification of Hierarchical Systems of Components

15 years 9 months ago

Download www-verimag.imag.fr

Sophie Quinton, Susanne Graf

claim paper

Read More »

114

click to vote

EUROMICRO
2007
IEEE

173views Software Engineering» more EUROMICRO 2007»

Component-Based Design of Safe Real-Time Kernels for Embedded Systems

15 years 9 months ago

Download www.seg.mci.sdu.dk

Jesper Berthing, Christo Angelov

claim paper

Read More »

click to vote

KBSE
2007
IEEE

77views Software Engineering» more KBSE 2007»

Behavioral adaptation of component compositions based on process algebra encodings

15 years 9 months ago

Download www.lri.fr

Radu Mateescu, Pascal Poizat, Gwen Salaün

claim paper

Read More »

click to vote

ICSE
2007
IEEE-ACM

71views Software Engineering» more ICSE 2007»

Testing Concurrent Java Components

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers