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.
Foundations of Computer Software [[electronic resource] ] : Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers / / edited by Radu Calinescu, Ethan Jackson
| Foundations of Computer Software [[electronic resource] ] : Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers / / edited by Radu Calinescu, Ethan Jackson |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (250 p. 102 illus., 35 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Application software Information storage and retrieval Computer communication systems Computer system failures Artificial intelligence Software Engineering Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks System Performance and Evaluation Artificial Intelligence |
| ISBN | 3-642-21292-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465649303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Large-Scale Complex IT Systems. Development, Operation and Management [[electronic resource] ] : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers / / edited by Radu Calinescu, David Garlan
| Large-Scale Complex IT Systems. Development, Operation and Management [[electronic resource] ] : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers / / edited by Radu Calinescu, David Garlan |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XII, 417 p. 143 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Application software Management information systems Computer science Programming languages (Electronic computers) Computers and civilization Software Engineering Computer Communication Networks Information Systems Applications (incl. Internet) Management of Computing and Information Systems Programming Languages, Compilers, Interpreters Computers and Society |
| ISBN | 3-642-34059-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cyber-Physical Systems: Imminent Challenges -- The Global Financial Markets: An Ultra-Large-Scale Systems Perspective -- What Is a Care Pathway? -- Command and Control of Teams of Autonomous Systems -- The Risks of LSCITS: The Odds Are Stacked against Us -- Integration Architecture Synthesis for Taming Uncertainty in the Digital Space -- Social Networks for Importing and Exporting Security -- CScale – A Programming Model for Scalable and Reliable Distributed Applications -- Foundations and Tools for End-User Architecting -- Evolving Delta-Oriented Software Product Line Architectures -- Multi-view Modeling and Pragmatics in 2020: Position Paper on Designing Complex Cyber-Physical Systems -- View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling -- Revealing Complexity through Domain-Specific Modelling and Analysis -- Information Requirements for Enterprise Systems -- A Counterexample-Based Incremental and Modular Verification Approach -- Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems -- Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach -- Towards Communication-Based Steering of Complex Distributed Systems -- Evolution, Adaptation, and the Quest for Incrementality -- Independent Implementability of Viewpoints -- Understanding Specification Languages through Their Model Theory. |
| Record Nr. | UNISA-996465649803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering and Formal Methods [[electronic resource] ] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERYSCART, York, UK, September 7-8, 2015. Revised Selected Papers / / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
| Software Engineering and Formal Methods [[electronic resource] ] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERYSCART, York, UK, September 7-8, 2015. Revised Selected Papers / / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXIX, 325 p. 88 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Artificial intelligence Algorithms Mathematical statistics Computers Database management Information Systems Applications (incl. Internet) Artificial Intelligence Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science Computation by Abstract Devices Database Management |
| ISBN | 3-662-49224-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Automating Test Case Design, Selection and Evaluation -- Human-Oriented Formal Methods -- Modelling and Knowledge Management Applications: Systems and Domains -- Art of Service Composition and Formal Verification for Self-* Systems. |
| Record Nr. | UNISA-996466191803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering and Formal Methods [[electronic resource] ] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / / edited by Radu Calinescu, Bernhard Rumpe
| Software Engineering and Formal Methods [[electronic resource] ] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / / edited by Radu Calinescu, Bernhard Rumpe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XI, 369 p. 84 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical logic Computer communication systems Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Computer Communication Networks Programming Techniques |
| ISBN | 3-319-22969-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List Programs -- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications -- Specification and Verification of Atomic Operations in GPGPU Programs -- History-based Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB Runtime Verification -- Towards Domain Refinement for UML/OCL Bounded Verification -- Testing -- Efficient Testing of Different Loop Paths -- Model-Based Robustness Testing in Event-B using Mutation -- On the Testability of Properties Patterns -- Certification -- Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning -- Formal Analysis of Proactive, Distributed Routing -- Certification of Distributed Algorithms Solving Problems with Optimal Substructure -- Formal Specification and Proof -- From Failure to Proof: The ProB Disprover for B and Event-B -- Formalizing a Secure Foreign Function Interface -- A Formal Study of Backward Compatible Dynamic Software Updates -- Testing and Model Checking -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques for Memory-Efficient Model Checking of C and C++ Code -- NAT2TEST Tool: from Natural Language Requirements to Test Cases based on CSP -- Planning -- Task Planning of Cyber-Human Systems -- Generating None-Plans in Order to Find Plans -- Modelling and Model Transformation Twitlang(er): interactions modeling language (and interpreter) for Twitter -- From Featured Transition Systems to Modal Transition Systems with Variability Constraints -- An extensible operational semantics for UML activity diagrams. |
| Record Nr. | UNISA-996200367303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / / edited by Radu Calinescu, Bernhard Rumpe
| Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / / edited by Radu Calinescu, Bernhard Rumpe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XI, 369 p. 84 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical logic Computer communication systems Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Computer Communication Networks Programming Techniques |
| ISBN | 3-319-22969-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List Programs -- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications -- Specification and Verification of Atomic Operations in GPGPU Programs -- History-based Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB Runtime Verification -- Towards Domain Refinement for UML/OCL Bounded Verification -- Testing -- Efficient Testing of Different Loop Paths -- Model-Based Robustness Testing in Event-B using Mutation -- On the Testability of Properties Patterns -- Certification -- Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning -- Formal Analysis of Proactive, Distributed Routing -- Certification of Distributed Algorithms Solving Problems with Optimal Substructure -- Formal Specification and Proof -- From Failure to Proof: The ProB Disprover for B and Event-B -- Formalizing a Secure Foreign Function Interface -- A Formal Study of Backward Compatible Dynamic Software Updates -- Testing and Model Checking -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques for Memory-Efficient Model Checking of C and C++ Code -- NAT2TEST Tool: from Natural Language Requirements to Test Cases based on CSP -- Planning -- Task Planning of Cyber-Human Systems -- Generating None-Plans in Order to Find Plans -- Modelling and Model Transformation Twitlang(er): interactions modeling language (and interpreter) for Twitter -- From Featured Transition Systems to Modal Transition Systems with Variability Constraints -- An extensible operational semantics for UML activity diagrams. |
| Record Nr. | UNINA-9910483460403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERYSCART, York, UK, September 7-8, 2015. Revised Selected Papers / / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
| Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERYSCART, York, UK, September 7-8, 2015. Revised Selected Papers / / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXIX, 325 p. 88 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Artificial intelligence Algorithms Mathematical statistics Computers Database management Information Systems Applications (incl. Internet) Artificial Intelligence Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science Computation by Abstract Devices Database Management |
| ISBN | 3-662-49224-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Automating Test Case Design, Selection and Evaluation -- Human-Oriented Formal Methods -- Modelling and Knowledge Management Applications: Systems and Domains -- Art of Service Composition and Formal Verification for Self-* Systems. |
| Record Nr. | UNINA-9910484043203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering for Resilient Systems [[electronic resource] ] : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings / / edited by Radu Calinescu, Felicita Di Giandomenico
| Software Engineering for Resilient Systems [[electronic resource] ] : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings / / edited by Radu Calinescu, Felicita Di Giandomenico |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 157 p. 51 illus., 25 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Artificial intelligence Computer security Computers Software Engineering Computer Systems Organization and Communication Networks Artificial Intelligence Systems and Data Security Computing Milieux |
| ISBN | 3-030-30856-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Paper -- Ethics and Privacy in Autonomous Systems: A software exoskeleton to empower the user -- Invited Paper -- A distilled characterization of resilience and its embraced properties based on state-spaces -- Resilience Engineering in Complex and Critical Applications -- Modelling Autonomous Resilient Multi-Robotic Systems -- Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development -- Fault-tolerant IoT - a Systematic Mapping Study -- JARVIS, a hardware/software framework for resilient Industry 4.0 systems -- Testing and Validation Methods -- Toward testing self-organizations in multi-embedded-agent systems -- Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems -- Security, Trust and Privacy Management -- An Energy Aware Approach to Trust Management Systems for Embedded Multi-Agents Systems -- Addressing Security Properties in Systems of Systems: Challenges and Ideas -- On the Use of Quality Models to Characterize Trustworthiness Properties. |
| Record Nr. | UNISA-996466289403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering for Resilient Systems : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings / / edited by Radu Calinescu, Felicita Di Giandomenico
| Software Engineering for Resilient Systems : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings / / edited by Radu Calinescu, Felicita Di Giandomenico |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 157 p. 51 illus., 25 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Artificial intelligence Computer security Computers Software Engineering Computer Systems Organization and Communication Networks Artificial Intelligence Systems and Data Security Computing Milieux |
| ISBN | 3-030-30856-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Paper -- Ethics and Privacy in Autonomous Systems: A software exoskeleton to empower the user -- Invited Paper -- A distilled characterization of resilience and its embraced properties based on state-spaces -- Resilience Engineering in Complex and Critical Applications -- Modelling Autonomous Resilient Multi-Robotic Systems -- Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development -- Fault-tolerant IoT - a Systematic Mapping Study -- JARVIS, a hardware/software framework for resilient Industry 4.0 systems -- Testing and Validation Methods -- Toward testing self-organizations in multi-embedded-agent systems -- Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems -- Security, Trust and Privacy Management -- An Energy Aware Approach to Trust Management Systems for Embedded Multi-Agents Systems -- Addressing Security Properties in Systems of Systems: Challenges and Ideas -- On the Use of Quality Models to Characterize Trustworthiness Properties. |
| Record Nr. | UNINA-9910349282503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||