Results 241 to 250 of about 65,035 (289)

An algebraic theory of class specification

ACM Transactions on Software Engineering and Methodology, 1994
The notion of class (or object pattern) as defined in most object-oriented languages is formalized using known techniques from algebraic specifications. Inheritance can be viewed as a relation betweeen classes, which suggests how classes can be arranged in hierarchies. The hierarchies contain two kinds of information: on the one hand, they indicate how
F. PARISI PRESICCE, PIERANTONIO, ALFONSO
openaire   +2 more sources

Modular algebraic specifications

1988
Module, import, export and detail hiding are well-known notions in software engineering. If algebraic specifications together with their operational semantics of term rewriting should be useful as a programming language, similar concepts must be developed to cope with very large specifications.
Horst Hansen, Michael Löwe
openaire   +1 more source

Algebraic Imperative Specifications

2000
Algebraic imperative specifications (AIS) are specifications with implicit state represented by an algebra and with a number of transition rules indicating state transformations. They are designed for the formal definition of complex dynamic systems.
Marie-Claude Gaudel, Alexandre V. Zamulin   +1 more
openaire   +1 more source

On the Algebraic Specification of Domains

1985
We explore the possibilities for the algebraic specification of semantic domains by continuous abstract types, that is, by abstract types with monotonicity, continuity and completeness constraints. In this framework, a domain results from the ideal completion of a term-generated algebra constituting its finite part.
Bernhard Möller, Walter Dosch
openaire   +1 more source

Specification of schedulers with algebraic specification techniques

1982
The specification of a class of single resource schedulers is presented. A class of these schedulers is regarded as a parameterized data type whose formal parameter is a scheduling strategy. The specification is given by using the concept of parameterization in algebraic techniques.
Kouichi Wada 0001, Kenichi Hagihara, Toshiro Araki, Nobuki Tokura   +3 more
openaire   +1 more source

The algebraic specification column

Bull. EATCS, 2020
The paper provides a schematical and compact survey of concepts related to transformations of algebraic specifications. The author distinguishes two main classes of such transformations, namely ``vertical'' and ``horizontal'', where ``horizontal'' means to build up hierarchical specifications from smaller components while ``vertical'' means to go from ...
openaire   +1 more source

Algebraic view specification

1996
The application of algebraic specification techniques in the early phases of software development requires a means for specifying views. In this paper we argue for algebraic view specification based on an algebraic concept model. The concept model consists of two parts: a meta model defining the concepts of different views and the relationships between
openaire   +1 more source

Transformation technique of algebraic specification

Proceedings., Fourteenth Annual International Computer Software and Applications Conference, 2002
A formal transformation process to implement algebraic specification is introduced which relaxes the linear restriction of the algebraic axioms. The formal transformation process can process nonlinear algebraic specification, and it can make the expression of the algebraic specification more flexible and richer.
Liqun Jin, Jiahua Qian
openaire   +1 more source

Complexity of algebraic specifications

1990
In the field of algebraic specification, the semantics of an equationally specified datatype is given by the initial algebra of the specifications. We show in this paper that in general the theory of the initial algebra of a given set of equations is II 2 0 -complete.
openaire   +1 more source

Specification of Finite Effect Algebras

International Journal of Theoretical Physics, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Foulis, D. J., Greechie, R. J.
openaire   +1 more source