The Campus Accessibility Advisory Group works on a wide range of accessibility efforts, from physical improvements to classroom technology and student support. The group maintains an Accessibility ...

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 ...