Sciweavers

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

4

ICSE
2007
IEEE-ACM

favoriteEmaildiscussreport

104views Software Engineering» more ICSE 2007»

Matching and Merging of Statecharts Specifications

14 years 4 months ago

Matching and Merging of Statecharts Specifications

Download www.cs.toronto.edu

Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik,

Real-time Traffic

ICSE 2007 | Software Engineering | Statecharts Specifications |

claim paper

Related Content

» Statecharts as Protocols for Objects

» A Matching Approach for ObjectOriented Formal Specifications

» On Differencing ObjectOriented Formal Specifications

» A Buffer Merging Technique for Reducing Memory Requirements of Synchronous Dataflow Specif...

» Color Recognition Enhancement by Fuzzy Merging

» Scalable specification mining for verification and diagnosis

» MetamodelBased Model Transformation with AspectOriented Constraints

» Generic Entity Resolution in the SERF Project

» Rangecapable Distributed Hash Tables

Post Info
More Details (n/a)

Added	09 Dec 2009
Updated	09 Dec 2009
Type	Conference
Year	2007
Where	ICSE
Authors	Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave

Comments (0)