Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers / José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.).

By: WADT 2004 (2004 : Barcelona, Spain)
Contributor(s): Fiadeiro, José Luiz, 1961- | Mosses, Peter | Orejas, F. (Fernando)
Material type: TextTextSeries: SerienbezeichnungLecture notes in computer science: 3423.Publisher: Berlin ; New York : Springer, ©2005Description: 1 online resource (viii, 269 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540319597; 354031959X; 3540253270; 9783540253273Other title: WADT 2004Subject(s): Computer software -- Development -- Congresses | Computer science -- Mathematics -- Congresses | Abstract data types (Computer science) -- Congresses | Logiciels -- Développement -- Congrès | Informatique -- Mathématiques -- Congrès | Types abstraits de données (Informatique) -- Congrès | COMPUTERS -- Programming -- Open Source | COMPUTERS -- Software Development & Engineering -- Tools | COMPUTERS -- Software Development & Engineering -- General | Computer software -- Development | Computer science -- Mathematics | Abstract data types (Computer science) | Informatique | Abstract data types (Computer science) | Computer science -- Mathematics | Computer software -- Development | FACinfotech Computer science | ER Internet Book Full text | wiskunde | mathematics | computerwetenschappen | computer sciences | logica | logic | software engineering | algebra | Information and Communication Technology (General) | Informatie- en communicatietechnologie (algemeen)Genre/Form: Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:: Recent trends in algebraic development techniques.DDC classification: 005.1 LOC classification: QA76.754 | .W32 2004Other classification: TP301. 6-532 Online resources: Click here to access online
Contents:
Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC -- The Casl Consistency Checker -- Ontologies for the Semantic Web in Casl -- Theoroidal Maps as Algebraic Simulations -- Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems -- A Simple Refinement Language for Casl -- A Distributed and Mobile Component System Based on the Ambient Calculus -- Application and Formal Specification of Sorted Term-Position Algebras -- From Conditional to Unconditional Rewriting -- Type Class Polymorphism in an Institutional Framework -- Architectural Specifications for Reactive Systems.
Summary: "This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques."
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

"WADT 2004 took place at the Technical University of Catalonia (UPC)"--Preface.

Includes bibliographical references and index.

"This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques."

Print version record.

Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC -- The Casl Consistency Checker -- Ontologies for the Semantic Web in Casl -- Theoroidal Maps as Algebraic Simulations -- Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems -- A Simple Refinement Language for Casl -- A Distributed and Mobile Component System Based on the Ambient Calculus -- Application and Formal Specification of Sorted Term-Position Algebras -- From Conditional to Unconditional Rewriting -- Type Class Polymorphism in an Institutional Framework -- Architectural Specifications for Reactive Systems.

There are no comments for this item.

to post a comment.

Powered by Koha