Abstract: The transformation of textual specifications into formal software models is a major challenge in software design automation. This study presents an integrated approach that combines the ...

Peace and Conflict Studies major Jenna Kapp has taken advantage of nearly every opportunity that’s come her way on campus. Now she’s finding more abroad. I’ve tried to make the most of my ...