KBSE
2008
IEEE
13 years 11 months ago
2008
IEEE
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 s...