Recent Trends in Algebraic Development Techniques

Name: Recent Trends in Algebraic Development Techniques
Brand: Springer
Availability: OutOfStock
Rating: 5 (1 reviews)

By Didier Bert

0 - Used - good

Description

Invited Topics.- A Type-Theoretic Memory Model for Verification of Sequential Java Programs.- From States to Histories.- Principles and Pragmatics of Subtyping in PVS.- Casl: Language, Methodology and Tools.- Extending Casl by Late Binding.- Towards an Evolutionary Formal Software-Development Using CASL.- Development of Parsing Tools for CASL Using Generic Language Technology.- Using CASL to Specify the Requirements and the Design: A Problem Specific Approach.- Subsorted Partial Higher-Order Logic as an Extension of CASL.- Specifying Real Numbers in CASL.- Foundations.- Specification Refinement with System F - The Higher-Order Case.- Guarded Algebras: Disguising Partiality so You Won't Know Whether Its There.- A General Completeness Result in Refinement.- An Institution of Hybrid Systems.- Realization of Probabilistic Automata: Categorical Approach.- Specifications in an Arbitrary Institution with Symbols.- A General Algebraic Framework for Studying Modular Systems.- Specification of Processes and Interactions.- History Preserving Bisimulation for Contextual Nets.- A Model for Interaction of Agents and Environments.- Algebra-Coalgebra Structures and Bialgebras.- A Uniform Model Theory for the Specification of Data and Process Types.- Other Topics.- Relating Abstract Datatypes and Z-Schemata.- Algebraic Specification of Operator-Based Multimedia Scenarios.- Higher-Order Logic and Theorem Proving for Structured Specifications.- Extraction of Structured Programs from Specification Proofs.- Towards a Verification Logic for Rewriting Logic.- The Rôle of Normalisation in Testing from Structured Algebraic Specifications.

Product details

Binding:: Paperback
Edition:: 1
Languages:: Original: English
Number of Pages:: 500
Publisher:: Springer
Publication Date:: 2000-09-06
Release Date:: 2000-10-13
ISBN / EAN:: 9783540678984
Weight:: 750 g
Dimensions:: 16/24/3 cm
GPSR Manufacturer Reference:: [email protected]

Buy on Amazon

Currently sold out

Add to Wishlist