Coverart for item
The Resource Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings, Alfred Strohmeier, ed

Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings, Alfred Strohmeier, ed

Label
Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings
Title
Reliable software technologies, Ada-Europe '96
Title remainder
1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings
Statement of responsibility
Alfred Strohmeier, ed
Creator
Contributor
Subject
Genre
Language
eng
Summary
"This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Switzerland, in June 1996. The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of reliable software in general. Among the issues addressed are software development methods, verification and validation, safety and security, distributed systems, real-time systems, compilers and tools, the Ada 95 language, and interfaces to other worlds."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
QA76.73.A16
LC item number
A23 1996
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1996
http://bibfra.me/vocab/lite/meetingName
Ada-Europe International Conference on Reliable Software Technologies
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1946-
http://library.link/vocab/relatedWorkOrContributorName
Strohmeier, Alfred
http://library.link/vocab/subjectName
  • Ada (Computer program language)
  • Computer software
  • fiabilité logiciel
  • logiciel critique
  • interfaçage
  • compilateur Ada
  • temps réel
  • système réparti
  • sécurité
  • méthode développement logiciel
  • ADA-95
  • ADA
  • Ada (Langage de programmation)
  • Logiciels
  • Ada (Computer program language)
  • Computer software
  • Programmatuurtechniek
  • Betrouwbaarheid
  • Logiciels
  • Ada (langage de programmation)
Label
Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings, Alfred Strohmeier, ed
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Programming the Internet in Ada 95 / S. Tucker Taft -- Reliability Modeling for Safety Critical Software / Norman F. Schneidewind -- Fault-Tolerance by Replication in Distributed Systems / Rachid Guerraoui and Andre Schiper -- Ada 95: An Effective Concurrent Programming Language / Alan Burns and Andy J. Wellings -- Mapping HRT-HOOD Designs to Ada 95 Hierarchical Libraries / Juan Antonio de la Puente, Alejandro Alonso and Angel Alvarez -- An Approach to Increasing Software Component Reusability in Ada / Hyoseob Kim and Cornelia Boldyreff -- Iterative Software Development for Large Ada Programs / Philippe Kruchten and Christopher J. Thompson -- HCSD Unit Development Process: Step-Wise Process Improvement / David Emery and Jaswinder S. Madhur -- Testing Ada 95 Programs for Conformance to Rapide Architectures / Neel Madhav -- Tasking Deadlocks in Ada 95 Programs and Their Detection / Jingde Cheng and Kazuo Ushijima
Dimensions
24 cm.
Dimensions
unknown
Extent
xi, 511 pages
File format
unknown
Isbn
9783540613176
Lccn
96019935
Level of compression
unknown
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Quality assurance targets
unknown
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)34742340
  • (OCoLC)ocm34742340
Label
Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings, Alfred Strohmeier, ed
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Programming the Internet in Ada 95 / S. Tucker Taft -- Reliability Modeling for Safety Critical Software / Norman F. Schneidewind -- Fault-Tolerance by Replication in Distributed Systems / Rachid Guerraoui and Andre Schiper -- Ada 95: An Effective Concurrent Programming Language / Alan Burns and Andy J. Wellings -- Mapping HRT-HOOD Designs to Ada 95 Hierarchical Libraries / Juan Antonio de la Puente, Alejandro Alonso and Angel Alvarez -- An Approach to Increasing Software Component Reusability in Ada / Hyoseob Kim and Cornelia Boldyreff -- Iterative Software Development for Large Ada Programs / Philippe Kruchten and Christopher J. Thompson -- HCSD Unit Development Process: Step-Wise Process Improvement / David Emery and Jaswinder S. Madhur -- Testing Ada 95 Programs for Conformance to Rapide Architectures / Neel Madhav -- Tasking Deadlocks in Ada 95 Programs and Their Detection / Jingde Cheng and Kazuo Ushijima
Dimensions
24 cm.
Dimensions
unknown
Extent
xi, 511 pages
File format
unknown
Isbn
9783540613176
Lccn
96019935
Level of compression
unknown
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Quality assurance targets
unknown
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)34742340
  • (OCoLC)ocm34742340

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...