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.
Reliable Software Technologies – Ada-Europe 2017 [[electronic resource] ] : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings / / edited by Johann Blieberger, Markus Bader
| Reliable Software Technologies – Ada-Europe 2017 [[electronic resource] ] : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings / / edited by Johann Blieberger, Markus Bader |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 251 p. 61 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Special purpose computers Computer logic Operating systems (Computers) Programming Languages, Compilers, Interpreters Software Engineering Special Purpose and Application-Based Systems Logics and Meanings of Programs Operating Systems |
| ISBN | 3-319-60588-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Runtimes -- Safety and security -- Timing verification -- Programming models -- The future of safety-minded languages -- Mixed criticality. |
| Record Nr. | UNISA-996466455903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reliable Software Technologies – Ada-Europe 2017 [[electronic resource] ] : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings / / edited by Johann Blieberger, Markus Bader
| Reliable Software Technologies – Ada-Europe 2017 [[electronic resource] ] : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings / / edited by Johann Blieberger, Markus Bader |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 251 p. 61 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Special purpose computers Computer logic Operating systems (Computers) Programming Languages, Compilers, Interpreters Software Engineering Special Purpose and Application-Based Systems Logics and Meanings of Programs Operating Systems |
| ISBN | 3-319-60588-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Runtimes -- Safety and security -- Timing verification -- Programming models -- The future of safety-minded languages -- Mixed criticality. |
| Record Nr. | UNINA-9910484528003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reliable software technologies-Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings / / Johann Blieberger, Alfred Streohmeier (editors)
| Reliable software technologies-Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings / / Johann Blieberger, Alfred Streohmeier (editors) |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2004] |
| Descrizione fisica | 1 online resource (XIV, 370 p.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Computer software - Reliability |
| ISBN | 3-540-48046-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Embedded Systems Unsuitable for Object Orientation -- On Architectural Stability and Evolution -- Encapsulating Failure Detection: From Crash to Byzantine Failures -- Contextware: Bridging Physical and Virtual Worlds -- Embedded Systems -- Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors -- OMC-INTEGRAL Memory Management -- Language Issues of Compiling Ada to Hardware -- Case Studies -- Software Development Reengineering — An Experience Report -- Development of a Control System for Teleoperated Robots Using UML and Ada95 -- Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications -- Real-Time Systems -- A POSIX-Ada Interface for Application-Defined Scheduling -- High-Integrity Systems -- Closing the Loop: The Influence of Code Analysis on Design -- High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT -- Ada Language -- How to Use GNAT to Efficiently Preprocess New Ada Sentences -- Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada -- Adding Design by Contract to the Ada Language -- Program Analysis -- Static Dependency Analysis for Concurrent Ada 95 Programs -- DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 -- Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study -- Tools -- About the Difficulties of Building a Pretty-Printer for Ada -- A Tailorable Distributed Programming Environment -- Distributed Systems -- Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components -- Transparent Environment for Replicated Ravenscar Applications -- Concurrency Control in Transactional Drago -- Libraries, APIs, and Bindings -- An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard -- GNAT Ada Database Development Environment -- Object-Orientation -- Ada, Interfaces and the Listener Paradigm -- Using Object Orientation in High Integrity Applications: A Case Study. |
| Record Nr. | UNINA-9910143902103321 |
| Berlin, Germany : , : Springer, , [2004] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reliable software technologies-Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings / / Johann Blieberger, Alfred Streohmeier (editors)
| Reliable software technologies-Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings / / Johann Blieberger, Alfred Streohmeier (editors) |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2004] |
| Descrizione fisica | 1 online resource (XIV, 370 p.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Computer software - Reliability |
| ISBN | 3-540-48046-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Embedded Systems Unsuitable for Object Orientation -- On Architectural Stability and Evolution -- Encapsulating Failure Detection: From Crash to Byzantine Failures -- Contextware: Bridging Physical and Virtual Worlds -- Embedded Systems -- Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors -- OMC-INTEGRAL Memory Management -- Language Issues of Compiling Ada to Hardware -- Case Studies -- Software Development Reengineering — An Experience Report -- Development of a Control System for Teleoperated Robots Using UML and Ada95 -- Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications -- Real-Time Systems -- A POSIX-Ada Interface for Application-Defined Scheduling -- High-Integrity Systems -- Closing the Loop: The Influence of Code Analysis on Design -- High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT -- Ada Language -- How to Use GNAT to Efficiently Preprocess New Ada Sentences -- Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada -- Adding Design by Contract to the Ada Language -- Program Analysis -- Static Dependency Analysis for Concurrent Ada 95 Programs -- DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 -- Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study -- Tools -- About the Difficulties of Building a Pretty-Printer for Ada -- A Tailorable Distributed Programming Environment -- Distributed Systems -- Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components -- Transparent Environment for Replicated Ravenscar Applications -- Concurrency Control in Transactional Drago -- Libraries, APIs, and Bindings -- An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard -- GNAT Ada Database Development Environment -- Object-Orientation -- Ada, Interfaces and the Listener Paradigm -- Using Object Orientation in High Integrity Applications: A Case Study. |
| Record Nr. | UNISA-996465533303316 |
| Berlin, Germany : , : Springer, , [2004] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||