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 2015 [[electronic resource] ] : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / / edited by Juan Antonio de la Puente, Tullio Vardanega
| Reliable Software Technologies – Ada-Europe 2015 [[electronic resource] ] : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / / edited by Juan Antonio de la Puente, Tullio Vardanega |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 229 p. 68 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Special purpose computers Computer logic Mathematical logic Programming Languages, Compilers, Interpreters Software Engineering Special Purpose and Application-Based Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-319-19584-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning -- The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission.- Extensible Debugger Framework for Extensible Languages -- Static Backward Program Slicing for Safety-Critical Systems.- A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring.- Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS -- Guaranteeing Timing Requirements in the IXV on-Board Software.- Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later.- The CONCERTO Methodology for Model-Based Development of Avionics Software.- From AADL Model to LNT Specification.- Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases.- Challenges in the Implementation of MrsP -- An Execution Model for Fine-Grained Parallelism in Ada -- AFDX Emulator for an ARINC-Based Training Platform. |
| Record Nr. | UNISA-996198523603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reliable Software Technologies – Ada-Europe 2016 [[electronic resource] ] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / / edited by Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones
| Reliable Software Technologies – Ada-Europe 2016 [[electronic resource] ] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / / edited by Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 213 p. 59 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Special purpose computers Computer logic Mathematical logic Programming Languages, Compilers, Interpreters Software Engineering Special Purpose and Application-Based Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-319-39083-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Why the Expressive Power of Programming Languages such as Ada Is Needed for Future Cyber Physical Systems -- Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model -- Eliminating Data Race Warnings Using CSP -- Real-Time Stream Processing in Java -- Addressing the Regression Test Problem with Change Impact Analysis for Ada -- Test Case Prioritization Using Online Fault Detection Information -- An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine -- Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development -- Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance -- Kronecker Algebra for Static Analysis of Barriers in Ada -- An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling -- The Polling Effect on the Schedulability of Distributed Real-Time Systems -- Combining Time-Triggered Plans with Priority Scheduled Task Sets. . |
| Record Nr. | UNINA-9910484830203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reliable Software Technologies – Ada-Europe 2016 [[electronic resource] ] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / / edited by Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones
| Reliable Software Technologies – Ada-Europe 2016 [[electronic resource] ] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / / edited by Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 213 p. 59 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Special purpose computers Computer logic Mathematical logic Programming Languages, Compilers, Interpreters Software Engineering Special Purpose and Application-Based Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-319-39083-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Why the Expressive Power of Programming Languages such as Ada Is Needed for Future Cyber Physical Systems -- Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model -- Eliminating Data Race Warnings Using CSP -- Real-Time Stream Processing in Java -- Addressing the Regression Test Problem with Change Impact Analysis for Ada -- Test Case Prioritization Using Online Fault Detection Information -- An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine -- Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development -- Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance -- Kronecker Algebra for Static Analysis of Barriers in Ada -- An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling -- The Polling Effect on the Schedulability of Distributed Real-Time Systems -- Combining Time-Triggered Plans with Priority Scheduled Task Sets. . |
| Record Nr. | UNISA-996465679603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reliable Software Technologies – Ada-Europe 2018 [[electronic resource] ] : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / / edited by António Casimiro, Pedro M. Ferreira
| Reliable Software Technologies – Ada-Europe 2018 [[electronic resource] ] : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / / edited by António Casimiro, Pedro M. Ferreira |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 175 p. 58 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Computer hardware Computer logic Data structures (Computer science) E-commerce Software Engineering/Programming and Operating Systems Computer Systems Organization and Communication Networks Computer Hardware Logics and Meanings of Programs Data Structures and Information Theory e-Commerce/e-business |
| ISBN | 3-319-92432-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Safety and Security -- Using Safety Contracts to Verify Design Assumptions During Runtime -- Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation -- Ada 202X -- Safe Dynamic Memory Management in Ada and SPARK -- Safe Non-Blocking Synchronization in Ada2x -- Handling Implicit Overhead -- On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks -- Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling -- Real-Time Scheduling -- Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar -- Theory and Practice of EDF Scheduling in Distributed Real-Time Systems -- New Application Domains -- Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP -- Microservice-based Agile Architectures: an Opportunity for Specialized Niche Technologies. |
| Record Nr. | UNINA-9910349436103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reliable Software Technologies – Ada-Europe 2018 [[electronic resource] ] : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / / edited by António Casimiro, Pedro M. Ferreira
| Reliable Software Technologies – Ada-Europe 2018 [[electronic resource] ] : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / / edited by António Casimiro, Pedro M. Ferreira |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 175 p. 58 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Computer hardware Computer logic Data structures (Computer science) E-commerce Software Engineering/Programming and Operating Systems Computer Systems Organization and Communication Networks Computer Hardware Logics and Meanings of Programs Data Structures and Information Theory e-Commerce/e-business |
| ISBN | 3-319-92432-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Safety and Security -- Using Safety Contracts to Verify Design Assumptions During Runtime -- Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation -- Ada 202X -- Safe Dynamic Memory Management in Ada and SPARK -- Safe Non-Blocking Synchronization in Ada2x -- Handling Implicit Overhead -- On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks -- Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling -- Real-Time Scheduling -- Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar -- Theory and Practice of EDF Scheduling in Distributed Real-Time Systems -- New Application Domains -- Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP -- Microservice-based Agile Architectures: an Opportunity for Specialized Niche Technologies. |
| Record Nr. | UNISA-996465800703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Requirements Engineering for Internet of Things [[electronic resource] ] : 4th Asia-Pacific Symposium, APRES 2017, Melaka, Malaysia, November 9–10, 2017, Proceedings / / edited by Massila Kamalrudin, Sabrina Ahmad, Naveed Ikram
| Requirements Engineering for Internet of Things [[electronic resource] ] : 4th Asia-Pacific Symposium, APRES 2017, Melaka, Malaysia, November 9–10, 2017, Proceedings / / edited by Massila Kamalrudin, Sabrina Ahmad, Naveed Ikram |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 205 p. 72 illus.) |
| Disciplina | 005 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Application software Software Engineering Computer Appl. in Administrative Data Processing |
| ISBN | 981-10-7796-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Big data -- Cyber security -- Crowd-sourcing -- Requirements challenges -- Automation. |
| Record Nr. | UNINA-9910299287803321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Requirements Engineering in the Big Data Era [[electronic resource] ] : Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18–20, 2015, Proceedings / / edited by Lin Liu, Mikio Aoyama
| Requirements Engineering in the Big Data Era [[electronic resource] ] : Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18–20, 2015, Proceedings / / edited by Lin Liu, Mikio Aoyama |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 185 p. 74 illus. in color.) |
| Disciplina | 005 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computers Data mining Software Engineering Models and Principles Data Mining and Knowledge Discovery |
| ISBN | 3-662-48634-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements engineering in the big data era -- Automated requirements analysis.-Requirements acquisition via crowdsourcing -- Requirement processes and specifications -- Requirements engineering tools. |
| Record Nr. | UNINA-9910298961703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Requirements Engineering: Foundation for Software Quality [[electronic resource] ] : 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings / / edited by Erik Kamsties, Jennifer Horkoff, Fabiano Dalpiaz
| Requirements Engineering: Foundation for Software Quality [[electronic resource] ] : 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings / / edited by Erik Kamsties, Jennifer Horkoff, Fabiano Dalpiaz |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVII, 369 p. 66 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Application software Artificial intelligence User interfaces (Computer systems) Software Engineering Programming Languages, Compilers, Interpreters Information Systems Applications (incl. Internet) Artificial Intelligence User Interfaces and Human Computer Interaction |
| ISBN | 3-319-77243-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | RE in Industrial Practice -- NLP in Theory and Practice -- Empirical Insights into Traceability -- Taming Ambiguity -- Large-Scale RE -- Quality Requirements -- User and Job Stories -- Requirements Alignment -- RE Previews and Visions -- Big Data -- Mindmapping and Requirements Modeling. |
| Record Nr. | UNINA-9910349459503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
