019 - Programming as Modelling: New Concepts and Techniques
Abstract
The relationship between programming and modelling is considered. Fundamental programming concepts are examined from this perspective. Programming for embedded systems is approached via a method of concurrent system modelling in which the global behaviour of system can be related to the activity of its components.