Search Sciweavers | Sciweavers

13140 search results - page 122 / 2628

» Coupling Component Systems towards Systems of Systems

click to vote

SEFM
2008
IEEE

143views Software Engineering» more SEFM 2008»

Contract-Based Verification of Hierarchical Systems of Components

15 years 4 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

15 years 4 months ago

Download www.seg.mci.sdu.dk

Jesper Berthing, Christo Angelov

claim paper

Read More »

click to vote

SCCC
2007
IEEE

79views Theoretical Computer Science» more SCCC 2007»

Reducing Component Systems' Behavior Specification

15 years 4 months ago

Download d3s.mff.cuni.cz

Viliam Holub, Frantisek Plasil

claim paper

Read More »

click to vote

CBSE
2007
Springer

87views Software Engineering» more CBSE 2007»

Monitoring Architectural Properties in Dynamic Component-Based Systems

15 years 4 months ago

Download goanna.cs.rmit.edu.au

Henry Muccini, Andrea Polini, Fabiano Ricci, Anton...

claim paper

Read More »

click to vote

CBSE
2007
Springer

105views Software Engineering» more CBSE 2007»

Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers