Search Results - "software developer"

  1. 201

    Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    Published 2018
    Table of Contents: “…Model-Based Software Development -- A Formal Framework for Incremental Model Slicing -- Multiple Model Synchronization with Multiary Delta Lenses -- Controlling the Attack Surface of Object-Oriented Refactorings -- Efficient Analysis of Attack Trees: a Model-Driven Approach -- Distributed Program and System Analysis -- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis -- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism -- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems -- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States -- Software Design and Verification -- Hierarchical Specification and Verification of Architectural Design Patterns -- Supporting Verification-Driven Incremental Distributed Design of Components -- Summarizing Software API Usage Examples using Clustering Techniques -- Fast Computation of Arbitrary Control Dependencies -- Specification and Program Testing -- Iterative Generation of Diverse Models for Testing Specifications of SL Tools -- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications -- TCM: Test Case Mutation to Improve Crash Detection in Android -- CRETE: A Versatile Binary-Level Concolic Testing Framework -- Family-Based Software Development -- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* -- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems -- Taming Multi-Variability of Software Product Line Transformations.…”
    Link to Metadata
    Electronic eBook
  2. 202

    Agile Processes in Software Engineering and Extreme Programming 19th International Conference, XP 2018, Porto, Portugal, May 21-25, 2018, Proceedings /

    Published 2018
    Table of Contents: “…-- Technical and Organizational Agile Practices: A Latin-American Survey -- Agile Software Development { Adoption & Maturity: An Activity Theory Perspective -- Scaling agile -- Do Agile Methods Work for Large Software Projects? …”
    Link to Metadata
    Electronic eBook
  3. 203

    The Essence of Software Engineering

    Published 2018
    Table of Contents: “…: The Role of Empirical Methods in Answering the Question -- 5 Only the Architecture You Need -- 6 Variability in standard software products Introducing software product line engineering to the insurance industry -- 7 Using Design Thinking for Requirements Engineering in the Context of Digitalization and Digital Transformation - a Motivation and an Experience Report -- 8 Towards Deviceless Edge Computing: Challenges, Design Aspects & Models for Serverless paradigm at the Edge -- 9 Data-driven decisions and actions in today's software development -- 10 Software Architecture: Past, Present, Future -- 11 Software Product Lines -- 12 Enabling Flexible and Robust Business Process Automation for the Agile Enterprise -- 13 Achievements, Failures, and the Future ofModel-based Software Engineering.…”
    Link to Metadata
    Electronic eBook
  4. 204

    Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21-25, 2019, Proceedings /

    Published 2019
    Table of Contents: “…Agile Adoption -- Agile Practices in Practice: Towards A Theory of Agile Adoption and Process Evolution -- Agile Methods Knowledge Representation for Systematic Practices Adoption -- Agile Practices -- Leadership Gap in Agile Teams: How Teams and Scrum Masters Mature -- BAM - Backlog Assessment Method -- The Unfulfilled Potential of Data Driven Decision Making in Agile Software Development -- Empowering Agile Project Members with Accessibility Testing Tools -- Artifact-Facilitated Communication in Agile User-Centered Design -- Large-Scale Agile -- The Product Owner in Large-Scale Agile: An Empirical Study through the lens of Relational Coordination Theory -- Investigating the Collaboration Between Architects and Agile Teams in Large-Scale Agile Development -- How are Agile Release Trains Formed in Practice? …”
    Link to Metadata
    Electronic eBook
  5. 205

    Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers /

    Published 2020
    Table of Contents: “…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: acase 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.…”
    Link to Metadata
    Electronic eBook
  6. 206
  7. 207
  8. 208
  9. 209
  10. 210
  11. 211
  12. 212
  13. 213
  14. 214
  15. 215
  16. 216
  17. 217
  18. 218
  19. 219
  20. 220