Associate Teaching Professor Cecil Joseph remembers the first time he taught physics in one of UMass Lowell’s Technology ...

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

Abstract: In this paper, we present a new approach to generating Event B specification from UML Activity Diagrams (AD). The goal of this work is to define a formal semantics of activity diagrams that ...

Aims: To determine the level of agreement between merged monocular visual field tests (the integrated visual field) and the binocular Esterman visual field test in classifying patients’ visual status ...