Results 11  20
of
5,761
Modal Logic and Algebraic Specifications
 Theoretical Computer Science
, 1993
"... The established approaches to the semantics of algebraic (equational) specifications are based on a categorytheoretic perspective. When possible interpretations are viewed as a category, the extreme pointsthe initial and final algebraspresent themselves as natural candidates for the canonical ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
The established approaches to the semantics of algebraic (equational) specifications are based on a categorytheoretic perspective. When possible interpretations are viewed as a category, the extreme pointsthe initial and final algebraspresent themselves as natural candidates
Implementing HigherOrder Algebraic Specifications
, 1992
"... Writing algebraic specifications that are to be executed as rewrite systems is similar to functional programming. There are some differences, however. Algebraic specification languages allow lefthand sides of equations to be complex firstorder patterns that would not be allowed in functional langua ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
Writing algebraic specifications that are to be executed as rewrite systems is similar to functional programming. There are some differences, however. Algebraic specification languages allow lefthand sides of equations to be complex firstorder patterns that would not be allowed in functional
Process algebra for synchronous communication
 Inform. and Control
, 1984
"... Within the context of an algebraic theory of processes, an equational specification of process cooperation is provided. Four cases are considered: free merge or interleaving, merging with communication, merging with mutual exclusion of tight regions, and synchronous process cooperation. The rewrite ..."
Abstract

Cited by 426 (68 self)
 Add to MetaCart
Within the context of an algebraic theory of processes, an equational specification of process cooperation is provided. Four cases are considered: free merge or interleaving, merging with communication, merging with mutual exclusion of tight regions, and synchronous process cooperation. The rewrite
Formal Specifications and Algebraic Specifications
"... In this paper I will adopt a rather restrictive definition of “formal specifications”. I will say that a specification framework is “formal ” if it contains: • a rigorous syntax entirely defining what a specifier is allowed to write (to obtain a “specification”) ..."
Abstract
 Add to MetaCart
In this paper I will adopt a rather restrictive definition of “formal specifications”. I will say that a specification framework is “formal ” if it contains: • a rigorous syntax entirely defining what a specifier is allowed to write (to obtain a “specification”)
Implementing HigherOrder Algebraic Specifications
, 1992
"... Writing algebraic specifications that are to be executed as rewrite systems is similar to functional programming. There are some differences, however. Algebraic specification languages allow lefthand sides of equations to be complex firstorder patterns that would not be allowed in functional langua ..."
Abstract
 Add to MetaCart
Writing algebraic specifications that are to be executed as rewrite systems is similar to functional programming. There are some differences, however. Algebraic specification languages allow lefthand sides of equations to be complex firstorder patterns that would not be allowed in functional
An experiment with algebraic specifications of software components
 in Proc. of QSIC'10, 2010
"... Abstract – A long lasting myth of formal methods is that they are difficult to learn and expensive to apply. This paper reports a controlled experiment to test if this myth is true or false in the context of writing algebraic formal specifications. The experiment shows that writing algebraic specifi ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
Abstract – A long lasting myth of formal methods is that they are difficult to learn and expensive to apply. This paper reports a controlled experiment to test if this myth is true or false in the context of writing algebraic formal specifications. The experiment shows that writing algebraic
Algebraic Specification of Reactive Systems
 Theoretical Computer Science
, 1996
"... . We present an algebraic method for the specification of reactive distributed systems. We introduce basic operators on specifications making the set of specifications into a specification algebra. This allows us to work with an algebra of system specifications in analogy to the process algebras ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
. We present an algebraic method for the specification of reactive distributed systems. We introduce basic operators on specifications making the set of specifications into a specification algebra. This allows us to work with an algebra of system specifications in analogy to the process algebras
Infinitary Algebraic Specifications for Stream Algebras
"... Abstract. A stream is an infinite sequence of data from a set A. A wide variety of algorithms and architectures operate continuously in time, producing streams of data, for example: systolic arrays, dataflow machines, neural networks and cellular automata. Also many models of real number computatio ..."
Abstract
 Add to MetaCart
computation use streams. In this paper we study the construction of an algebra Ā of streams over a manysorted algebra A of data. In particular, we show how an initial algebra specification for Ā can be constructed from one for A. One problem is that Ā is uncountable even when A is finite. To handle this, we
Discovering Algebraic Specifications from Java Classes
 In ECOOP
, 2003
"... We present and evaluate an automatic tool for extracting algebraic specifications from Java classes. Our tool maps a Java class to an algebraic signature and then uses the signature to generate a large number of terms. The tool evaluates these terms and based on the results of the evaluation, it pro ..."
Abstract

Cited by 86 (4 self)
 Add to MetaCart
We present and evaluate an automatic tool for extracting algebraic specifications from Java classes. Our tool maps a Java class to an algebraic signature and then uses the signature to generate a large number of terms. The tool evaluates these terms and based on the results of the evaluation
Results 11  20
of
5,761