The notions of class, subclass and virtual procedure are fairly well understood recognized as some the key concepts in object-oriented programming. possibility modifying a is powerful technique for specializing general properties superclass.

We show how a common language of variability can be used to enhance the expressiveness Domain Specific Language (DSL). DSLs have been proposed as mechanism for expressing variability. Variability between models in given domain or family systems is captured by constructs, implying that all possible this are allowed variations. explore possibility independently base modeling language. works small well general purpose languages like UML. Implications approach standardized, and do not include mechanisms.

<p>The BETA programming language is a modern in the SIMULA 67 tradition. It supports object-oriented perspective on and contains comprehensive facilities for procedural functional programming. replaces classes, procedures, functions types by single abstraction mechanism called <em>pattern</em>. Patterns may be organized classification hierarchy means of <em>sub-patterns</em>. The notion virtual procedure generalized to pattern. Virtual patterns combined with...

Current model-driven software product line development is mostly based on feature/variability modeling techniques, however, we see the potential for automatic assistance in identifying commonality and variability of a set models within domain synthesizing model those. This paper presents generic approach using comparison. For difference detection, applies EMF Compare, comparison tool. specifying variability, Common Variability Language (CVL), language expressing variability. The SPL...

The BETA programming language is developed as part of the project. purpose this project to develop concepts, constructs and tools in field languages. has been from 1975 on various stages are documented [BETA a].

The notions of class, subclass and virtual procedure are fairly well understood recognized as some the key concepts in object-oriented programming. possibility modifying a is powerful technique for specializing general properties superclass. In most languages, attributes an object may be references to objects (virtual) procedures. Simula BETA it also possible have class attributes. power has not yet been widely recognized. . This makes defer part specification attribute subclass. this sense...

It has been recognized that there is a need for language mechanism support reuse of collections related classes.Existing approaches either use an enclosing class this purpose, or introduce special new construct.In paper we explore the packages grouping classes.Ordinary are already classes, so combination and templates, i.e. package templates.By instantiating classes templates provided as if ordinary produced imported.

This paper is concerned with the relation between <em>subtyping</em> and <em>subclassing</em> their influence on programming language design. Traditionally subclassing as introduced by Simula has also been used for defining a hierarchical type system. The system of can be characterized <em>strong</em> or <em> weak</em> checking mechanism <em>static</em> <em>dynamic</em>. Parameterized classes in combination type-system...

The study of the dynamic spectra hectometric Jovian emission ( f <1.3 MHz) for period January to June 1978 from planetary radio astronomy (PRA) experiment on Voyager 1 and 2 spacecraft shows that its shape is stable with rotation planet. However, there are noticeable differences between observed at one‐month intervals by one spacecraft, or simultaneously two which can be clearly related neither an effect Io nor Jovicentric declination observer.

Algebraic graph transformation has been promoted by several authors as a means to specify model transformations.This paper explores how we can transformation-based rules for classical problem of transforming from sequence diagrams state machines.The specification the is based on concrete syntax and machines.We introduce tailored support novel graphical operator match transform combined fragments.

This paper presents a generic approach for automating the augmentation of product lines using model comparison and variability modeling techniques. Product are subject to frequent include more products. Our aims reduce manual effort involved in this process by automatically suggesting tentative augmented line model, which can serve as baseline final line. The Common Variability Language (CVL), language, is used specify approach. applies CVL Compare, synthesis CVL-based from set existing...

This paper tells the story of development BETA: a programming language with just one abstraction mechanism, instead mechanism for each kind program element (classes, types, procedures, functions, etc.). The explains how this single pattern, came about and it was designed to be so powerful that covered other mechanisms.

<p>The intent of this paper is to illustrate the following general ideas:</p><p>-- Use context free grammar a programming language as an integrated part its system.</p><p>-- Reconsideration border line between and Systematic modularization programs for various translation phases.</p><p>The specific ideas presented in are independent methods handling:</p><p>-- Modularization programs.</p><p>-- Separate form sensitive parsing...

The Train Control Language (TCL) is a domain-specific language that allows automation of the production interlocking source code.From graphical editor model train station created.This can then be transformed to other representations, e.g. an table and functional blocks, keeping representations internally consistent.Formal methods are mathematical techniques for precisely expressing system, contributing reliability robustness system through analysis.Traditionally, applying formal involves...