Search Sciweavers | Sciweavers

1746 search results - page 13 / 350

» Residual for Component Specifications

click to vote

ICSE
2009
IEEE-ACM

84views Software Engineering» more ICSE 2009»

From system specifications to component behavioral models

15 years 4 months ago

Download www-scf.usc.edu

Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvid...

claim paper

Read More »

click to vote

EUROMICRO
2009
IEEE

202views Software Engineering» more EUROMICRO 2009»

Constructing Domain-Specific Component Frameworks through Architecture Refinement

15 years 4 months ago

Download d3s.mff.cuni.cz

Frédéric Loiret, Ales Plsek, Philipp...

claim paper

Read More »

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 4 months ago

Download soft.vub.ac.be

Carlos Noguera, Frédéric Loiret

claim paper

Read More »

click to vote

SCCC
2007
IEEE

79views Theoretical Computer Science» more SCCC 2007»

Reducing Component Systems' Behavior Specification

15 years 3 months ago

Download d3s.mff.cuni.cz

Viliam Holub, Frantisek Plasil

claim paper

Read More »

click to vote

CBSE
2007
Springer

77views Software Engineering» more CBSE 2007»

Slicing of Component Behavior Specification with Respect to Their Composition

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers