Software science has always dealt with models of computation that associate meaning with syntactical construction. The link between that associate meaning with syntactical construction. The link between software science and software engineering has for many years been tenuous. A recent initiative, model-driven engineering (MDE), has begun to emphasize the role of models in software construction. Hitherto, the notions of ’model’ entertained by software scientists and engineers have differed, the former emphasizing meaning and the latter emphasizing toolbased engineering practice. This essay ﬁnds the two approaches consistent, and proposes to integrate them in a framework that allows one model to explain another, in a sense that includes both implementation and validation.
|Title of host publication||From Semantics to Computer Science: Essays in Honour of Gilles Kahn|
|Place of Publication||New York, NY, USA|
|Publisher||Cambridge University Press|
|Number of pages||14|
|ISBN (Print)||0521518253, 9780521518253|
|Publication status||Published - 2009|