Sciweavers

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

9

KBSE
2008
IEEE

favoriteEmaildiscussreport

80views Software Engineering» more KBSE 2008»

Unifying Analysis Tools with Rosetta

13 years 11 months ago

Unifying Analysis Tools with Rosetta

Download www.ittc.ku.edu

The Rosetta system speciﬁcation language will require a variety of analysis capabilities to assist system designers. The language’s generality prohibits the development of a single analysis tool. It is proposed, instead, to leverage the existing analysis tools and create an analysis environment uniﬁed around the Rosetta language. A semi-automated tool, the Rosetta Nexus, will generated tool-speciﬁc analysis models and a correspondence with the original Rosetta speciﬁcations.

Nicolas Frisby

Real-time Traffic

Analysis Tools | KBSE 2008 | Rosetta | Single Analysis Tool | Software Engineering |

claim paper

Related Content

» A unified set of analysis tools for uterine cervix image segmentation

» Performance by unified model analysis PUMA

» Shape analysis using the FisherRao Riemannian metric unifying shape representation and def...

» Unified ConvolutionalTurbo Decoder Design Using TileBased Timing Analysis of VAMAP Kernel

» MultiSeq unifying sequence and structure data for evolutionary analysis

» Gene Vector Analysis Geneva A unified method to detect differentiallyregulated gene sets a...

» A reprocessing tool for quantitative data analysis in a virtual environment

» Rewriting Logic Semantics From Language Specifications to Formal Analysis Tools

» A Malware Instruction Set for BehaviorBased Analysis

Post Info
More Details (n/a)

Added	31 May 2010
Updated	31 May 2010
Type	Conference
Year	2008
Where	KBSE
Authors	Nicolas Frisby

Comments (0)