Raventós Pagès, Ruth (Date of defense: 2009-02-27)
Since the 1960s, many formal languages have been developed in order to allow software engineers to specify conceptual models and to design software artifacts. A few of these languages, such as the Unified ...