The tower of informatics models

Yves Bertot, Grard Huet, Jean-Jacques Lvy, Gordon Plotkin, Robin Milner

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

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 finds 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.
Original languageEnglish
Title of host publicationFrom Semantics to Computer Science: Essays in Honour of Gilles Kahn
Place of PublicationNew York, NY, USA
PublisherCambridge University Press
Pages559-572
Number of pages14
Edition1st
ISBN (Print)0521518253, 9780521518253
Publication statusPublished - 2009

Fingerprint Dive into the research topics of 'The tower of informatics models'. Together they form a unique fingerprint.

Cite this