Results 251 to 260 of about 65,035 (289)

Propagating changes in algebraic specifications

Software Engineering Journal, 1991
Controlling changes is an important problem in software development. By considering the problem as containing or propagating the ripple effects of an initial change throughout the inter-relations of products, we can formalise mechanisms to deal with the overall effects of a change.
Ataru T. Nakagawa, Kokichi Futatsugi
openaire   +1 more source

Towards a Protocol Algebra Based on Algebraic Specifications

2014
We sketch some first steps towards the definition of a protocol algebra based on the framework of behavioural algebraic specification. Following the tradition of representing protocols as state machines, we use the notion of Observational Transition System to express them in an executable algebraic specification language such as CafeOBJ.
Iakovos Ouranos, Petros S. Stefaneas
openaire   +1 more source

Algebraic specifications of reachable higher-order algebras

1988
We propose a way of integrating predefined data type constructions, in particular higher-order function spaces, into the framework of algebraic specifications such that some standard results such as existence of initial and terminal algebras for hierarchical specifications are preserved.
Bernhard Möller, Andrzej Tarlecki, Martin Wirsing   +2 more
openaire   +1 more source

Visual construction of algebraic specifications

Proceeding 2000 IEEE International Symposium on Visual Languages, 2002
Algebraic specifications have a proven record for the development of software that is precise, consistent, complete and unambiguous. However, despite their usefulness there has been limited uptake by software engineers. The authors attribute this apparent discrepancy, at least in part, to a question of usability and understandability.
Duncan S. Neary, Martin R. Woodward
openaire   +1 more source

Ultra-loose algebraic specification

Bull. EATCS, 2020
Summary: An algebraic framework is introduced for the formal specification and implementation of large families of sorts and functions. It includes flexible ways to express generation principles, to rename, to combine and to construct implementations of specifications.
Manfred Broy, Martin Wirsing
openaire   +1 more source

Algebraic specifications with generating constraints

2006
In this paper we take a new look at one of the basic principles of abstract data types. Due to this principle the domain of an abstract data type must be generated by the operations. In the initial algebraic approach as well as in the loose case with initial restrictions or data constraints this principle is satisfied because of initiality resp.
Hartmut Ehrig, Eric G. Wagner, James W. Thatcher   +2 more
openaire   +1 more source

Procedural implementation of algebraic specification

ACM Transactions on Programming Languages and Systems, 1993
An implementation of an algebraic specification in an imperative programming language consists of a representation type, together with an invariant and an equivalence relation over it, and a procedure for each operator in the specification. A formal technique is developed to check the correctness of an implementation with respect to its specification ...
openaire   +1 more source

Parameterising (algebraic) specifications on diagrams

Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239), 2002
The paper presents an extension of previous work on the parameterisation of logical and algebraic specifications leading to a novel formalisation of parameterisation which is general enough to become independent of the specificities of the underlying formalism, and flexible enough to accommodate the manipulation of complex parameterised specifications ...
openaire   +1 more source

Partial algebras flow from algebraic specifications

1987
The aim of this paper is to introduce and to investigate a method for specifying algebras with partial functions, while maintaining the simpler framework of total algebras and conventional specifications. For this purpose, an ordinary algebraic specification SPEC is equipped with a subspecification BASE, and each SPEC-algebra is equipped with a BASE ...
openaire   +1 more source

An algebraic specification of a Pascal compiler

ACM SIGPLAN Notices, 1983
There is a growing interest in abstract data types as a tool for specifying semantics of programming languages and for specifying translations. This paper present the first large scale experience in this area. An algebraic semantics of Pascal, using abstract data type is given.
openaire   +1 more source