Reliable Software Technologies - Ada-Europe 2001 (Record no. 188997)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 05840nam a22006135i 4500 |
001 - CONTROL NUMBER | |
control field | 978-3-540-45136-5 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20240423132540.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 121227s2001 gw | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9783540451365 |
-- | 978-3-540-45136-5 |
024 7# - OTHER STANDARD IDENTIFIER | |
Standard number or code | 10.1007/3-540-45136-6 |
Source of number or code | doi |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA76.758 |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | UMZ |
Source | bicssc |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | COM051230 |
Source | bisacsh |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | UMZ |
Source | thema |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.1 |
Edition number | 23 |
245 10 - TITLE STATEMENT | |
Title | Reliable Software Technologies - Ada-Europe 2001 |
Medium | [electronic resource] : |
Remainder of title | 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings / |
Statement of responsibility, etc | edited by Dirk Craeynest, Alfred Strohmeier. |
250 ## - EDITION STATEMENT | |
Edition statement | 1st ed. 2001. |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg : |
-- | Imprint: Springer, |
-- | 2001. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | XVI, 412 p. |
Other physical details | online resource. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, |
International Standard Serial Number | 1611-3349 ; |
Volume number/sequential designation | 2043 |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | 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 underContinuous Evolution -- Migrating Large Applications from Ada83 to Ada95 -- An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK. |
520 ## - SUMMARY, ETC. | |
Summary, etc | 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. Leuven and Ada- Belgium. This was the 21st consecutive year of Ada-Europe conferences and the sixth year of the conference focusing on the area of reliable software technologies. The use of software components in embedded systems is almost ubiquitous: planes fly by wire, train signalling systems are now computer based, mobile phones are digital devices, and biological, chemical, and manufacturing plants are controlled by software, to name only a few examples. Also other, non-embedded, mission-critical systems depend more and more upon software. For these products and processes, reliability is a key success factor, and often a safety-critical hard requirement. It is well known and has often been experienced that quality cannot be added to software as a mere afterthought. This also holds for reliability. Moreover, the reliability of a system is not due to and cannot be built upon a single technology. A wide range of approaches is needed, the most difficult issue being their purposeful integration. Goals of reliability must be precisely defined and included in the requirements, the development process must be controlled to achieve these goals, and sound development methods must be used to fulfill these non-functional requirements. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Software engineering. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Compilers (Computer programs). |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer programming. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer networks . |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computers, Special purpose. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Software Engineering. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Compilers and Interpreters. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Programming Techniques. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer Communication Networks. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Special Purpose and Application-Based Systems. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Craeynest, Dirk. |
Relator term | editor. |
Relator code | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Strohmeier, Alfred. |
Relator term | editor. |
Relator code | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
773 0# - HOST ITEM ENTRY | |
Title | Springer Nature eBook |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Display text | Printed edition: |
International Standard Book Number | 9783540421238 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Display text | Printed edition: |
International Standard Book Number | 9783662163986 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Lecture Notes in Computer Science, |
-- | 1611-3349 ; |
Volume number/sequential designation | 2043 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="https://doi.org/10.1007/3-540-45136-6">https://doi.org/10.1007/3-540-45136-6</a> |
912 ## - | |
-- | ZDB-2-SCS |
912 ## - | |
-- | ZDB-2-SXCS |
912 ## - | |
-- | ZDB-2-LNC |
912 ## - | |
-- | ZDB-2-BAE |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | eBooks-CSE-Springer |
No items available.