Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Roy, Peter Van (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3389
• Θέματα: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Software Engineering.; Programming Techniques.; Operating Systems.

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

• Keynote Talk
• The Development of Oz and Mozart
• Security
• The Structure of Authority: Why Security Is Not a Separable Concern
• The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language
• Computer Science Education
• A Program Verification System Based on Oz
• Higher Order Programming for Unordered Minds
• Software Engineering
• Compiling Formal Specifications to Oz Programs
• Deriving Acceptance Tests from Goal Requirements
• Human-Computer Interfaces and the Web
• Using Mozart for Visualizing Agent-Based Simulations
• Web Technologies for Mozart Applications
• Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach
• Distributed Programming
• P2PS: Peer-to-Peer Development Platform for Mozart
• Thread-Based Mobility in Oz
• A Fault Tolerant Abstraction for Transparent Distributed Programming
• Grammars and Natural Language
• The CURRENT Platform: Building Conversational Agents in Oz
• The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture
• The XDG Grammar Development Kit
• Constraint Research
• Solving CSP Including a Universal Quantification
• Compositional Abstractions for Search Factories
• Implementing Semiring-Based Constraints Using Mozart
• A Mozart Implementation of CP(BioNet)
• Constraint Applications
• Playing the Minesweeper with Constraints
• Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks
• Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model
• Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming
• The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics
• An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine.