Search Results - "software"

Peer Participation and Software What Mozilla Has to Teach Government by Booth, David R.

Subjects: “…software development…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The Essence of Software Engineering

Subjects: “…Software Engineering…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Discourses on Social Software

OAPEN Library: download the publication
OAPEN Library: description of the publication

There is no Software, there are just Services

Subjects: “…Software…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Software Takes Command by Manovich, Lev

OAPEN Library: download the publication
OAPEN Library: description of the publication

Hexagon-Msc Software by UiTM, News Team

Link Metadata

Rethinking Productivity in Software Engineering

Table of Contents: “…Defining Productivity in Software Engineering -- Chapter 5. A Software Development Productivity Framework -- Chapter 6. …”
Link to Metadata

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /

Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
Link to Metadata

The Future of Software Quality Assurance

Subjects: “…Software engineering.…”
Link to Metadata

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /

Table of Contents: “…Requirements engineering -- Software architectures -- Specification -- Software quality -- Validation -- Verification of functional and non-functional properties -- Model-driven development and model transformation -- Software processes -- Security and software evolution.…”
Link to Metadata

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /

Table of Contents: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /

Table of Contents: “…FASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).…”
Link to Metadata

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /

Table of Contents: “…A Study on Model's Similarities for Defect and Code Smells -- Competition Contributions -- Software Testing: 5th Comparative Evaluation: Test-Comp 2023 -- FuSeBMC IA: Interval Analysis and Methods for Test-Case Generation.…”
Link to Metadata

Scaling a Software Business The Digitalization Journey / by Fitzgerald, Brian, Stol, Klaas-Jan, Minör, Sten, Cosmo, Henrik

Table of Contents: “…Common challenges with software -- The map -- A holistic view to change -- The compass -- The journeys -- Co-develop in a community -- Charing is caring -- A thriving Open Source culture behind the wall -- Keeping the doors open.- Building ecosystems -- Pushing the boundaries -- Add supplementary services -- Adding Internet to things -- Boosting product sales by services -- Deliver 24/7 -- Pruning a bush -- Ensuring prima deliveries -- Pump up the volume -- Global R&D goes agile with SAFe -- Multi-site development -- Agile and disciplined -- Scaling Agile in Automotive -- Scaling Agile in Life sciences -- Outside the box -- Efficient communication -- Outsourcing Strategy at Sony Mobile -- Not so shore anymore -- Play it again, Sam, backwards -- First things first -- Robotic growing pains -- Softhouse reflects on architecture changes -- From mobile to Platform -- Your journey.…”
Link to Metadata

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 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /

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

Zur Soziologie der Software Die Rolle digitaler Technik bei der Kontrolle von Unsicherheiten / by Ametowobla, Dzifa

Table of Contents: “…Einleitung -- Die Komplexität von Software aus soziologischer Perspektive: Modelle, Unsicherheiten und Rekursivität -- Spiele mit Expertensystemen -- Die Rolle von eMed in der OP-Planung der Sanusklinik -- Zur Soziologie der Software.…”
Link to Metadata

Evidence-based Software Engineering by Jones, Derek M.

Access online version

Producing Open Source Software How to Run a Successful Free Software Project by Fogel, Karl

Access online version

Ingeniería del Software I Requerimientos y Modelado del Software by Celi-Párraga, Ricardo Javier, Boné-Andrade, Miguel Fabricio, Mora-Olivero, Aldo Patricio

Table of Contents: “…Reseña de Autores -- Índice -- Introducción -- Capítulo I: Introducción a la Ingeniería del Software -- Capítulo II: El Proceso del Software -- Capítulo III: Ingeniería de Requerimientos -- Capítulo IV: Modelado del Software -- Referencias Bibliográficas -- Capítulo I:…”
Access online version

Ingeniería del Software II Implementación, Pruebas y Mantenimiento by Celi-Párraga, Ricardo Javier, Boné-Andrade, Miguel Fabricio, Mora-Olivero, Aldo Patricio

Table of Contents: “…Reseña de Autores -- Índice -- Introducción -- Capítulo I: Implementación del Software -- Capítulo II: Pruebas y Validación del Software -- Capítulo III: Evolución, Confiabilidad y Seguridad Del Software -- Capítulo IV: Metodologías de Desarrollo de Aplicaciones Web Seguras -- Referencias Bibliográficas -- Capítulo I:…”
Access online version