In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
ata forms, and abstract structural hierarchy based on is-a relationship and has-a relationship. Object structures illustrate many kinds of objects and actual dependence among objec...
An important aim in the design of the Timor programming language is to provide programmers with features which enable them to build complex systems from components which can be de...
James Leslie Keedy, Klaus Espenlaub, Christian Hei...
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
Christian Engel, Christoph Gladisch, Vladimir Kleb...
Service-orientation and object-oriented design are common practice in the field of business application development. Business process execution languages help to facilitate the orc...