Reliable Software Technologies - Ada-Europe 2001 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Craeynest, Dirk (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Strohmeier, Alfred (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 2043
• Θέματα: Software engineering.; Programming languages (Electronic computers).; Computer programming.; Computer communication systems.; Special purpose computers.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Programming Techniques.; Computer Communication Networks.; Special Purpose and Application-Based Systems.

The Sixth International Conference on Reliable Software Technologies, Ada- Europe 2001, took place in Leuven, Belgium, May 14-18, 2001. It was sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda, and it was organized by members of the K.U. Leuve...

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

• Invited Papers
• Building Formal Requirements Models for Reliable Software
• Using Ada in Interactive Digital Television Systems
• Testing from Formal Specifications, a Generic Approach
• Logic versus Magic in Critical Systems
• Can Java™ Meet Its Real-Time Deadlines?
• Program Analysis
• Parameter-Induced Aliasing in Ada
• Slicing Tagged Objects in Ada
• OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code
• Distributed Systems
• Building Modern Distributed Systems
• Reliable Communication in Distributed Computer-Controlled Systems
• Building Robust Applications by Reusing Non-robust Legacy Software
• Real-Time Systems
• New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements
• Complex Task Implementation in Ada
• Implementing a Flexible Scheduler in Ada
• Language and Patterns
• Expression Templates in Ada
• A Design Pattern for State Machines and Concurrent Activities
• Component Libraries and Language Features
• Dependable Systems
• Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software
• Scenario-Based System Assessment
• Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation
• APIs and Components
• JEWL: A GUI Library for Educational Use
• Object-Oriented Stable Storage Based on Mirroring
• Transaction Support for Ada
• Real-Time Kernels
• MaRTE OS: An Ada Kernel for Real-Time Embedded Applications
• Implementing Ada.Real Time.Clock and Absolute Delays in Real-Time Kernels
• Defining New Non-preemptive Dispatching and Locking Policies for Ada
• Standard Formats: UML & XML
• Modelling Communication Interfaces with ComiX
• Safe Web Forms and XML Processing with Ada
• Mapping UML to Ada
• System Evolution
• Ship System 2000, a Stable Architecture under Continuous Evolution
• Migrating Large Applications from Ada83 to Ada95
• An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK.