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

As a freelance writer, editor and watercolor/digital artist, Peter has completed writing commisions of 4 full fantasy gameplay books, along with several book cover and editing projects. In the old ...