Search Sciweavers | Sciweavers

6528 search results - page 68 / 1306

» On the architecture of software component systems

click to vote

SIGSOFT
2003
ACM

131views Software Engineering» more SIGSOFT 2003»

Verified systems by composition from verified components

14 years 9 months ago

Download www.chillarege.com

Fei Xie, James C. Browne

claim paper

Read More »

click to vote

SEFM
2008
IEEE

143views Software Engineering» more SEFM 2008»

Contract-Based Verification of Hierarchical Systems of Components

14 years 3 months ago

Download www-verimag.imag.fr

Sophie Quinton, Susanne Graf

claim paper

Read More »

click to vote

EUROMICRO
2007
IEEE

173views Software Engineering» more EUROMICRO 2007»

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

14 years 3 months ago

Download www.seg.mci.sdu.dk

Jesper Berthing, Christo Angelov

claim paper

Read More »

click to vote

ICSE
2004
IEEE-ACM

112views Software Engineering» more ICSE 2004»

Behavior Capture and Test for Verifying Evolving Component-Based Systems

14 years 2 months ago

Download www.lta.disco.unimib.it

Leonardo Mariani

claim paper

Read More »

click to vote

FASE
2003
Springer

116views Software Engineering» more FASE 2003»

A Logical Basis for the Specification of Reconfigurable Component-Based Systems

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers