Proceedings, ACM SIGAda Annual International Conference (SIGAda"99)
Read Online
Share

Proceedings, ACM SIGAda Annual International Conference (SIGAda"99) October 17-21, 1999, Crowne Plaza, Redondo Beach & Marina Hotel, Redondo Beach, CA, USA. by SIGAda (Conference) (1999 Redondo Beach, Calif.)

  • 988 Want to read
  • ·
  • 2 Currently reading

Published by ACM Press in New York .
Written in English

Subjects:

  • Ada (Computer program language) -- Congresses.

Book details:

Edition Notes

GenreCongresses.
ContributionsSIGAda., Ada-Europe (Organization)
Classifications
LC ClassificationsQA76.73.A16 S54 1999
The Physical Object
Paginationxiv, 251 p. :
Number of Pages251
ID Numbers
Open LibraryOL6886088M
ISBN 101581131275
LC Control Number00501287

Download Proceedings, ACM SIGAda Annual International Conference (SIGAda"99)

PDF EPUB FB2 MOBI RTF

SPLASH ' Conference on Systems, Programming, Languages, and Applications, Software for Humanity Virtual USA November, Virtual USA November,   Get this from a library! Proceedings of the ACM SIGAda Annual International Conference (SIGAda ): the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies: November , , Double Tree Hotel-Atlanta/Buckhead, Atlanta, Georgia, USA. [SIGAda.; Association for Computing Machinery.;. Proceedings of the annual ACM SIGAda international More. Welcome to the Annual International Conference of the Association for Computing Machinery's (ACM's) Special Interest Group on the Ada Programming Language (SIGAda), being held in Denver, Colorado, in the heart of the western United States.

Welcome from the SIGAda, Conference, and Program Committee Chairs Welcome to ACM SIGAda's Annual International Conference -- the yearly "meeting place" of the Ada community! We offer you a conference featuring a top-quality technical program focused on important strengths of Ada: distributed, real-time, and embedded systems. Proceedings ACM SIGAda Annual International Conference (SIGAda ) September 30 - October 4, Twin Cities Best Western The Thunderbird Hotel & Convention Center Bloomington, MN USA Sponsored by the ACM Special Interest Group on Ada. The ACM International Conference Proceeding Series (ICPS) provides a mechanism to publish the contents of conferences, technical symposia and workshops and thereby increase their visibility among the international computing community. ACM Proceedings Conference proceedings capture innovation across the spectrum of computing fields by publishing refereed research findings and invited papers from ACM conferences, workshops and symposia. In the field of computing, conferences constitute a vital channel for publications because they are the venue where cutting edge research is.

Reuse of software, and formal verification, are two important problems of software engineering. A great deal of effort has been expended on each these two problems separately, but with limited success. Get this from a library! Proceedings of the annual ACM SIGAda international conference on Ada.. [Association for Computing Machinery Special Interest Group on Computer Science Education; Association for Computing Machinery Special Interest Group on Computers and Society; ACM Special Interest Group on Ada Programming Language.;. ACM Conference Proceedings. ACM’s Special Interest Groups (SIGs) sponsor more than computing conferences, workshops, and symposia around the world. These events, which mirror the state-of-the-art in their respective fields, attract renowned experts from a . Get this from a library! Proceedings of the annual ACM SIGAda international conference on Ada.. [Association for Computing Machinery Special Interest Group on Computers and Society; ACM Special Interest Group on Ada Programming Language.; Association for Computing Machinery Special Interest Group on Software Engineering; ACM Special Interest Group on Applied Computing.;.