Fiadeiro / Mosses / Orejas | Recent Trends in Algebraic Development Techniques | E-Book | sack.de
E-Book

E-Book, Englisch, Band 3423, 280 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Fiadeiro / Mosses / Orejas Recent Trends in Algebraic Development Techniques

17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
2005
ISBN: 978-3-540-31959-7
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

E-Book, Englisch, Band 3423, 280 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-31959-7
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Fiadeiro / Mosses / Orejas Recent Trends in Algebraic Development Techniques jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Fiadeiro, José Luiz
Mosses, Peter
Orejas, Fernando

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.