Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

ICSE
2009
IEEE-ACM

favoriteEmaildiscussreport

84views Software Engineering» more ICSE 2009»

From system specifications to component behavioral models

13 years 11 months ago

From system specifications to component behavioral models

Download www-scf.usc.edu

Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvid

Real-time Traffic

ICSE 2009 | Software Engineering |

claim paper

Related Content

» Synthesizing partial componentlevel behavior models from system specifications

» Automatic ObjectPascal Code Generation from Catalysis Specifications

» Observable Behavior of Dynamic Systems Component Reasoning for Concurrent Objects

» Extracting Behavior Specification of Components in Legacy Applications

» From requirements to partial behavior models an iterative approach to incremental specific...

» Multiview Software Component Modeling for Dependability

» Residual for Component Specifications

» Towards a Unified Behavioral Model for ComponentBased and ServiceOriented Systems

» Executable Interface Specifications for Testing Asynchronous Creol Components

Post Info
More Details (n/a)

Added	20 May 2010
Updated	20 May 2010
Type	Conference
Year	2009
Where	ICSE
Authors	Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic

Comments (0)