Sciweavers

Share
KBSE
2008
IEEE

Unifying Analysis Tools with Rosetta

10 years 5 months ago
Unifying Analysis Tools with Rosetta
The Rosetta system specification 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 unified around the Rosetta language. A semi-automated tool, the Rosetta Nexus, will generated tool-specific analysis models and a correspondence with the original Rosetta specifications.
Nicolas Frisby
Added 31 May 2010
Updated 31 May 2010
Type Conference
Year 2008
Where KBSE
Authors Nicolas Frisby
Comments (0)
books