Recently, Augmented Regular Expressions (AREs) have been proposed as a formalism to describe, recognize and learn a non-trivial class of context-sensitive languages (CSLs) 1, 2]. AREs augment the expressive power of Regular Expressions (REs) by including a set of constraints, that involve the number of instances in a string of the operands of the star operations of an RE. Although it is demonst...

We introduce several classes of array languages obtained by generalising Angluin’s pattern languages to the two-dimensional case. These classes of two-dimensional pattern languages are compared with respect to their expressive power and their closure properties are investigated.

In this paper, we propose the Global Life Patterns, a methodology to support people to maintain individuality and design their own actions in respect to the “globalizing” society – a Global Life. Today, globalization requires each person to maintain individuality in respect to Globalization. Because methods to acquire such ability are tacit, a clarified methodology to live a Global Life is need...

This article exemplifies the application of a pattern-based method, called SaCS (Safe Control Systems), on a case taken from the nuclear domain. The method is supported by a pattern language and provides guidance on the development of design concepts for safety critical systems. The SaCS language offers six different kinds of basic patterns as well as operators for composition.

Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagrams or source code. Patterns are knowledge that comes from experience. Sharing patterns is sharing knowledge. Currently, an abstract and standardized way for specifying software patterns doesn’t exist. There isn’t any si...

An important issue that contributes to the complexity of object-oriented framework development is the identification of its hot spots, i.e., the framework parts that must be kept flexible, as they are specific of individual systems. A process for identification of hot spots in an analysis pattern language is proposed. Several types of hot spots are identifiable from information presented in the...

The GAMA pattern language provides patterns for supporting dynamic teams with computer technology. In this document, a small subset of the GAMA language is presented that deals with spontaneous group formation based on common interests.