Research Catalog

Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2005) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 13-17, 2005, Double Tree Hotel-Atlanta/Buckhead, Atlanta, Georgia, USA

Title
Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2005) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 13-17, 2005, Double Tree Hotel-Atlanta/Buckhead, Atlanta, Georgia, USA / sponsored by the ACM Special Interest Group on Ada (SIGAda) ; in cooperation with SIGAPP, SIGCAS, SIGCSE, SIGPLAN, SIGSOFT & Ada Europe.
Author
SIGAda (Conference) (2005 : Atlanta, Ga.)
Publication
New York, N.Y. : Association for Computing Machinery, [2005], ©2005.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.73.A35 S485 2005gOff-site

Holdings

Details

Additional Authors
  • SIGAda.
  • Association for Computing Machinery.
Description
viii, 115 pages : illustrations; 28 cm
Alternative Title
  • Engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
  • SIGAda 2005
Subject
Note
  • "ACM order number 825050"--T.p. verso.
  • Includes index.
Contents
Scheduling and memory requirements analysis with AADL / F. Singhoff, J. Legrand, L. Nana and L. Marcc -- Modeling SPARK systems with UML / X. Sautejeau -- Optimizing the SPARK program slicer / R. E. Sward and L. C. Baird III -- Using ASIS to generate C++ bindings / H. Ausden and K. Nyberg -- Experimental performance analysis of Ada programs in cluster system / K. Alexandr, S. Imad and K. Dmitry -- Experiences using SPARK in an undergraduate CS course / A. S. Ruocco -- The implementation of Ada 2005 synchronized interfaces in the GNAT compiler / J. Miranda, E. Schonberg and H. Kirtchev -- Temporal skeletons for verifying time / G. Naeser, K. Lundqvist and L. Asplund -- The affordable application of formal methods to software engineering / J. F. Davis -- SafetyChip : a time monitoring and policing device / G. Naeser, L. Asplund and J. Furunas -- Orchestrating shots for the national ignition facility / D. G. Mathisen and R. W. Carey -- AspectAda - aspect oriented programming for Ada95 / K. H. Pedersen and C. Constantinides -- Data sharing between Ada and C/C++ / M. Mark -- A comparison of CORBA and Ada's distributed systems annex / A. Berns -- Ada in the avionics industry / G. Romanski.
ISBN
1595931856
OCLC
  • ocm64662254
  • SCSB-5243234
Owning Institutions
Columbia University Libraries