Search alternatives:
"algebraic specification" » "algebraic specifications"
Cover Image
Read Now

141
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... -- On the Algebraic Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation...”
Cover Image
Read Now

142
by Kovalev, Mikhail, Müller, Silvia M., Paul, Wolfgang J.
Published 2014
Springer International Publishing
Table of Contents: “... the Tables into Switching Functions -- Algebraic Specification -- Properties of the Atomic Protocol -- Gate...”
Cover Image
Read Now

143
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... from algebraic specifications: Application to an automatic subway module -- Specification in COLD-1...”
Cover Image
Read Now

144
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... orderings and recursive path orderings -- Share-where maintenance in visual algebraic specifications -- A...”
Cover Image
Read Now

145
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Reduction for Process Algebra Specifications -- A Hybrid Logic of Knowledge Supporting Topological Reasoning --...”
Cover Image
Read Now

146
Published 1989
Springer US
Table of Contents: “...9 The algebraic specification of a target machine: Ten15 -- 9.1 Introduction -- 9.2 Types...”
Cover Image
Read Now

147
Published 1982
Springer Berlin Heidelberg
Table of Contents: “... proofs -- Algebraic specifications for parametrized data types with minimal parameter and target algebras...”
Cover Image
Read Now

148
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Automating Algebraic Specifications of Non-freely Generated Data Types -- Interpolants for Linear Arithmetic...”
Cover Image
Read Now

149
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Refinement of Data Structures on Higher-Order Algebraic Specifications -- Analyzing Relationships...”
Cover Image
Read Now

150
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... with Numerous but Identical Elements within Planning Problems -- On Algebraic Specifications of Abstract Data...”
Cover Image
Read Now

151
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... for structured algebraic specifications: An overview -- Average-case analysis via incompressibility -- Locally...”
Cover Image
Read Now

152
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... replacement systems -- Partial algebras flow from algebraic specifications -- The logarithmic alternation...”
Cover Image
Read Now

153
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... method for algebraic specifications using COLD-1 as notation -- A mechanical formalization of several...”
Cover Image
Read Now

154
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...-level Nets and Abstract Data Types -- 3. Many-sorted High-level Nets -- 4. Petri Nets and Algebraic...”
Cover Image
Read Now

155
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...: Specification, Refinement and Realisation -- Refinement-Preserving Co-evolution -- Algebraic Specifications...”
Cover Image
Read Now

156
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... theConformance of Java Classes Against Algebraic Specifications -- Incremental Slicing -- Assume-Guarantee...”
Cover Image
Read Now

157
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... -- Algebraic specifications for domain theory -- The query topology in logicprogramming -- Testing membership...”
Cover Image
Read Now

158
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... terms of sequential behavior -- Mechanizing a proof by induction of process algebra specifications...”
Cover Image
Read Now

159
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... -- On the semantics of atomized statements — the parallel-choice option — -- Automatic proof methods for algebraic...”
Cover Image
Read Now

160
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... for algebraic specifications --...”