Rosetta Functional Specification Domains Perry Alexander EECS Department / ITTC The University of Kanasas.