Ada-Europe '93

Ada-Europe '93
Author :
Publisher : Springer Science & Business Media
Total Pages : 372
Release :
ISBN-10 : 3540568026
ISBN-13 : 9783540568025
Rating : 4/5 (26 Downloads)

Book Synopsis Ada-Europe '93 by : Michel Gauthier

Download or read book Ada-Europe '93 written by Michel Gauthier and published by Springer Science & Business Media. This book was released on 1993-06-07 with total page 372 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings of the twelfth Ada-Europe conference, held in France in 1993. The French name "Ada sans fronti res" (the only French words in the book) symbolizes the unlimitedness and novelty of Ada, as well as Europe-wide interest. Many papers relate to Ada-9X, the new standard that the Ada coimmunity is close to achieving after worldwide consultation and debate about requirements, specification, anddetailed definition. Their focus is on management, real-time, and compiler validation. Part of the conference was on object orientation, together with various issues relating to the general structure of the language, including exceptions to a certain use of genericity and heterogeneous data, efficiency, formal requirements and CASEs, and comparison with a competitor language. A third part relates to real-time, past with performance measurement, present with certification andapplications, and future with the ExTRA project and 9X.


Ada-Europe '93 Related Books

Ada-Europe '93
Language: en
Pages: 372
Authors: Michel Gauthier
Categories: Computers
Type: BOOK - Published: 1993-06-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of the twelfth Ada-Europe conference, held in France in 1993. The French name "Ada sans fronti res" (the only French words
Ada-Europe '93
Language: en
Pages: 351
Authors: Michel Gauthier
Categories: Ada (Computer program language)
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

ADA-Europe '93
Language: en
Pages: 372
Authors: Michel Gauthier
Categories:
Type: BOOK - Published: 2014-09-12 - Publisher:

DOWNLOAD EBOOK

Reliable Software Technologies - Ada-Europe '98
Language: en
Pages: 316
Authors: Lars Asplund
Categories: Computers
Type: BOOK - Published: 1998-05-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in Uppsala, S
Reliable Software Technologies - Ada-Europe '97
Language: en
Pages: 308
Authors: Keith Hardy
Categories: Computers
Type: BOOK - Published: 1997-05-21 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, held in London, UK, in June 19