E Book

Recent Trends in Algebraic Development Techniques

---

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.

---

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

-

Penerbit

Berlin, Heidelberg : Springer., 2005

Deskripsi Fisik

VIII, 280 p.online resource.

Bahasa

English

ISBN/ISSN

9783540319597

Klasifikasi

005.1

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

1st ed.

Subjek

Software engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Mathematical logic.
Computer science—Mathematics.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.

Info Detail Spesifik

-

Pernyataan Tanggungjawab

José Luiz Fiadeiro, Peter Mosses, Fernando Orejas.

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar