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 [[electronic resource] ] : 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14–18, 2021, Proceedings / / edited by Peggy Gregory, Casper Lassenius, Xiaofeng Wang, Philippe Kruchten
| Agile Processes in Software Engineering and Extreme Programming [[electronic resource] ] : 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14–18, 2021, Proceedings / / edited by Peggy Gregory, Casper Lassenius, Xiaofeng Wang, Philippe Kruchten |
| Autore | Gregory Peggy |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (X, 211 p. 52 illus., 40 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Software engineering
Information technology Business—Data processing Management information systems Computer science Software Engineering/Programming and Operating Systems IT in Business Management of Computing and Information Systems |
| Soggetto non controllato |
Software Engineering/Programming and Operating Systems
IT in Business Management of Computing and Information Systems Software Engineering IT Operations Agile software development Software creation and management Scrum Lean software development Process management open access Test-driven development Project and people management Software development techniques Risk management Operating systems Business mathematics & systems Business applications Information architecture Maintenance & repairs |
| ISBN | 3-030-78098-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agile Practices -- From Collaboration to Solitude and Back: Experiences with Remote Pair Programming during COVID-19 -- UX Work in Software Start-ups: Challenges from the Current State of Practice -- How to Write Ethical User Stories? Impacts of the ECCOLA Method -- Process Assessment -- Setting the Scope for a New Agile Assessment Model: Results of an Empirical Study -- Towards a Standardized Questionnaire for Measuring Agility at Team Level -- The Impact of Agile Transformations on Organizational Performance: A Survey of Teams, Programs and Portfolios -- Measuring Software Delivery Performance using the Four Key Metrics of DevOps -- Large-scale Agile -- Evolution of the Agile Scaling Frameworks -- Coordination Strategies: Managing Inter-team Coordination Challenges in Large-scale Agile -- Challenges of Adopting SAFe in the Banking Industry - A Study Two Years after its Introduction -- Benefits and Challenges of Adopting SAFe - An Empirical Survey.-Short Contributions -- Using a Low Code Development Environment to Teach the Agile Methodology -- Comparing Participants’ Brainwaves during Solo, Pair, and Mob Programming. |
| Record Nr. | UNINA-9910483322503321 |
Gregory Peggy
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agile Processes in Software Engineering and Extreme Programming [[electronic resource] ] : 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14–18, 2021, Proceedings / / edited by Peggy Gregory, Casper Lassenius, Xiaofeng Wang, Philippe Kruchten
| Agile Processes in Software Engineering and Extreme Programming [[electronic resource] ] : 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14–18, 2021, Proceedings / / edited by Peggy Gregory, Casper Lassenius, Xiaofeng Wang, Philippe Kruchten |
| Autore | Gregory Peggy |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (X, 211 p. 52 illus., 40 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Software engineering
Information technology Business—Data processing Management information systems Computer science Software Engineering/Programming and Operating Systems IT in Business Management of Computing and Information Systems |
| Soggetto non controllato |
Software Engineering/Programming and Operating Systems
IT in Business Management of Computing and Information Systems Software Engineering IT Operations Agile software development Software creation and management Scrum Lean software development Process management open access Test-driven development Project and people management Software development techniques Risk management Operating systems Business mathematics & systems Business applications Information architecture Maintenance & repairs |
| ISBN | 3-030-78098-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agile Practices -- From Collaboration to Solitude and Back: Experiences with Remote Pair Programming during COVID-19 -- UX Work in Software Start-ups: Challenges from the Current State of Practice -- How to Write Ethical User Stories? Impacts of the ECCOLA Method -- Process Assessment -- Setting the Scope for a New Agile Assessment Model: Results of an Empirical Study -- Towards a Standardized Questionnaire for Measuring Agility at Team Level -- The Impact of Agile Transformations on Organizational Performance: A Survey of Teams, Programs and Portfolios -- Measuring Software Delivery Performance using the Four Key Metrics of DevOps -- Large-scale Agile -- Evolution of the Agile Scaling Frameworks -- Coordination Strategies: Managing Inter-team Coordination Challenges in Large-scale Agile -- Challenges of Adopting SAFe in the Banking Industry - A Study Two Years after its Introduction -- Benefits and Challenges of Adopting SAFe - An Empirical Survey.-Short Contributions -- Using a Low Code Development Environment to Teach the Agile Methodology -- Comparing Participants’ Brainwaves during Solo, Pair, and Mob Programming. |
| Record Nr. | UNISA-996464414503316 |
|
Gregory Peggy
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agile Processes in Software Engineering and Extreme Programming [[electronic resource] ] : 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8–12, 2020, Proceedings / / edited by Viktoria Stray, Rashina Hoda, Maria Paasivaara, Philippe Kruchten
| Agile Processes in Software Engineering and Extreme Programming [[electronic resource] ] : 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8–12, 2020, Proceedings / / edited by Viktoria Stray, Rashina Hoda, Maria Paasivaara, Philippe Kruchten |
| Autore | Stray Viktoria |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (X, 251 p. 28 illus., 11 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Software engineering
Information technology Business—Data processing Management information systems Computer science Software Engineering IT in Business Management of Computing and Information Systems |
| Soggetto non controllato |
Software Engineering
IT in Business Management of Computing and Information Systems IT Operations Agile software development Software creation and management Scrum Lean software development Process management open access Test-driven development Project and people management Software development techniques Risk management Business mathematics & systems Business applications Information architecture Maintenance & repairs |
| ISBN | 3-030-49392-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agile Adoption -- An Agile Implementation and Expansive Learning: Identifying Contradictions and their Resolution using an Activity Theory Perspective -- Onboarding: How Newcomers Integrate into an Agile Project Team -- Agile Practices -- Combining User-Centered Design and Lean Startup with Agile Software Development: A Case Study of Two Agile Teams -- Agile software development practices and success in outsourced projects: The moderating role of requirements risk -- On the Use of Design Thinking: A Survey of the Brazilian Agile Software Development Community -- Characterising the Quality of Behaviour-Driven Development Specifications -- “I don’t understand!”: Toward a Model to Evaluate the Role of User Story Quality -- Large-Scale Agile -- Large-Scale Agile Transformation: A case study of transforming business, development and operations -- Improving Risk Management in a Scaled Agile Environment -- The Business of Agile -- “When in Rome, Do as the Romans Do”: Cultural Barriers to Being Agile in Distributed Teams -- A Quantitative Exploration of the 9-Factor Theory: Distribution of Leadership Roles between Scrum Master and Agile Team -- Group dynamics challenges for agile leaders: The importance of team design -- “This is just a prototype”: How Ethics Are Ignored in Software Startup-like Environments -- Hypotheses Elicitation in Early-Stage Software Startups Based on Cognitive Mapping -- Agile and Testing -- Results from a Replicated Experiment on the Affective Reactions of Novice Developers when Applying Test-Driven Development -- Α Survey on System Testing Methodologies. . |
| Record Nr. | UNINA-9910404112803321 |
|
Stray Viktoria
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agile Processes in Software Engineering and Extreme Programming [[electronic resource] ] : 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8–12, 2020, Proceedings / / edited by Viktoria Stray, Rashina Hoda, Maria Paasivaara, Philippe Kruchten
| Agile Processes in Software Engineering and Extreme Programming [[electronic resource] ] : 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8–12, 2020, Proceedings / / edited by Viktoria Stray, Rashina Hoda, Maria Paasivaara, Philippe Kruchten |
| Autore | Stray Viktoria |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (X, 251 p. 28 illus., 11 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Software engineering
Information technology Business—Data processing Management information systems Computer science Software Engineering IT in Business Management of Computing and Information Systems |
| Soggetto non controllato |
Software Engineering
IT in Business Management of Computing and Information Systems IT Operations Agile software development Software creation and management Scrum Lean software development Process management open access Test-driven development Project and people management Software development techniques Risk management Business mathematics & systems Business applications Information architecture Maintenance & repairs |
| ISBN | 3-030-49392-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agile Adoption -- An Agile Implementation and Expansive Learning: Identifying Contradictions and their Resolution using an Activity Theory Perspective -- Onboarding: How Newcomers Integrate into an Agile Project Team -- Agile Practices -- Combining User-Centered Design and Lean Startup with Agile Software Development: A Case Study of Two Agile Teams -- Agile software development practices and success in outsourced projects: The moderating role of requirements risk -- On the Use of Design Thinking: A Survey of the Brazilian Agile Software Development Community -- Characterising the Quality of Behaviour-Driven Development Specifications -- “I don’t understand!”: Toward a Model to Evaluate the Role of User Story Quality -- Large-Scale Agile -- Large-Scale Agile Transformation: A case study of transforming business, development and operations -- Improving Risk Management in a Scaled Agile Environment -- The Business of Agile -- “When in Rome, Do as the Romans Do”: Cultural Barriers to Being Agile in Distributed Teams -- A Quantitative Exploration of the 9-Factor Theory: Distribution of Leadership Roles between Scrum Master and Agile Team -- Group dynamics challenges for agile leaders: The importance of team design -- “This is just a prototype”: How Ethics Are Ignored in Software Startup-like Environments -- Hypotheses Elicitation in Early-Stage Software Startups Based on Cognitive Mapping -- Agile and Testing -- Results from a Replicated Experiment on the Affective Reactions of Novice Developers when Applying Test-Driven Development -- Α Survey on System Testing Methodologies. . |
| Record Nr. | UNISA-996465365203316 |
|
Stray Viktoria
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Architekturbasierte Bewertung und Planung von Änderungsanfragen
| Architekturbasierte Bewertung und Planung von Änderungsanfragen |
| Autore | Stammel Johannes Josef |
| Pubbl/distr/stampa | KIT Scientific Publishing, 2017 |
| Descrizione fisica | 1 electronic resource (XIX, 318 p. p.) |
| Collana | The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner |
| Soggetto non controllato |
Software Evolution
Change Request Analysis Software Engineering Software Architecture Änderungsanfragenanalyse Software Software-Evolution Software-Architektur |
| ISBN | 1000054452 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910346771303321 |
|
Stammel Johannes Josef
|
||
| KIT Scientific Publishing, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
| Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings |
| Autore | Platzer André |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (655 p.) |
| Altri autori (Persone) | SutcliffeGeoff |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Mathematical theory of computation Computer programming / software development Software Engineering |
| Soggetto non controllato |
Artificial Intelligence
Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming automata theory boolean functions computer programming first order logic formal languages formal logic logic programming model checking program verification semantics software architecture software design software quality software verification theorem provers theorem proving Mathematical theory of computation Computer programming / software engineering Computer architecture & logic design |
| ISBN | 3-030-79876-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Automated Deduction â CADE 28
Automated Deduction - CADE 28 |
| Record Nr. | UNINA-9910491025703321 |
|
Platzer André
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
| Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings |
| Autore | Platzer André |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (655 p.) |
| Altri autori (Persone) | SutcliffeGeoff |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Mathematical theory of computation Computer programming / software development Software Engineering |
| Soggetto non controllato |
Artificial Intelligence
Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming automata theory boolean functions computer programming first order logic formal languages formal logic logic programming model checking program verification semantics software architecture software design software quality software verification theorem provers theorem proving Mathematical theory of computation Computer programming / software engineering Computer architecture & logic design |
| ISBN | 3-030-79876-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Automated Deduction â CADE 28
Automated Deduction - CADE 28 |
| Record Nr. | UNISA-996464423903316 |
|
Platzer André
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Benefit/Cost-Driven Software Development [[electronic resource] ] : With Benefit Points and Size Points
| Benefit/Cost-Driven Software Development [[electronic resource] ] : With Benefit Points and Size Points |
| Autore | Hannay Jo Erskine |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (114 p.) |
| Collana | Simula SpringerBriefs on Computing |
| Soggetto topico |
Mathematical & statistical software
Software Engineering Desenvolupament de programari Anàlisi cost-benefici |
| Soggetto genere / forma | Llibres electrònics |
| Soggetto non controllato |
Mathematical Software
Software Engineering open access benefits management benefit points earned business value management benefit/costs index uncertainty assessment periodization Mathematical & statistical software |
| ISBN | 3-030-74218-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910488721003321 |
|
Hannay Jo Erskine
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
