Listing 1 - 2 of 2 |
Sort by
|
Choose an application
The Ada 2005 Reference Manual combines the International Standard ISO/IEC 8652/1995(E) for the programming language Ada with the corrections of the Technical Corrigendum 1 approved by ISO in February 2001 and with the Amendment 1 expected to be approved by ISO in late 2006 or early 2007. Both the Technical Corrigendum 1 and the Amendment 1 list only the changes made to the International Standard. The Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions as an indispensable working companion for anybody using Ada professionally or learning and studying the language systematically. In naming this version, we have chosen the vernacular term Ada 2005 used by the Ada community to refer to the interesting extensions made to the language Ada by the Amendment 1.
Ada (Computer program language) --- Ada (Langage de programmation) --- EPUB-LIV-FT SPRINGER-B --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Software Engineering. --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Programming languages (Electronic computers) --- Information Technology --- Computer Science (Hardware & Networks)
Choose an application
The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIG Ada. It was organized by members of the School of Engineering of the Polytechnic Institute of Porto, in collaboration with several colleagues from different institutions in Europe. Following the usual style, the conference included a three-day technical p- gram, during which the papers contained in these proceedings were presented, bracketed by two tutorial days where attendants had the opportunity to catch up on a variety of topics related to the field, at both introductory and advanced levels. Continuing the success achieved in the previous year, the technical program also included an industrial track, with contributions illustrating challenges faced and solutions encountered by industrialists from both sides of the Atlantic. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development.
Computer software --- Ada (Computer program language) --- Logiciels --- Ada (Langage de programmation) --- Reliability --- Congresses. --- Fiabilité --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Software Engineering --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Management information systems. --- Computer Science. --- Software Engineering. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- Management of Computing and Information Systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Special purpose computers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Communication systems --- Programming --- Distributed processing --- Information Systems.
Listing 1 - 2 of 2 |
Sort by
|