Some modifications and generalizations of cellular automata are discussed which are sometimes useful in the modeling of real phenomenaand which therefore have found their ways into some programming environment for cellular automata. In the second part several aspects are discussed with respect to which these programming environments can be compared.

One of the main principles of the passive defense is the principle of site selection. In this paper, we propose a multiple objective nonlinear programming model that considers the principle of the site selection in terms of two qualitative and quantitative aspects. The purpose of the proposed model is selection of the place of facilities of a system in which not only it observes the dispersion ...

Object-Oriented Action Semantics is a semantic framework for the definition of programming languages. The framework incorporates some object-oriented concepts to the Action Semantics formalism. Its main goal is to obtain more readable and reusable semantic specifications. ObjectOriented Action Semantics provides support for the definition of syntax-independent specifications, due to the way its...

Aspect-oriented programming captures crosscutting concerns by introducing the aspect modularity construct. While most of the aspects presented to date result from domainand modeling-related crosscutting, we show how aspect-oriented programming can further assist the software development process. Through various examples we study the use of aspectoriented methods in third-party system integration.

We study several aspects of the dynamic programming approach to optimal control of abstract evolution equations, including a class of semilinear partial di erential equations. We introduce and prove a veri cation theorem which provides a su cient condition for optimality. Moreover we prove suband superoptimality principles of dynamic programming and present an explicit construction of -optimal ...

Algebraic specification frameworks such as the Casl family of specification languages are presently expanding to encompass all aspects of software, including e.g. functional programming and reactive specification. Thus, a comprehensive environment for formal software development is being created. This paper gives an overview of publications by the author that contribute to this goal, both in th...

The computer science community has claimed for parallel languages and models with a higher level of abstraction and modularity, without performance penalties, that could be used in conjunction with advanced software engineering techniques, and that are suitable to work with large-scale programs. This paper presents general aspects about the # parallel programming model and its associated progra...

This paper presents a survey describing recent developments in the area of mathematical programming techniques for various types of sensor network applications. We discuss mathematical programming formulations associated with these applications, as well as methods for solving the corresponding problems. We also address some of the challenges arising in this area, including both conceptual and c...

The concept of functionality oriented programming is proposed, and some of its aspects are discussed, such as: (1) implementation independent basic types and generic collection types; (2) syntax requirements and recommendations for implementation independence; (3) unified documentation and code; (4) cross-module interface; and (5) cross-language program making scheme. A prototype example is giv...

We study several aspects of the dynamic programming approach to optimal control of abstract evolution equations, including a class of semilinear partial differential equations. We introduce and prove a verification theorem which provides a sufficient condition for optimality. Moreover we prove suband superoptimality principles of dynamic programming and give an explicit construction of -optimal...