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. | UNINA-9910427720703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
|
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. | UNINA-9910366656903321 |
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 |
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 | ||
|