2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE) : proceedings : August 18-26, 2013, Saint Petersburg, Russia |
Autore | Meyer Bertrand |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2013 |
Descrizione fisica | 1 online resource (738 pages) |
Collana | ACM Conferences |
Soggetto topico |
Engineering & Applied Sciences
Computer Science |
ISBN | 1-4503-2237-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
2013 9th Joint Meeting of the European Software Engineering Conference and the Association for Computing Machinery Special Interest Group on Software Engineering Symposium on the Foundations of Software Engineering (ESEC/FSE) : proceedings : August 18-26, 2013, Saint Petersburg, Russia
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering ESEC/FSE '13 Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Saint Petersburg, Russian Federation - August 18 - 26, 2013 |
Record Nr. | UNINA-9910375878503321 |
Meyer Bertrand
![]() |
||
[Place of publication not identified], : ACM, 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Balancing Agility and Formalism in Software Engineering [[electronic resource] ] : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / / edited by Bertrand Meyer, J.R. Nawrocki, Bartosz Walter |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XI, 305 p. 1 illus.) |
Disciplina | 005.1 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Software engineering
Data structures (Computer science) Computers Management information systems Computer science Application software Software Engineering/Programming and Operating Systems Data Structures and Information Theory Theory of Computation Software Engineering Management of Computing and Information Systems Computer Appl. in Administrative Data Processing |
ISBN | 3-540-85279-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynotes -- Agile Software Development at Scale -- Formalisms in Software Engineering: Myths Versus Empirical Facts -- Measurement -- Extending GQM by Argument Structures -- On Metamodel-Based Design of Software Metrics -- Automatic Transactions Identification in Use Cases -- Processes -- A Collaborative Method for Reuse Potential Assessment in Reengineering-Based Product Line Adoption -- Corporate-, Agile- and Open Source Software Development: A Witch’s Brew or An Elixir of Life? -- Capable Leader and Skilled and Motivated Team Practices to Introduce eXtreme Programming -- UML -- Platform-Independent Programming of Data-Intensive Applications Using UML -- Towards UML-Intensive Framework for Model-Driven Development -- UML Static Models in Formal Approach -- Experiments -- Does Test-Driven Development Improve the Program Code? Alarming Results from a Comparative Case Study -- Measuring the Human Factor with the Rasch Model -- Empirical Analysis of a Distributed Software Development Project -- Tools -- Extending Software Architecting Processes with Decision-Making Activities -- A Tool for Supporting Feature-Driven Development -- In-Time Role-Specific Notification as Formal Means to Balance Agile Practices in Global Software Development Settings -- Best Papers Session -- An Integrated Approach for Identifying Relevant Factors Influencing Software Development Productivity -- A Framework for QoS Contract Negotiation in Component-Based Applications -- A Case Study on the Impact of Refactoring on Quality and Productivity in an Agile Team -- Change -- Modeling of Requirements Tracing -- Support for Cooperative Design of End-User Tailorable Software -- Manifoldness of Variability Modeling — Considering the Potential for Further Integration. |
Record Nr. | UNISA-996465919003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Balancing Agility and Formalism in Software Engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / / edited by Bertrand Meyer, J.R. Nawrocki, Bartosz Walter |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XI, 305 p. 1 illus.) |
Disciplina | 005.1 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Software engineering
Data structures (Computer science) Computers Management information systems Computer science Application software Software Engineering/Programming and Operating Systems Data Structures and Information Theory Theory of Computation Software Engineering Management of Computing and Information Systems Computer Appl. in Administrative Data Processing |
ISBN | 3-540-85279-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynotes -- Agile Software Development at Scale -- Formalisms in Software Engineering: Myths Versus Empirical Facts -- Measurement -- Extending GQM by Argument Structures -- On Metamodel-Based Design of Software Metrics -- Automatic Transactions Identification in Use Cases -- Processes -- A Collaborative Method for Reuse Potential Assessment in Reengineering-Based Product Line Adoption -- Corporate-, Agile- and Open Source Software Development: A Witch’s Brew or An Elixir of Life? -- Capable Leader and Skilled and Motivated Team Practices to Introduce eXtreme Programming -- UML -- Platform-Independent Programming of Data-Intensive Applications Using UML -- Towards UML-Intensive Framework for Model-Driven Development -- UML Static Models in Formal Approach -- Experiments -- Does Test-Driven Development Improve the Program Code? Alarming Results from a Comparative Case Study -- Measuring the Human Factor with the Rasch Model -- Empirical Analysis of a Distributed Software Development Project -- Tools -- Extending Software Architecting Processes with Decision-Making Activities -- A Tool for Supporting Feature-Driven Development -- In-Time Role-Specific Notification as Formal Means to Balance Agile Practices in Global Software Development Settings -- Best Papers Session -- An Integrated Approach for Identifying Relevant Factors Influencing Software Development Productivity -- A Framework for QoS Contract Negotiation in Component-Based Applications -- A Case Study on the Impact of Refactoring on Quality and Productivity in an Agile Team -- Change -- Modeling of Requirements Tracing -- Support for Cooperative Design of End-User Tailorable Software -- Manifoldness of Variability Modeling — Considering the Potential for Further Integration. |
Record Nr. | UNINA-9910484559803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Dependable Systems: Software, Computing, Networks [[electronic resource] ] : Research Results of the DICS Program / / edited by Juerg Kohlas, Bertrand Meyer, André Schiper |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XII, 295 p.) |
Disciplina | 005.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Operating systems (Computers) Special purpose computers Computer system failures Software Engineering/Programming and Operating Systems Software Engineering Operating Systems Special Purpose and Application-Based Systems System Performance and Evaluation |
ISBN | 3-540-36823-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Surveys -- Dependable Software -- Dependable Systems -- Survey on Dependable IP over Fiber Networks -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models -- Dependable Computing -- Advances in the Design and Implementation of Group Communication Middleware -- Fault-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer’s Perspective -- Autonomic Computing for Virtual Laboratories -- Dependable Networks -- Algorithms for Failure Protection in Large IP-over-fiber and Wireless Ad Hoc Networks -- Robustness of the Internet at the Topology and Routing Level -- Dependable Peer-to-Peer Systems Withstanding Dynamic Adversarial Churn. |
Record Nr. | UNISA-996465987203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Empirical Software Engineering and Verification [[electronic resource] ] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / / edited by Bertrand Meyer, Martin Nordio |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (VII, 213 p.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer programming Mathematical logic Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Mathematical Logic and Formal Languages Management of Computing and Information Systems |
ISBN | 3-642-25231-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Search Based Software Engineering: Techniques, Taxonomy, Tutorial -- Replication of Software Engineering Experiments -- A Formal Reference for SCOOP -- On the Integration of Software Testing and Formal Analysis -- Is Branch Coverage a Good Measure of Testing Effectiveness. |
Record Nr. | UNISA-996465927803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software Engineering [[electronic resource] ] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / / edited by Bertrand Meyer, Martin Nordio |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (VII, 191 p. 29 illus. in color.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Computer programming Artificial intelligence Management information systems Computer science Programming languages (Electronic computers) Software Engineering Logics and Meanings of Programs Programming Techniques Artificial Intelligence Management of Computing and Information Systems Programming Languages, Compilers, Interpreters |
ISBN | 3-319-28406-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | How to build a recommendation system for software engineering -- behaviors as design components of cyber-physical systems -- a control-theoretic approach to self-adaptive systems and an application to cloud-based software -- consistency in distributed systems -- software mining studies: goals, approaches, artifacts, and replicability -- theory of programs. |
Record Nr. | UNISA-996466364703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software Engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / / edited by Bertrand Meyer, Martin Nordio |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (VII, 191 p. 29 illus. in color.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Computer programming Artificial intelligence Management information systems Computer science Programming languages (Electronic computers) Software Engineering Logics and Meanings of Programs Programming Techniques Artificial Intelligence Management of Computing and Information Systems Programming Languages, Compilers, Interpreters |
ISBN | 3-319-28406-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | How to build a recommendation system for software engineering -- behaviors as design components of cyber-physical systems -- a control-theoretic approach to self-adaptive systems and an application to cloud-based software -- consistency in distributed systems -- software mining studies: goals, approaches, artifacts, and replicability -- theory of programs. |
Record Nr. | UNINA-9910484871403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|