Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bert, Didier (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Choppy, Christine (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Mosses, Peter (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Computer Science, 1827
• Θέματα: Software engineering.; Programming languages (Electronic computers).; Computer programming.; Computer logic.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Logics and Meanings of Programs.

Πίνακας περιεχομένων:

• 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.