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.
Agile Processes in Software Engineering and Extreme Programming – Workshops [[electronic resource] ] : XP 2020 Workshops, Copenhagen, Denmark, June 8–12, 2020, Revised Selected Papers / / edited by Maria Paasivaara, Philippe Kruchten
| Agile Processes in Software Engineering and Extreme Programming – Workshops [[electronic resource] ] : XP 2020 Workshops, Copenhagen, Denmark, June 8–12, 2020, Revised Selected Papers / / edited by Maria Paasivaara, Philippe Kruchten |
| Autore | Paasivaara Maria |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XII, 318 p. 35 illus., 26 illus. in color.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Management information systems
Computer science Information technology Business—Data processing Management of Computing and Information Systems IT in Business |
| Soggetto non controllato |
Management of Computing and Information Systems
IT in Business Software Engineering IT Operations XP Agile software development Extreme programming Lean development Software measurement open access Software maintenance Software testing Empirical software engineering Software management Software development techniques Business agility Information architecture Maintenance & repairs Business mathematics & systems Business applications |
| ISBN | 3-030-58858-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Third International Workshop on Software-Intensive Business -- Unleashing the Business Potential of Software: A Summary of the Third International Workshop on Software-intensive Business -- An Approach for Software-Intensive Business Innovation Based on Experimentation in Non-Software-Intensive Companies -- Towards specific software engineering practices for early-stage startups -- API Utilization and Monetization in Finnish Industries -- ICO Crowdfunding: Incentives, Pricing Strategy, Token Strategy and Crowd Involvement -- What key aspects do ICOs reveal about their businesses -- Product Roadmap Alignment – Achieving the Vision Together: A Grey Literature Review -- Exploring the Success Factors for a Launch of an Algorithmic Consulting Platform -- Eighth International Workshop on Large-Scale Agile Development -- Agile at Scale: A Summary of the 8th International Workshop on Large-Scale Agile Development -- Operationalizing Agile Methods: Examining Coherence in Large-Scale Agile Transformations -- Transitioning from a First Generation to Second Generation Large-Scale Agile Development Method: Towards understanding Implications for Coordination -- Exploring the Product Owner Role within SAFe Implementation in a Multinational Enterprise -- Evaluation of Agile Team Work Quality -- A systematic approach to agile development in highly regulated environment -- Second European Workshop on Serverless Computing and Applications -- Summary of 2nd European Symposium on Serverless Computing and Applications -- Diminuendo! Tactics in Support of FaaS Migrations -- Predictable performance for QoS-sensitive, scalable, multi-tenant Function-as-a-Service deployments -- On the use of Web Assembly in a Serverless Context -- Second International Workshop on Agile Transformations -- Agile Transformation (ATRANS) Workshop: A Summary and Research Agenda -- Agile Transformation: How Employees Experience and Cope with Transformative Change -- Strategy-focused agile transformation: a case study -- Shifting conceptualization of control in Agile Transformations -- It’s not Easy Being Agile: Unpacking Paradoxes in Agile Environments -- First International Workshop on Agility with Microservices Programming -- Summary of the First International Workshop on Agility with Microservices Programming -- Improving agility by managing shared libraries in microservices -- Certification as a service -- Third International Workshop on Autonomous Agile Teams -- A decade of research on autonomous agile teams: A summary of the third international workshop at XP2020 -- Dependencies of Agile Teams – An Analysis of the Scaled Agile Framework -- Understanding Work Practices of Autonomous Agile Teams: A Social-Psychological Review -- Spotify Tailoring for Architectural Governance -- Enabling Team Autonomy in a Large Organization -- Defining TestOps: Collaborative Behaviors and Technology-driven Workflows Seen as Enablers of Effective Software Testing in DevOps -- Doctoral Symposium -- Investigating Agile Adoption in Saudi Arabian Mobile Application Development -- Crowd Agile Model for Effective Software Development -- Continuous Information Monitoring in Software Startups -- Agile Education and Training Track -- Is it Possible to Apply Agile Methods to Contribute to the Linux Kernel -- Forming and Assessing Student Teams in Software Engineering Courses -- Panel -- Covid-19’s Influence on the Future of Agile. |
| Record Nr. | UNINA-9910420856303321 |
Paasivaara Maria
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agile Processes in Software Engineering and Extreme Programming – Workshops [[electronic resource] ] : XP 2020 Workshops, Copenhagen, Denmark, June 8–12, 2020, Revised Selected Papers / / edited by Maria Paasivaara, Philippe Kruchten
| Agile Processes in Software Engineering and Extreme Programming – Workshops [[electronic resource] ] : XP 2020 Workshops, Copenhagen, Denmark, June 8–12, 2020, Revised Selected Papers / / edited by Maria Paasivaara, Philippe Kruchten |
| Autore | Paasivaara Maria |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XII, 318 p. 35 illus., 26 illus. in color.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Management information systems
Computer science Information technology Business—Data processing Management of Computing and Information Systems IT in Business |
| Soggetto non controllato |
Management of Computing and Information Systems
IT in Business Software Engineering IT Operations XP Agile software development Extreme programming Lean development Software measurement open access Software maintenance Software testing Empirical software engineering Software management Software development techniques Business agility Information architecture Maintenance & repairs Business mathematics & systems Business applications |
| ISBN | 3-030-58858-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Third International Workshop on Software-Intensive Business -- Unleashing the Business Potential of Software: A Summary of the Third International Workshop on Software-intensive Business -- An Approach for Software-Intensive Business Innovation Based on Experimentation in Non-Software-Intensive Companies -- Towards specific software engineering practices for early-stage startups -- API Utilization and Monetization in Finnish Industries -- ICO Crowdfunding: Incentives, Pricing Strategy, Token Strategy and Crowd Involvement -- What key aspects do ICOs reveal about their businesses -- Product Roadmap Alignment – Achieving the Vision Together: A Grey Literature Review -- Exploring the Success Factors for a Launch of an Algorithmic Consulting Platform -- Eighth International Workshop on Large-Scale Agile Development -- Agile at Scale: A Summary of the 8th International Workshop on Large-Scale Agile Development -- Operationalizing Agile Methods: Examining Coherence in Large-Scale Agile Transformations -- Transitioning from a First Generation to Second Generation Large-Scale Agile Development Method: Towards understanding Implications for Coordination -- Exploring the Product Owner Role within SAFe Implementation in a Multinational Enterprise -- Evaluation of Agile Team Work Quality -- A systematic approach to agile development in highly regulated environment -- Second European Workshop on Serverless Computing and Applications -- Summary of 2nd European Symposium on Serverless Computing and Applications -- Diminuendo! Tactics in Support of FaaS Migrations -- Predictable performance for QoS-sensitive, scalable, multi-tenant Function-as-a-Service deployments -- On the use of Web Assembly in a Serverless Context -- Second International Workshop on Agile Transformations -- Agile Transformation (ATRANS) Workshop: A Summary and Research Agenda -- Agile Transformation: How Employees Experience and Cope with Transformative Change -- Strategy-focused agile transformation: a case study -- Shifting conceptualization of control in Agile Transformations -- It’s not Easy Being Agile: Unpacking Paradoxes in Agile Environments -- First International Workshop on Agility with Microservices Programming -- Summary of the First International Workshop on Agility with Microservices Programming -- Improving agility by managing shared libraries in microservices -- Certification as a service -- Third International Workshop on Autonomous Agile Teams -- A decade of research on autonomous agile teams: A summary of the third international workshop at XP2020 -- Dependencies of Agile Teams – An Analysis of the Scaled Agile Framework -- Understanding Work Practices of Autonomous Agile Teams: A Social-Psychological Review -- Spotify Tailoring for Architectural Governance -- Enabling Team Autonomy in a Large Organization -- Defining TestOps: Collaborative Behaviors and Technology-driven Workflows Seen as Enablers of Effective Software Testing in DevOps -- Doctoral Symposium -- Investigating Agile Adoption in Saudi Arabian Mobile Application Development -- Crowd Agile Model for Effective Software Development -- Continuous Information Monitoring in Software Startups -- Agile Education and Training Track -- Is it Possible to Apply Agile Methods to Contribute to the Linux Kernel -- Forming and Assessing Student Teams in Software Engineering Courses -- Panel -- Covid-19’s Influence on the Future of Agile. |
| Record Nr. | UNISA-996465442703316 |
|
Paasivaara Maria
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Approaches to Software Testing and Runtime Verification [[electronic resource] ] : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / / edited by Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
| Formal Approaches to Software Testing and Runtime Verification [[electronic resource] ] : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / / edited by Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 255 p.) |
| Disciplina | 005.131 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Management of Computing and Information Systems |
| Soggetto non controllato |
Software testing
Runtime verification FATES RV |
| ISBN | 3-540-49703-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Multi-paradigmatic Model-Based Testing -- Aspects for Trace Monitoring -- Regular Papers -- A Symbolic Framework for Model-Based Testing -- A Test Calculus Framework Applied to Network Security Policies -- Hybrid Input-Output Conformance and Test Generation -- Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement -- Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems -- Model-Based Testing of Thin-Client Web Applications -- Synthesis of Scenario Based Test Cases from B Models -- State-Identification Problems for Finite-State Transducers -- Deterministic Dynamic Monitors for Linear-Time Assertions -- Robustness of Temporal Logic Specifications -- Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets -- Dynamic Architecture Extraction -- Safety Property Driven Test Generation from JML Specifications -- Online Testing with Reinforcement Learning. |
| Record Nr. | UNINA-9910484315603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Approaches to Software Testing and Runtime Verification [[electronic resource] ] : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / / edited by Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
| Formal Approaches to Software Testing and Runtime Verification [[electronic resource] ] : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / / edited by Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 255 p.) |
| Disciplina | 005.131 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Management of Computing and Information Systems |
| Soggetto non controllato |
Software testing
Runtime verification FATES RV |
| ISBN | 3-540-49703-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Multi-paradigmatic Model-Based Testing -- Aspects for Trace Monitoring -- Regular Papers -- A Symbolic Framework for Model-Based Testing -- A Test Calculus Framework Applied to Network Security Policies -- Hybrid Input-Output Conformance and Test Generation -- Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement -- Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems -- Model-Based Testing of Thin-Client Web Applications -- Synthesis of Scenario Based Test Cases from B Models -- State-Identification Problems for Finite-State Transducers -- Deterministic Dynamic Monitors for Linear-Time Assertions -- Robustness of Temporal Logic Specifications -- Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets -- Dynamic Architecture Extraction -- Safety Property Driven Test Generation from JML Specifications -- Online Testing with Reinforcement Learning. |
| Record Nr. | UNISA-996466092003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||