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.
Balancing Software Innovation and Regulatory Compliance : 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20–22, 2025, Proceedings / / edited by Jannik Fischbach, Rudolf Ramler, Dietmar Winkler, Johannes Bergsmann
| Balancing Software Innovation and Regulatory Compliance : 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20–22, 2025, Proceedings / / edited by Jannik Fischbach, Rudolf Ramler, Dietmar Winkler, Johannes Bergsmann |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XII, 125 p. 31 illus., 28 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Software engineering
Computer programs - Testing Artificial intelligence Blockchains (Databases) Software Engineering Software Testing Artificial Intelligence Blockchain |
| ISBN | 3-031-89277-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote -- Why Digitalization Will Kill Your Company Too -- Model-Based Software Testing -- Model-Based Test Design in SysML for System Requirements Verification and Validation (Full Paper) -- Effective Black Box Testing of Sentiment Analysis Classification Networks (Short Paper) -- Machine Learning and Large Language Models -- Automating Invariant Filtering: Leveraging LLMs to Streamline Test Oracle Generation (Full Paper) -- Advanced Detection of Source Code Clones via an Ensemble of Unsupervised Similarity Measures (Full Paper) -- Security and Compliance -- Trusted Provenance with Blockchain Technology: A Systematic Literature Review (Short Paper) -- Academic-Industry Collaborations -- Experiences Applying Lean R&D in Industry-Academia Collaboration Projects (Full Paper). |
| Record Nr. | UNINA-9910999675203321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Build Your Own Test Framework : A Practical Guide to Writing Better Automated Tests / / by Daniel Irvine
| Build Your Own Test Framework : A Practical Guide to Writing Better Automated Tests / / by Daniel Irvine |
| Autore | Irvine Daniel |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 |
| Descrizione fisica | 1 online resource (280 pages) |
| Disciplina | 005.14 |
| Soggetto topico |
Computer programs - Testing
Software engineering Programming languages (Electronic computers) Software Testing Software Engineering Programming Language |
| ISBN | 1-4842-9247-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Creating an NPM Package of My Very Own -- Chapter 2: Building it to Define a Test -- Chapter 3: Grouping Tests with Describe -- Chapter 4: Promoting Conciseness with BeforeEach and AfterEach -- Chapter 5: Improving Legibility with Expect -- Chapter 6: Formatting Expectation Errors -- Chapter 7. Automatically Discovering Test Files -- Chapter 8: Focusing on Tests with It.Only and Describe.Only -- Chapter 9: Supporting Asynchronous Tests -- Chapter 10: Reporting -- Chapter 11: Sharing Behavior with it.BehavesLike -- Chapter 12: Tagging Tests -- Chapter 13 : Skipping Tests -- Chapter 14 : Randomizing Tests -- Chapter 15. Understanding test doubles -- Chapter 16. Module Mocks. |
| Record Nr. | UNINA-9910682594703321 |
Irvine Daniel
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cloud-Native Application Architecture : Microservice Development Best Practice / / by FreeWheel Biz-UI Team
| Cloud-Native Application Architecture : Microservice Development Best Practice / / by FreeWheel Biz-UI Team |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (XXI, 382 p. 1 illus.) |
| Disciplina | 060 |
| Soggetto topico |
Cloud computing
Software engineering - Management Computer programs - Testing Computer programming Open source software Cloud Computing Software Management Software Testing Programming Techniques Open Source |
| ISBN | 981-19-9782-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Microservices in the Cloud Native Era -- Chapter 2. Microservice Application Design -- Chapter 3. Service Development and Operation -- Chapter 4. Microservice Traffic Management -- Chapter 5. Distributed Transactions -- Chapter 6. Serverless Architecture -- Chapter 7. Service Observability -- Chapter 8. Quality Assurance Practices -- Chapter 9. Continuous Integration and Continuous Deployment. |
| Record Nr. | UNINA-9910799490103321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Concise Guide to Software Verification : From Model Checking to Annotation Checking / / by Marieke Huisman, Anton Wijs
| Concise Guide to Software Verification : From Model Checking to Annotation Checking / / by Marieke Huisman, Anton Wijs |
| Autore | Huisman Marieke |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (IX, 248 p. 146 illus., 127 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Texts in Computer Science |
| Soggetto topico |
Computer programs - Testing
Software engineering Number theory Software Testing Software Engineering Computational Number Theory |
| ISBN | 3-031-30167-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Background on First-Order Logic and Set Theory -- 3. System Modelling -- 4. Crash Course on Temporal Logic and its Verification -- 5. Software Analysis -- 6. Crash Course on Design by Contract Specifications -- 7. Run-time checking of Design by Contract Specifications -- 8. Static Checking of Design by Contract Specification -- 9. Abstract Specifications. |
| Record Nr. | UNINA-9910735783103321 |
|
Huisman Marieke
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CyberSecurity in a DevOps Environment : From Requirements to Monitoring / / edited by Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato
| CyberSecurity in a DevOps Environment : From Requirements to Monitoring / / edited by Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato |
| Autore | Sadovykh Andrey |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (329 pages) |
| Disciplina | 005.10289 |
| Altri autori (Persone) |
TruscanDragos
MallouliWissam CavalliAna Rosa SeceleanuCristina BagnatoAlessandra |
| Soggetto topico |
Software engineering
Data protection Computer programs - Testing Cooperating objects (Computer systems) Software Engineering Data and Information Security Software Testing Cyber-Physical Systems |
| ISBN |
9783031422126
3031422120 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Security Requirements Engineering -- 1. A Taxonomy of Vulnerabilities, Attacks, and Security Solutions in Industrial PLCs -- 2. Natural Language Processing with Machine Learning for Security Requirements Analysis - Practical Approaches -- 3. Security Requirements Formalisation with RQCODE -- Part II: Prevention at Development Time -- 4. Vulnerability Detection and Response: Current Status and New Approaches -- 5. Metamorphic Testing for Verification and Fault Localization in Industrial Control Systems -- 6. Interactive Application Security Testing with Hybrid Fuzzing and Statistical Estimators -- Part III: Protection at Operations -- 7. CTAM: a tool for Continuous Threat Analysis and Management -- 8. EARLY - a tool for real-time security attack detection -- 9. A Stream-Based Approach to Intrusion Detection -- 10. Towards Anomaly Detection using Explainable AI. . |
| Record Nr. | UNINA-9910770247303321 |
|
Sadovykh Andrey
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Development and Testing of Vehicle Software and its Influence on Sustainable Transport / / edited by Antonio Colmenar-Santos, David Borge-Diez, Pedro-Miguel Ortega-Cabezas
| Development and Testing of Vehicle Software and its Influence on Sustainable Transport / / edited by Antonio Colmenar-Santos, David Borge-Diez, Pedro-Miguel Ortega-Cabezas |
| Autore | Colmenar Santos Antonio |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (203 pages) |
| Disciplina | 629.2 |
| Altri autori (Persone) |
Borge DíezDavid
Ortega-CabezasPedro-Miguel |
| Soggetto topico |
Automotive engineering
Computer programs - Testing Transportation engineering Traffic engineering Sustainability Automotive Engineering Software Testing Transportation Technology and Traffic Engineering |
| ISBN |
9783031476303
3031476301 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Macroeconomic impact, reduction of fee deficit and profitability of a sustainable transport model based on electric mobility. Case study: City of León (Spain)2 -- Software validation techniques in the automotive sector -- Driver efficiency and software. Influence on eco-design9 -- Driver efficiency and software. Influence on Vehicle-toBuilding10 -- Contribution of driver efficiency to the European Green Deal12. |
| Record Nr. | UNINA-9910800112603321 |
|
Colmenar Santos Antonio
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Docs-as-Ecosystem : The Community Approach to Engineering Documentation / / by Alejandra Quetzalli
| Docs-as-Ecosystem : The Community Approach to Engineering Documentation / / by Alejandra Quetzalli |
| Autore | Quetzalli Alejandra |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 |
| Descrizione fisica | 1 online resource (XXVI, 242 p. 138 illus., 136 illus. in color.) |
| Disciplina | 929.605 |
| Soggetto topico |
Internet programming
Computer programming Computer programs - Testing Software engineering - Management Open source software Web Development Programming Techniques Software Testing Software Management Open Source |
| ISBN |
9781484293287
1484293282 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Accessibility -- Chapter 2: Information Architecture -- Chapter 3: SEO -- Chapter 4: UI Design -- Chapter 5: Documenting APIs -- Chapter 6: Documenting SDKs -- Chapter 7: Integrating your Docs into CI/CD pipelines -- Chapter 8: Make your style guide public -- Chapter 9: Open Source contributions -- Chapter 10: Retrieve customer feedback and analytics -- Chapter 11: Prioritize documentation requests -- Chapter 12: Open community communication channels -- Chapter 13 - ChatGPT and AI -- Appendix A: Engineering Documentation Templates. |
| Record Nr. | UNINA-9910741136903321 |
|
Quetzalli Alejandra
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essential Spectrum-based Fault Localization / / by Xiaoyuan Xie, Baowen Xu
| Essential Spectrum-based Fault Localization / / by Xiaoyuan Xie, Baowen Xu |
| Autore | Xie Xiaoyuan |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XII, 172 p. 17 illus.) |
| Disciplina | 005.14 |
| Soggetto topico |
Computer programs - Testing
Software engineering - Management Computer programming Software Testing Software Management Programming Techniques |
| ISBN | 981-336-179-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. A Theoretical Framework for Spectrum-based Fault Localization -- Chapter 3. Theoretical Comparison Among Risk Evaluation Formulas -- Chapter 4. On the Maximality of Spectrum-based Fault Localization -- Chapter 5. A Generalized Theoretical Framework for Hybrid Spectrum-based Fault Localization -- Chapter 6. Practicality of the Theoretical Frameworks -- Chapter 7. Tackling the Oracle Problem in Spectrum-based Fault Localization -- Chapter 8. Spectrum-based Fault Localization for Multiple Faults -- Chapter 9. Conclusion. |
| Record Nr. | UNINA-9910482958703321 |
|
Xie Xiaoyuan
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The French School of Programming / / edited by Bertrand Meyer
| The French School of Programming / / edited by Bertrand Meyer |
| Autore | Meyer-Stabley Bertrand |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (451 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) | Meyer |
| Soggetto topico |
Software engineering
Computer science Programming languages (Electronic computers) Computer programming Machine theory Computer programs - Testing Software Engineering Theory of Computation Programming Language Programming Techniques Formal Languages and Automata Theory Software Testing |
| ISBN | 9783031345180 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The French School of Programming: A Personal View -- Part I: Software Engineering -- “Testing can be formal too”: 30 years later -- A Short Visit to Distributed Computing Where Simplicity is Considered a First Class Property -- Modeling: From CASE Tools to SLE and Machine Learning -- At the Confluence of Software Engineering and Human-Computer Interaction: a Personal Account -- Part II: Programming language mechanisms and type systems -- From Procedures, Objects, Actors, Components, Services, to Agents -- Semantics and syntax, between computer science and mathematics -- Some remarks about Dependent Type Theory -- Part III: Theory -- A Personal Historical Perspective on Abstract Interpretation -- Tracking Redexes in the Lambda Calculus -- Confluence of terminating rewriting computations -- Part IV: Language design and programming methodology -- Programming with union, intersection, and negation types -- Right and wrong: ten choices in language design. |
| Record Nr. | UNINA-9910855370303321 |
|
Meyer-Stabley Bertrand
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Guide to Software Verification with Frama-C : Core Components, Usages, and Applications / / edited by Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
| Guide to Software Verification with Frama-C : Core Components, Usages, and Applications / / edited by Nikolai Kosmatov, Virgile Prevosto, Julien Signoles |
| Autore | Kosmatov Nikolai |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (708 pages) |
| Disciplina | 005.14 |
| Altri autori (Persone) |
PrevostoVirgile
SignolesJulien |
| Collana | Computer Science Foundations and Applied Logic |
| Soggetto topico |
Computer programs - Testing
Programming languages (Electronic computers) Mathematics - Data processing Coding theory Information theory Software Testing Programming Language Computational Mathematics and Numerical Analysis Coding and Information Theory |
| ISBN | 3-031-55608-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foreword -- Part I. Core Components -- ACSL Specification Language -- The Kernel and its Services -- Abstract Interpretation with Eva -- Deductive Verification with WP -- Runtime Assertion Checking with E-ACSL -- Test generation with PathCrawler -- Development of new plug-ins -- Part II. Advanced Usages and Combinations -- Tools for Program Understanding -- Combinations of Analyses -- Numerical Accuracy Analysis -- Analyses of Concurrent Programs -- High-Level Properties -- Part III. Applications and Emerging Domains -- Applications in Transportation, Energy and Defence -- Applications in Cybersecurity and Trusted AI -- Artificial Intelligence for Improving Verification Techniques -- Index -- Bibliography. |
| Record Nr. | UNINA-9910872183403321 |
|
Kosmatov Nikolai
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
