Slide 1 Rosetta Functional Specification Domains Perry Alexander EECS Department / ITTC The University of Kanasas Slide 2 What is Rosetta? Rosetta is a language for describing…