Search Results - "software development"

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...

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

Eleventh European Powder Diffraction Conference. Warsaw, September 19-22, 2008

DOAB: download the publication
DOAB: description of the publication

Ninth European Powder Diffraction Conference - Prague, September 2-5, 2004

DOAB: download the publication
DOAB: description of the publication

Tenth European Powder Diffraction Conference - Geneva, September 1-4, 2006

DOAB: download the publication
DOAB: description of the publication

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

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

"Because You Can Make Things With It": A Rationale for a Project to Teach Mathematics as a Multimodal Design Tool in Secondary Education by Susan Gerofsky

Connect to this object online.

DevOps for Digital Leaders: Reignite Business with a Modern DevOps-Enabled Software Factory by Kieran Taylor

DOAB: download the publication
DOAB: description of the publication

User-Centered Design of a Mobile Health Intervention to Enhance Exacerbation-Related Self-Management in Patients With Chronic Obstructive Pulmonary Disease (Copilot): Mixed Methods... by Korpershoek, Yvonne J G, Hermsen, Sander, Schoonhoven, Lisette, Schuurmans, Marieke J, Trappenburg, Jaap C A

Connect to this object online.

Verification-based software-fault detection by Gladisch, Christoph David

DOAB: download the publication
DOAB: description of the publication

STRUCTURE AND POSSIBILITIES OF PM «SOLVING ENVIRONMENT» OF INTEGRATED PROGRAMMATIC ENVIRONMENT «MATHLOGIC V.2». by O. V. Scherbina, V. S. Peschanenko, M. S. Lvov

Connect to this object online.

Blueprints Creating, Describing, and Implementing Designs for Larger-Scale Software Projects by Davies, Stephen

Table of Contents: “…Getting off the ground -- The "software crisis" -- Classes and objects -- Memory matters -- Exceptions -- UML class diagrams -- The Singleton diagrams -- Java odds 'n' ends -- UML sequence diagrams -- Persistence and hydration -- Inheritance (1 of 2) -- Inheritance (2 of 2) -- The Factory pattern -- Team software development -- Doing design (1 of 2) -- Doing design (2 of 2) -- Use cases -- Documenting an API…”
Access online version

Consolidation of Customized Product Copies into Software Product Lines by Klatt, Benjamin

DOAB: download the publication
DOAB: description of the publication

Model Transformation Languages with Modular Information Hiding by Rentschler, Andreas

DOAB: download the publication
DOAB: description of the publication

Predicting software performance in symmetric multi-core and multiprocessor Environments by Happe, Jens

DOAB: download the publication
DOAB: description of the publication

An Assessment of Educational Benefits from the OpenOrbiter Space Program by David Whalen, Jeremy Straub

Connect to this object online.

THE PROBLEM OF ARCHITECTURE DESIGN IN A CONTEXT OF PARTIALLY KNOWN REQUIREMENTS OF COMPLEX WEB BASED APPLICATION "KSU FEEDBACK" by A. Spivakovsky, N. Klymenko, A. Litvinenko, Y. Storozhuk, D. Berezovsky, S. Tityenok

Connect to this object online.

Evaluation of the usefulness of a computerbased learning program to support student learning in pharmacology by S. Brain, D. G. Dewhurst, A. D. Williams

Connect to this object online.

Ernst Denert Award for Software Engineering 2019 Practice Meets Foundations /

Table of Contents: “…Ernst Denert Software Engineering Awards 2019 -- Software Engineering -- Applications of Synchronized Pushdown Systems -- Software Developers' Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- Applied Artifact-Based Analysis for Architecture Consistency Checking -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- Actionable Program Analyses for Improving Software Performance.…”
Link to Metadata

Recent Progress in Parallel and Distributed Computing

DOAB: download the publication
DOAB: description of the publication

Quality Assurance and Management

DOAB: download the publication
DOAB: description of the publication