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

ROCKY MOUNT, NORTH CAROLINA -The N.C. Division of Motor Vehicles is partnering with local fire departments to provide on-site driver license testing for firefighters and first responders who operate ...

Abstract: Although Object Management Group (OMG) Unified Modeling Language (UML) introduced Object Constraint Language (OCL) to add formalism as constraints in its models, it still lacks formal ...

The Office of the Provost is pleased to help support tenured, tenure-track or teaching track Faculty members with the opportunity to participate in the National Center for Faculty Development and ...