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 Ceridwen Self Issue/Self Check Out client software provides library users with the ability to self check out books to themselves rather than relying on a staffed circulation desk. It presents a ...

Andrea Bartz was disturbed to learn that her books had been used to train A.I. chatbots. So she sued, and helped win the largest copyright settlement in history. “It’s not the end of the battle,” ...