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.
Frontiers in Software Engineering Education [[electronic resource] ] : First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers / / edited by Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh
| Frontiers in Software Engineering Education [[electronic resource] ] : First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers / / edited by Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XI, 401 p. 96 illus., 65 illus. in color.) |
| Disciplina | 005.1071 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Education—Data processing Computer logic Database management Software Engineering/Programming and Operating Systems Programming Techniques Computers and Education Logics and Meanings of Programs Database Management |
| ISBN | 3-030-57663-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | COURSE EXPERIENCE -- Teaching Formal Methods: An Experience Report -- A review of the structure of a course on Advanced Statistics for Data Scientists -- Reflection on Teaching Formal Approaches for Software Development in Higher Education -- Experience of mixed learning strategies in teaching Lean Software Development to third year undergraduate students -- Teaching Theoretical Computer Science at Innopolis University -- LESSONS LEARNT -- Teaching Software Testing to Industrial Practitioners using Distance and Web-Based Learning -- Towards code review guideline in a Classroom -- IT education in St. Petersburg State University -- Ten Unsafe Assumptions When Teaching Topics in Software Engineering -- CURRICULUM AND COURSE DESIGN.-Analysing the SWECOM standard for designing a DevOps education programme -- Teaching Logic, from a Conceptual Viewpoint -- On the Design of a New Software Engineering Curriculum in Computer Engineering -- Collaborative Modelling and Co-simulation in Engineering and Computing Curricula -- COMPETITIONS AND WORKSHOPS -- Designing Interactive Workshops for Software Engineering Educators -- Hackathons as a Part of Software Engineering Education: CASE in Tools Example -- Teaching E cient Recursive Programming and Recursion Elimination using Olympiads and Contests Problems -- EMPIRICAL STUDIES -- Experience in monitoring EEG signals during summer student internships -- A Study of Cooperative Thinking -- TOOLS AND AUTOMATION -- Analysis of Development Tool Usage in Software Engineering Classes -- Applying test-driven development for improved feedback and automation of grading in academic courses on software development -- GLOBALIZATION OF EDUCATION -- Internationalization Strategy of Innopolis University -- Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization -- TOOLS Workshop: ARTIFICIAL AND NATURAL TOOLS (ANT) -- Automated Cross-Language Integration Based on Formal Model of Components -- Scalable Thread-Modular Approach for Data Race Detection -- On the development of the compiler from C to the processor with FPGA accelerator. |
| Record Nr. | UNISA-996418293103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Frontiers in Software Engineering Education : First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers / / edited by Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh
| Frontiers in Software Engineering Education : First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers / / edited by Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XI, 401 p. 96 illus., 65 illus. in color.) |
| Disciplina | 005.1071 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Education—Data processing Computer logic Database management Software Engineering/Programming and Operating Systems Programming Techniques Computers and Education Logics and Meanings of Programs Database Management |
| ISBN | 3-030-57663-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | COURSE EXPERIENCE -- Teaching Formal Methods: An Experience Report -- A review of the structure of a course on Advanced Statistics for Data Scientists -- Reflection on Teaching Formal Approaches for Software Development in Higher Education -- Experience of mixed learning strategies in teaching Lean Software Development to third year undergraduate students -- Teaching Theoretical Computer Science at Innopolis University -- LESSONS LEARNT -- Teaching Software Testing to Industrial Practitioners using Distance and Web-Based Learning -- Towards code review guideline in a Classroom -- IT education in St. Petersburg State University -- Ten Unsafe Assumptions When Teaching Topics in Software Engineering -- CURRICULUM AND COURSE DESIGN.-Analysing the SWECOM standard for designing a DevOps education programme -- Teaching Logic, from a Conceptual Viewpoint -- On the Design of a New Software Engineering Curriculum in Computer Engineering -- Collaborative Modelling and Co-simulation in Engineering and Computing Curricula -- COMPETITIONS AND WORKSHOPS -- Designing Interactive Workshops for Software Engineering Educators -- Hackathons as a Part of Software Engineering Education: CASE in Tools Example -- Teaching E cient Recursive Programming and Recursion Elimination using Olympiads and Contests Problems -- EMPIRICAL STUDIES -- Experience in monitoring EEG signals during summer student internships -- A Study of Cooperative Thinking -- TOOLS AND AUTOMATION -- Analysis of Development Tool Usage in Software Engineering Classes -- Applying test-driven development for improved feedback and automation of grading in academic courses on software development -- GLOBALIZATION OF EDUCATION -- Internationalization Strategy of Innopolis University -- Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization -- TOOLS Workshop: ARTIFICIAL AND NATURAL TOOLS (ANT) -- Automated Cross-Language Integration Based on Formal Model of Components -- Scalable Thread-Modular Approach for Data Race Detection -- On the development of the compiler from C to the processor with FPGA accelerator. |
| Record Nr. | UNINA-9910427720703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Microservices [[electronic resource] ] : Science and Engineering / / edited by Antonio Bucchiarone, Nicola Dragoni, Schahram Dustdar, Patricia Lago, Manuel Mazzara, Victor Rivera, Andrey Sadovykh
| Microservices [[electronic resource] ] : Science and Engineering / / edited by Antonio Bucchiarone, Nicola Dragoni, Schahram Dustdar, Patricia Lago, Manuel Mazzara, Victor Rivera, Andrey Sadovykh |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (363 pages) |
| Disciplina | 006.76 |
| Soggetto topico |
Software engineering
Application software Software Engineering Information Systems Applications (incl. Internet) |
| ISBN | 3-030-31646-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: Opening -- Microservices: The evolution and Extinction of Web Services? -- Size matters: Microservices Research and Applications -- Part 2: Migration -- Migrating to microservices -- Assessing your Microservice migration readiness -- Part 3: Modeling -- Microservices Anti-Patterns: A Taxonomy -- Modeling Microservice Conversations with RESTalk -- Graphical and Textual Model-driven Microservice Development -- Part 4: Development and Deployment -- A Formal Approach to Microservice Architecture Deployment -- Autonomic Decentralised Microservices with Gru -- A Hybrid Approach to Microservices Load Balancing -- Part 5: Applications -- Towards the digital factory: a microservice-based middleware for real-to-digital synchronization -- Using microservices to customize multi-tenant SaaS -- You are not Netflix -- Part 6: Education -- DevOps and its Philosophy : Education Matters!. |
| Record Nr. | UNISA-996465449203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Microservices : Science and Engineering / / edited by Antonio Bucchiarone, Nicola Dragoni, Schahram Dustdar, Patricia Lago, Manuel Mazzara, Victor Rivera, Andrey Sadovykh
| Microservices : Science and Engineering / / edited by Antonio Bucchiarone, Nicola Dragoni, Schahram Dustdar, Patricia Lago, Manuel Mazzara, Victor Rivera, Andrey Sadovykh |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (363 pages) |
| Disciplina | 006.76 |
| Soggetto topico |
Software engineering
Application software Software Engineering Information Systems Applications (incl. Internet) |
| ISBN | 3-030-31646-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: Opening -- Microservices: The evolution and Extinction of Web Services? -- Size matters: Microservices Research and Applications -- Part 2: Migration -- Migrating to microservices -- Assessing your Microservice migration readiness -- Part 3: Modeling -- Microservices Anti-Patterns: A Taxonomy -- Modeling Microservice Conversations with RESTalk -- Graphical and Textual Model-driven Microservice Development -- Part 4: Development and Deployment -- A Formal Approach to Microservice Architecture Deployment -- Autonomic Decentralised Microservices with Gru -- A Hybrid Approach to Microservices Load Balancing -- Part 5: Applications -- Towards the digital factory: a microservice-based middleware for real-to-digital synchronization -- Using microservices to customize multi-tenant SaaS -- You are not Netflix -- Part 6: Education -- DevOps and its Philosophy : Education Matters!. |
| Record Nr. | UNINA-9910366656903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Perspectives of System Informatics [[electronic resource] ] : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers / / edited by Manuel Mazzara, Andrei Voronkov
| Perspectives of System Informatics [[electronic resource] ] : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers / / edited by Manuel Mazzara, Andrei Voronkov |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (X, 341 p. 90 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Machine theory Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Formal Languages and Automata Theory |
| ISBN | 3-319-41579-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quantitative Analysis of Collective Adaptive Systems -- What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms -- Applying MDA to Generate Hadoop Based Scientific Computing Applications -- Site-Level Web Template Extraction based on DOM Analysis -- Verification Support for a State-Transition-DSL Defined with Xtext -- Towards using exact real arithmetic for initial value problems -- Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data -- Behavioural Analysis of Sessions using the Calculus of Structures -- Using Refinement in Formal Development of OS Security Model -- onflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population -- Maximally-Polyvariant Partial Evaluation in Polynomial Time -- Dynamics Security Policies and Process Opacity for Timed Process Algebras -- Estimating Development E_ort for Software Architectural Tactics -- Clone Detection in Reuse of Software Technical Documentation -- Modeling Actor Systems Using Dynamic I/O Automata -- RSSA: A Reversible SSA Form -- Checking Several Requirements at once by CEGAR -- Unifying Requirements and Code: an Example -- Program Scheme Technique to Solve Propositional Program Logics Revised -- Automated Two-Phase Composition of Timed Web Services -- Equivalence of Finite-Valued Symbolic Finite Transducers -- Relaxed Parsing of Regular Approximations of String-Embedded Languages -- Branching Processes of Timed Petri Nets -- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic. |
| Record Nr. | UNISA-996465784603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers / / edited by Manuel Mazzara, Andrei Voronkov
| Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers / / edited by Manuel Mazzara, Andrei Voronkov |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (X, 341 p. 90 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Machine theory Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Formal Languages and Automata Theory |
| ISBN | 3-319-41579-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quantitative Analysis of Collective Adaptive Systems -- What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms -- Applying MDA to Generate Hadoop Based Scientific Computing Applications -- Site-Level Web Template Extraction based on DOM Analysis -- Verification Support for a State-Transition-DSL Defined with Xtext -- Towards using exact real arithmetic for initial value problems -- Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data -- Behavioural Analysis of Sessions using the Calculus of Structures -- Using Refinement in Formal Development of OS Security Model -- onflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population -- Maximally-Polyvariant Partial Evaluation in Polynomial Time -- Dynamics Security Policies and Process Opacity for Timed Process Algebras -- Estimating Development E_ort for Software Architectural Tactics -- Clone Detection in Reuse of Software Technical Documentation -- Modeling Actor Systems Using Dynamic I/O Automata -- RSSA: A Reversible SSA Form -- Checking Several Requirements at once by CEGAR -- Unifying Requirements and Code: an Example -- Program Scheme Technique to Solve Propositional Program Logics Revised -- Automated Two-Phase Composition of Timed Web Services -- Equivalence of Finite-Valued Symbolic Finite Transducers -- Relaxed Parsing of Regular Approximations of String-Embedded Languages -- Branching Processes of Timed Petri Nets -- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic. |
| Record Nr. | UNINA-9910483957003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Present and Ulterior Software Engineering / / edited by Manuel Mazzara, Bertrand Meyer
| Present and Ulterior Software Engineering / / edited by Manuel Mazzara, Bertrand Meyer |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (VIII, 225 p. 48 illus., 18 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Management information systems Programming languages (Electronic computers) Software Engineering Software Management Programming Languages, Compilers, Interpreters |
| ISBN | 3-319-67425-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Engineering by Software: System Behaviours as Components -- What is a Procedure? -- The Evolution and Ecosystem of the Unified Modeling Language -- A Theory of Networking and its contributions to Software Engineering -- On Language Interfaces -- Moldable Tools for Object-oriented Development -- The Changing Face of Model-Driven Engineering -- Borealis Bounded Model Checker: the Coming of Age Story -- How to make visual modeling more attractive to software developers -- Intrinsic Redundancy for Reliability and Beyond -- Sound Simulation and Co-simulation of Mobile and Autonomous Robots -- Microservices: yesterday, today, and tomorrow -- Microservices: A Language-based Approach. |
| Record Nr. | UNINA-9910254825103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of 6th International Conference in Software Engineering for Defence Applications : SEDA 2018 / / edited by Paolo Ciancarini, Manuel Mazzara, Angelo Messina, Alberto Sillitti, Giancarlo Succi
| Proceedings of 6th International Conference in Software Engineering for Defence Applications : SEDA 2018 / / edited by Paolo Ciancarini, Manuel Mazzara, Angelo Messina, Alberto Sillitti, Giancarlo Succi |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (349 pages) |
| Disciplina | 005.1 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Software engineering Computer engineering Internet of things Embedded computer systems Computational Intelligence Software Engineering Cyber-physical systems, IoT |
| ISBN | 3-030-14687-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483191303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment [[electronic resource] ] : Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers / / edited by Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer
| Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment [[electronic resource] ] : Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers / / edited by Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (X, 211 p. 72 illus., 52 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Application software Computers Software Engineering Computer Systems Organization and Communication Networks Information Systems Applications (incl. Internet) Computing Milieux |
| ISBN | 3-030-39306-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Teaching DevOps in Academia and Industry: Reflections and Vision -- A Model-Driven Approach Towards Automatic Migration to Microservices -- Anomaly Detection in DevOps Toolchain -- From DevOps to DevDataOps: Data Management in DevOps processes -- Exploiting agile practices to teach Computational Thinking -- Towards a Model-Based DevOps for Cyber-Physical Systems -- A DevOps Perspective for QoS-aware Adaptive Applications -- Learning agility from dancers { experience and lesson learnt -- Development and Operation of Trustworthy Smart IoT Systems: The ENACT Framework -- Towards Modeling Framework for DevOps: Requirements Derived from Industry Use Case -- Towards Designing Smart Learning Environments with IoT -- Opunit: Sanity Checks for Computing Environments -- Towards Bridging the Value Gap in DevOps -- ArchiMate as a Specification Language for Big Data Applications - DataBio Example -- Fallacies and Pitfalls on the road to DevOps: a Longitudinal Industrial Study. |
| Record Nr. | UNISA-996418221803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment : Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers / / edited by Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer
| Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment : Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers / / edited by Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (X, 211 p. 72 illus., 52 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Application software Computers Software Engineering Computer Systems Organization and Communication Networks Information Systems Applications (incl. Internet) Computing Milieux |
| ISBN | 3-030-39306-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Teaching DevOps in Academia and Industry: Reflections and Vision -- A Model-Driven Approach Towards Automatic Migration to Microservices -- Anomaly Detection in DevOps Toolchain -- From DevOps to DevDataOps: Data Management in DevOps processes -- Exploiting agile practices to teach Computational Thinking -- Towards a Model-Based DevOps for Cyber-Physical Systems -- A DevOps Perspective for QoS-aware Adaptive Applications -- Learning agility from dancers { experience and lesson learnt -- Development and Operation of Trustworthy Smart IoT Systems: The ENACT Framework -- Towards Modeling Framework for DevOps: Requirements Derived from Industry Use Case -- Towards Designing Smart Learning Environments with IoT -- Opunit: Sanity Checks for Computing Environments -- Towards Bridging the Value Gap in DevOps -- ArchiMate as a Specification Language for Big Data Applications - DataBio Example -- Fallacies and Pitfalls on the road to DevOps: a Longitudinal Industrial Study. |
| Record Nr. | UNINA-9910373928203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
