Browsing by Author "Jackson, Ethan Kerry"
Now showing items 1-1 of 1
-
Jackson, Ethan Kerry (2007-08-16)Department: Computer ScienceThis thesis presents a systemic study of the structural semantics of model-based design. Structural semantics have a long history in computer science, and were studied early on under the moniker of language syntax. This ...