Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Ada 2005 rationale : the language, the standard libraries / / John Barnes
| Ada 2005 rationale : the language, the standard libraries / / John Barnes |
| Autore | Barnes John |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2008 |
| Descrizione fisica | 1 online resource (XIII, 267 p.) |
| Disciplina | 005.13/3 |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico | Ada (Computer program language) |
| ISBN | 3-540-79701-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Object Oriented Model -- Access Types -- Structure and Visibility -- Tasking and Real-Time -- Exceptions, Generics etc. -- Predefined Library -- Containers -- Epilogue. |
| Record Nr. | UNINA-9910484817403321 |
Barnes John
|
||
| Berlin ; ; New York, : Springer, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ada 2005 reference manual : language and standard libraries, international standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / / edited by S. Tucker Taft [and four others]
| Ada 2005 reference manual : language and standard libraries, international standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / / edited by S. Tucker Taft [and four others] |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2006] |
| Descrizione fisica | 1 online resource (XXIX, 765 p.) |
| Disciplina | 005.133 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Ada (Computer program language) |
| ISBN |
1-280-86402-8
9786610864027 3-540-69336-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section 1: General -- Section 1: General -- Section 2: Lexical Elements -- Section 3: Declarations and Types -- Section 4: Names and Expressions -- Section 5: Statements -- Section 6: Subprograms -- Section 7: Packages -- Section 8: Visibility Rules -- Section 9: Tasks and Synchronization -- Section 10: Program Structure and Compilation Issues -- Section 11: Exceptions -- Section 12: Generic Units -- Section 13: Representation Issues -- The Standard Libraries -- Annex A (normative): Predefined Language Environment -- Annex B (normative): Interface to Other Languages -- Annex C (normative): Systems Programming -- Annex D (normative): Real-Time Systems -- Annex E (normative): Distributed Systems -- Annex F (normative): Information Systems -- Annex G (normative): Numerics -- Annex H (normative): High Integrity Systems -- Annex J (normative): Obsolescent Features -- Annex K (informative): Language-Defined Attributes -- Annex L (informative): Language-Defined Pragmas -- Annex M (informative): Summary of Documentation Requirements -- Annex N (informative): Glossary -- Annex P (informative): Syntax Summary -- Annex Q (informative): Language-Defined Entities. |
| Record Nr. | UNINA-9910484912203321 |
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2006] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ada 2005 reference manual : language and standard libraries, international standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / / edited by S. Tucker Taft [and four others]
| Ada 2005 reference manual : language and standard libraries, international standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / / edited by S. Tucker Taft [and four others] |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2006] |
| Descrizione fisica | 1 online resource (XXIX, 765 p.) |
| Disciplina | 005.133 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Ada (Computer program language) |
| ISBN |
1-280-86402-8
9786610864027 3-540-69336-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section 1: General -- Section 1: General -- Section 2: Lexical Elements -- Section 3: Declarations and Types -- Section 4: Names and Expressions -- Section 5: Statements -- Section 6: Subprograms -- Section 7: Packages -- Section 8: Visibility Rules -- Section 9: Tasks and Synchronization -- Section 10: Program Structure and Compilation Issues -- Section 11: Exceptions -- Section 12: Generic Units -- Section 13: Representation Issues -- The Standard Libraries -- Annex A (normative): Predefined Language Environment -- Annex B (normative): Interface to Other Languages -- Annex C (normative): Systems Programming -- Annex D (normative): Real-Time Systems -- Annex E (normative): Distributed Systems -- Annex F (normative): Information Systems -- Annex G (normative): Numerics -- Annex H (normative): High Integrity Systems -- Annex J (normative): Obsolescent Features -- Annex K (informative): Language-Defined Attributes -- Annex L (informative): Language-Defined Pragmas -- Annex M (informative): Summary of Documentation Requirements -- Annex N (informative): Glossary -- Annex P (informative): Syntax Summary -- Annex Q (informative): Language-Defined Entities. |
| Record Nr. | UNISA-996465873503316 |
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2006] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ada 2012 rationale [[electronic resource] ] : the language -- the standard libraries / / by John Barnes
| Ada 2012 rationale [[electronic resource] ] : the language -- the standard libraries / / by John Barnes |
| Autore | Barnes J. G. P (John Gilbert Presslie) |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XI, 213 p. 3 illus.) |
| Disciplina | 005.133 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Ada (Computer program language)
Programming Languages, Compilers, Interpreters Operating Systems Programming Techniques Software Engineering |
| ISBN | 3-642-45210-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking and Real-Time -- Iterators, Pools, etc -- Overview of changes -- Predefined Library -- Containers -- Epilogue. |
| Record Nr. | UNISA-996465638203316 |
|
Barnes J. G. P (John Gilbert Presslie)
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ada 2012 rationale : the language -- the standard libraries / / by John Barnes
| Ada 2012 rationale : the language -- the standard libraries / / by John Barnes |
| Autore | Barnes J. G. P (John Gilbert Presslie) |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XI, 213 p. 3 illus.) |
| Disciplina | 005.133 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Ada (Computer program language)
Programming Languages, Compilers, Interpreters Operating Systems Programming Techniques Software Engineering |
| ISBN | 3-642-45210-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking and Real-Time -- Iterators, Pools, etc -- Overview of changes -- Predefined Library -- Containers -- Epilogue. |
| Record Nr. | UNINA-9910484231303321 |
|
Barnes J. G. P (John Gilbert Presslie)
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ada 95 rationale [[electronic resource] ] : the language - the standard libraries / / edited by John Barnes
| Ada 95 rationale [[electronic resource] ] : the language - the standard libraries / / edited by John Barnes |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (XII, 466 p.) |
| Disciplina | 005.13/3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Ada (Computer program language)
Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering |
| ISBN | 3-540-69189-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Evolution of Ada 95 -- Highlights of Ada 95 -- Overview of the Ada language -- Lexical elements -- Types and expressions -- Object oriented programming -- Statements -- Subprograms -- Packages -- Visibility rules -- Tasking -- Program structure and compilation issues -- Exceptions -- Generics -- Representation issues. |
| Record Nr. | UNISA-996465398603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ada and beyond [[electronic resource] ] : software policies for the Department of Defense / / Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council
| Ada and beyond [[electronic resource] ] : software policies for the Department of Defense / / Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council |
| Pubbl/distr/stampa | Washington, D.C., : National Academy Press, 1997 |
| Descrizione fisica | 1 online resource (113 p.) |
| Soggetto topico | Ada (Computer program language) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-19210-0
9786610192106 0-309-58980-0 0-585-00251-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910455761003321 |
| Washington, D.C., : National Academy Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ada and beyond [[electronic resource] ] : software policies for the Department of Defense / / Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council
| Ada and beyond [[electronic resource] ] : software policies for the Department of Defense / / Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council |
| Pubbl/distr/stampa | Washington, D.C., : National Academy Press, 1997 |
| Descrizione fisica | 1 online resource (113 p.) |
| Soggetto topico | Ada (Computer program language) |
| ISBN |
1-280-19210-0
9786610192106 0-309-58980-0 0-585-00251-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910778671903321 |
| Washington, D.C., : National Academy Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ada and beyond : software policies for the Department of Defense / / Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council
| Ada and beyond : software policies for the Department of Defense / / Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Washington, D.C., : National Academy Press, 1997 |
| Descrizione fisica | 1 online resource (113 p.) |
| Soggetto topico | Ada (Computer program language) |
| ISBN |
1-280-19210-0
9786610192106 0-309-58980-0 0-585-00251-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Ada and Beyond -- Copyright -- Preface -- Contents -- Executive Summary -- WHAT SHOULD THE DEPARTMENT OF DEFENSE DO ABOUT THE ADA PROGRAMMING LANGUAGE? -- CONTEXT AND TRENDS -- FINDINGS AND RECOMMENDATIONS -- Ada Competitive Advantage -- Applicability of Policy to DOD Domains -- Scope of Policy -- Policy Implementation -- Investment in Ada -- Software Metrics Data -- WHAT THE DEPARTMENT OF DEFENSE SHOULD DO ABOUT ADA -- ORGANIZATION OF THIS REPORT -- 1 The Changing Context for DOD Software Development -- GROWTH IN THE COMMERCIAL SOFTWARE INDUSTRY -- OBSTACLES TO BROAD ADOPTION OF ADA -- Low Commercial Awareness and Limited Sponsorship -- Limited Extent of Academic Instruction in Ada -- Limited Availability of Ada Tools and Compilers -- Assumption That Ada Has to Control Everything -- Need for Ada-compatible Application Programming Interfaces -- Labor Market Forces -- DOD PROGRAMMING LANGUAGE POLICY -- Policy History -- Ada's Place in Current DOD Programming Language Policy -- Implementation of Policy on Waivers -- Importance of Appropriate Expertise -- Level of Applicability -- Implications -- DOD INVESTMENT STRATEGY -- SUMMARY OF ADA TRENDS -- CRITICAL QUESTIONS -- NOTES -- 2 Software Engineering and the Role of Ada in DOD Systems -- SOFTWARE ENGINEERING PROCESS AND ARCHITECTURE -- Economics of Software Engineering -- Reducing the Complexity of Software Products -- Improving Software Processes -- Influence of Software Environments, Tools, and Languages on the Software Engineering Process -- TECHNICAL EVALUATION OF ADA 95 AND OTHER THIRD-GENERATION PROGRAMMING LANGUAGES -- AVAILABLE COMPARISONS OF ADA 83 AND OTHER THIRD-GENERATION PROGRAMMING LANGUAGES -- Analyses of Language Features -- Comparisons of Empirical Data -- Anecdotal Experience from Projects -- THE NEED TO INSTITUTE COLLECTION OF DATA FOR SOFTWARE METRICS -- NOTES.
3 DOD Software Policy: Analysis and Recommendations -- POLICY OBJECTIVES AND CRITERIA RELEVANT TO MEETING THEM -- Relating Criteria to Objectives -- Critical Criteria in DOD's Selection of a Programming Language -- Warfighting and Commercially Dominated Applications -- Warfighting Applications -- Commercially Dominated Applications -- ADA BUSINESS-CASE ANALYSIS -- Criteria for Evaluation of Ada -- Software Size -- Process -- Environment -- Personnel -- High Assurance and Real-Time Performance -- Ease of Change -- Socio-Technical Infrastructure -- Conclusions -- FINDINGS AND RECOMMENDATIONS -- Ada Competitive Advantage -- Applicability of Policy to DOD Domains -- Scope of Policy -- Policy Implementation -- Investment in Ada -- Software Metrics Data -- ASSESSMENT OF POLICY ALTERNATIVES -- Conditions for Requiring Ada -- Application Subsystem Is in the Warfighting Sector -- Maintenance Is Directed by DOD -- Subsystem Is Critical or Larger Than 10, 000 Lines of Code -- No Better COTS, NDI, or 4GL Solution Exists -- No Life-cycle Cost-effectiveness Consideration Justifies Use of Another Language -- Ada Requirement -- 95 Percent or More of the Subsystem 's Warfighting Software Is to Be Written in Ada -- Language Choice Process -- Replace the Waiver Approval Process with Other DOD Software Reviews -- Reconsider the Level at Which Waivers Can Be Approved -- Investment in Ada Infrastructure -- ECONOMIC ANALYSIS OF INVESTMENT IN ADA INFRASTRUCTURE -- NOTES -- 4 Implementation of Recommended DOD Software Policy -- RECOMMENDED POLICY FOR CHOICE OF PROGRAMMING LANGUAGE -- Goals of Software Development -- Guidelines for Choice of Programming Language -- Recommended Policy for Requiring the Use of the Ada Programming Language -- SOFTWARE ENGINEERING PLAN REVIEW PROCESS -- Policy Framework -- Stakeholder Role -- Approval Authority and Milestones. Submission of Software Engineering Plans -- Software Engineering Codes -- NOTES -- 5 Implementation of Recommended Strategy for Investment in Ada -- GOALS OF THE INVESTMENT STRATEGY -- ADA INVESTMENT STRATEGY -- Language Maintenance and Enhancement -- Support for Ada Compilers, Tools, and Application Programming Interfaces -- Curriculum Development -- Centralized Support Organization -- DETAILED PLAN FOR INVESTMENTS IN ADA TECHNOLOGY AND SUPPORT -- CONCLUSION -- NOTES -- Bibliography -- Appendixes -- Appendix A DOD Draft Software Management Policy Directive with Further Modifications Suggested by t... -- INTRODUCTION -- PROPOSED TEMPLATE FOR DOD DIRECTIVE ON SOFTWARE MANAGEMENT -- Appendix B Technical Descriptions of Ada and Other Third-Generation Programming Languages -- ADA 83 -- ADA 95 -- C -- C++ -- JAVA -- DOMAIN-SPECIFIC COMPARISON -- Appendix C -- Appendix D Detailed Comparisons of Ada and Other Third-Generation Programming Languages -- EVALUATIONS OF LANGUAGE FEATURES -- PROJECT EVALUATION DATA -- Open-Source Data -- Proprietary Data -- Cost -- Delivered Defects -- Reliability -- Productivity -- CONCLUSION -- Appendix E Briefings and Position Papers Received by the Committee -- BRIEFINGS -- POSITION PAPERS. |
| Record Nr. | UNINA-9910817710103321 |
| Washington, D.C., : National Academy Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ada letters : a bimonthly publication of AdaTEC
| Ada letters : a bimonthly publication of AdaTEC |
| Pubbl/distr/stampa | New York, N.Y., : ACM, 1981- |
| Disciplina | 001.64 |
| Soggetto topico | Ada (Computer program language) |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1557-9476 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
ACM SIGAda letters
ACM Ada letters SIGAda letters ACM SIGAda Ada letters Association for Computing Machinery Ada letters |
| Record Nr. | UNISA-996200660403316 |
| New York, N.Y., : ACM, 1981- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
