2. Adventsüberraschung: 10% Rabatt auf alle Spiele! Jetzt mehr erfahren.
Willkommen, schön sind Sie da!
Logo Ex Libris

Recent Trends in Algebraic Development Techniques

  • E-Book (pdf)
  • 490 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Developme... Weiterlesen
CHF 120.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Development Techniques, WADT'99, held in Toulouse, France in September 1999.The 23 revised full papers presented together with three invited papers were carefully reviewed and selected from 69 workshop presentations. The papers address the following topics: algebraic specification and other specification formalisms, test and validation, concurrent processes applications, logic and validation, combining formalisms, subsorts and partiality, structuring, rewriting, co-algebras and sketches, refinement, institutions and categories, and ASM specifications.



Inhalt

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.

Produktinformationen

Titel: Recent Trends in Algebraic Development Techniques
Untertitel: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
Editor:
EAN: 9783540446163
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 02.02.2004
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 490

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"