Ada 2005 Rationale [[electronic resource] ] : The Language, The Standard Libraries / / by John Barnes |
Autore | Barnes John |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XIII, 267 p.) |
Disciplina | 005.13/3 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters |
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. | UNISA-996465734103316 |
Barnes John
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Ada 2005 Rationale : The Language, The Standard Libraries / / by John Barnes |
Autore | Barnes John |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XIII, 267 p.) |
Disciplina | 005.13/3 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters |
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, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Ada 95, Quality and Style [[electronic resource] ] : Guidelines for Professional Programmers / / edited by Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit IV, Steven B. Opdahl |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (XV, 296 p.) |
Disciplina | 005.13/3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer science Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Computer Science, general |
ISBN | 3-540-69655-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465388903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Ada in Europe [[electronic resource] ] : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 / / edited by Marcel Toussaint |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (XII, 464 p.) |
Disciplina | 005.13/3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer programming Operating systems (Computers) Special purpose computers Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Operating Systems Special Purpose and Application-Based Systems |
ISBN | 3-540-49362-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Ada: A sceptical assessment -- Ada95 — An approach to overcome the software crisis? -- Safe Ada Executive: An executive for Ada safety critical applications -- Developing fault tolerant software in Ada for real-time dependable systems -- The practical application of safety techniques on an Ada based project -- Ada in mixed language applications -- Heterogeneous data structures and cross-classification of objects with Ada 95 -- An ANDF based Ada 95 compiler system -- Performance tuning of a check-out system coded in Ada -- Ariane 5: Development of the on-board software -- PRONAOS ground control center: First operational Ada application in C.N.E.S. -- ASIS for GNAT: Goals, problems and implementation strategy -- KBSE and Ada: Object and enabling technology -- Extending the Ada 95 initial conditions for preelaboration for use in real-time systems -- The use of Ada for the ENVISAT-1 simulator -- Objects at use in nautical simulators -- DIS — An interface to distributed interactive simulation -- PARIS — Partitioned Ada for Remotely Invoked Services -- Programming distributed systems with both Ada 95 and PVM -- Distributed object oriented programming and interoperability for Ada 95: An OMG/CORBA approach -- Distributed and parallel systems and HOOD4 -- ReverseNICE: A re-engineering methodology and supporting tool -- Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95 -- The introduction of an Object Oriented Analysis/Design method and Object Oriented Metrics in the software development life-cycle -- Modelling and validation of tasks with algebraic structured nets -- Design of concurrent software based on problem concurrency -- ECLIPS — A successful experiment combining CCSDS SFDUs, X/Motif, HOOD and Ada -- Applying Teamwork/Ada and RAISE for developing an Air Traffic Control application -- Breaking through the V and V bottleneck -- Periodic processing in hard real-time systems: Assessment of different design models in Ada -- Transaction specification for object-oriented real-time systems in HRT-HOOD -- Evaluation of a SPARC board equipped with the Ada Tasking Coprocessor (ATAC) -- Ada and timed automata -- Testing Ada 95 object-oriented programs -- Achieving reusable and reliable client-server code using HOODTM automated code generation for ADA95 and C++ targets -- Round table discussion: “Tools and design methods” held on October 4, 1995 -- Lampbada. |
Record Nr. | UNISA-996465581503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Ada in Europe [[electronic resource] ] : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 - 30, 1994. Proceedings / / edited by Marcel Toussaint |
Edizione | [1st ed. 1994.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
Descrizione fisica | 1 online resource (XII, 528 p.) |
Disciplina | 005.13/3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer programming Operating systems (Computers) Special purpose computers Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Operating Systems Special Purpose and Application-Based Systems |
ISBN | 3-540-49110-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Opening address: Ada 9X -- Run-time check elimination for Ada 9X -- Adequacy of the new generation of multithreading operating systems to the Ada Tasking Model -- Merging Ada 9X and C++ in a graphics system software architecture -- The AECSS fault tolerant distributed Ada testbed and application -- A front-end to HOOD -- Tool support for high integrity Ada software -- Testing Ada abstract data types using formal specifications -- Formal methods for a space software development environment -- Object orientation is not always best! -- Beyond abstract data types: Giving life to objects -- Test methods and tools for SOHO Mass Memory Unit software -- Integrating modular, Object Oriented Programming, and application generator technologies in large real time and distributed developments -- A new approach for HOOD/Ada mapping -- Shlaer/Mellor or Rumbaugh? A discussion of two popular Object-Oriented Methods -- How should military Ada software be documented? -- Evolving an Ada curriculum to 9X -- Recommendations and proposals for an Ada strategy in the Space Software Development Environment -- Life ADA: An APSE integrating multiple compilers -- Extended application of Ada to cover ECBS with O4S -- Development of a lightweight object-based software process model under pragmatic constraints -- ESSPASE: European Space Software Product Assurance Support Environment -- Test philosophy and validation stategy of on-board real time software in envisat-1 satellite radar-altimeter -- A knowledge-based System for diagnosis in Veterinary Medicine -- Event diagnosis and recovery in real-time on-board autonomous mission control -- Safety aspects of the Ariane 5 on-board software -- Ada controls the European robotic arm -- Automatic generation of ada source code for the Rafale Mission computer -- The Real-time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35 or How to avoid and control proliferation of new Ada Real time extensions -- A fully reusable class of objects for synchronization and communication in Ada 9X -- Interfacing computer communications from ada in a diverse and evolving environment -- Cost-benefit analysis for software-reuse — A decision procedure -- Ex2: Integrating Ada and extra support in a doubly portable extended executive designed for hard real time systems -- Distribution of tasks within a centrally scheduled local area network -- Handling interrupts in Ada 9X -- Tuning Ada programs in advance -- CEDEX A tool for the selection of a development and execution environment for real time on-bord applications -- Portability effort estimates for real time applications written in Ada through static code analysis -- FAA certification of Ada Run-Time Systems -- Panel on safety and reliability held on September 28, 1994 -- Experiences integrating object-oriented analysis with Joint Application Development (JAD). |
Record Nr. | UNISA-996466162003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Ada-Europe '93 [[electronic resource] ] : 12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993. Proceedings / / edited by Michel Gauthier |
Edizione | [1st ed. 1993.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (VIII, 360 p.) |
Disciplina | 005.13/3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Computer programming Software engineering Operating systems (Computers) Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Operating Systems |
ISBN | 3-540-47748-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Progress of Ada as an international standard: ISO/IEC JTC1/SC22 WG9 Ada status -- Graphics development in Ada -- The olympus attitude and orbital control system A case study in hard real-time system design and implementation -- Information systems support in Ada 9X -- The impact of Ada on MIS applications -- SAMeDL — A pilot project -- Applying Ada9X to two real time applications: A case study -- An efficient compiler validation method for Ada 9X -- Avoiding anomalies in inheritance schemes -- Object-oriented design of an air defence simulator -- A comparison of the object oriented features of Ada 9X and C++ -- Use and abuse of exceptions — 12 guidelines for proper exception handling -- Error-prone exception handling in large Ada systems -- Structuring iterators to encourage reuse -- Tool for computing cohesion and coupling in Ada programs: DIANA dependent part -- Data compatibility in a heterogeneous processor environment -- An operational computer aided software environment: ILIADE -- Performance expectations on Ada programs -- The impact of an Ada run-time system's performance characteristics on scheduling models -- Distributed run-time system, a protocol for Ada -- Certification of Ada real time executives for safety critical applications -- Performance evaluation of parallel Ada programs using an experimental multiprocessor -- Adam, an Ada simulation toolkit -- Real and virtual interrupt support: The mapping of a CARTS feature to two different architectures -- Toward a secondary standard for Hard Real-Time Ada: The Real-Time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35. |
Record Nr. | UNISA-996466085203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Ada: Moving Towards 2000 [[electronic resource] ] : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings / / edited by Jan van Katwijk |
Edizione | [1st ed. 1992.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
Descrizione fisica | 1 online resource (VIII, 328 p.) |
Disciplina | 005.13/3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer programming Operating systems (Computers) Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Operating Systems |
ISBN | 3-540-47240-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Distributed application designed using MASCOT and implemented in Ada -- Real time Ada in the International Space Station freedom -- Managing Ada object-oriented development -- Software engineering, Ada and metrics -- Using Ada source code generators in a large project -- Design and code metrics through a DIANA-based tool -- Using ADA in integrating ATC systems -- An evaluation of ADA source code reuse -- Porting embedded real-time ADA software -- Reusable executives for hard real-time systems in Ada -- Designing hard real-time systems -- Runtime system support for data-oriented synchronization in Ada-9X -- Decimal arithmetic in Ada -- Task Dependence Net as a representation for concurrent Ada programs -- Detection and avoidance of elaboration-time problems for multi-unit real-time Ada applications -- Simulation of Mosca specifications in Ada -- Considerations with regard to validation of Ada debuggers -- SWG APSE test support toolset (assessment of the CAIS-A interface set) -- Compilation Integration: A solution for the challenge of developing and reusing ada software on different platforms -- Extending working environments for the development of reactive/adaptive systems with intelligent controls -- Predicting the speedup of parallel Ada programs -- A highly parallel Ada task scheduler -- STRAda An Ada transformation and distribution system -- AMPATS A multi processor Ada tool set -- A practical use of the Ada Rendez-Vous paradigm in distributed systems. |
Record Nr. | UNISA-996465758403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced business programming with C++ 2005 [[electronic resource] /] / by Don Voils |
Autore | Voils Don |
Pubbl/distr/stampa | Wellington, FL, : White Feathers Publishing, c2007 |
Descrizione fisica | vi, (1674) p |
Disciplina | 005.13/3 |
Soggetto topico |
C++ (Computer program language)
Programming languages (Electronic computers) |
Soggetto genere / forma | Electronic books. |
ISBN |
1-281-18717-8
9786611187170 1-60557-140-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910454242303321 |
Voils Don
![]() |
||
Wellington, FL, : White Feathers Publishing, c2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced business programming with C++ 2005 [[electronic resource] /] / by Don Voils |
Autore | Voils Don |
Pubbl/distr/stampa | Wellington, FL, : White Feathers Publishing, c2007 |
Descrizione fisica | vi, (1674) p |
Disciplina | 005.13/3 |
Soggetto topico |
C++ (Computer program language)
Programming languages (Electronic computers) |
ISBN |
1-281-18717-8
9786611187170 1-60557-140-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910782062303321 |
Voils Don
![]() |
||
Wellington, FL, : White Feathers Publishing, c2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|