Вы здесь

Главная

отладка

Связанные издания:

Expressing and Detecting Control Flow Properties of Distributed Computations
Extension of Macrostep Debugging Methodology Towards Metacomputing Applications
Fault Classes and Error Detection Capability of Specification-Based Testing
Flexible Performance Debugging of Parallel and Distributed Applications
Formal and experimental validation of a low overhead execution replay mechanism
Formal Methods for Industrial Critical Systems: Proc./23rd International Conference, FMICS 2018, Maynooth, Ireland, September 2018
Formal Methods: Proc./22nd International Symposium, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Forward Computation of Dynamic Program Slices
Fostering Debugging Communities on the Web
Freja, Hat, and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs
From Kansas to Oz: Collaborative Debugging When a Shared World Breaks
Fudamental Approaches to Software Engineering: Proc./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 2019
Functional and Constraint Logic Programming: Revised Selected Papers/26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 2018
Functional and Logic Programing: Proc./9th International Symposium, FLOPS 2008. Ise, Japan, April 2008
Functional and Logic Programming: Proc/14th International Symposium, FLOPS 2018, Nagoya, Japan, May 2018
Fundamental Approaches to Software Engineering: Proc./13th International Conference, FASE 2010, Joint European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010
Fundamental Approaches to Software Engineering: Proc./17th International Conference, FASE 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Fundamental Approaches to Software Engineering: Proc./20th International Conference, FASE 2017 Held as Part of European Join Conference ETAPS 2017, Uppsala, Sweden, April 2017
Future Internet Testing: Revised Selected Papers/1st International Workshop, FITTEST 2013, Istanbul, Turkey, November 2013
Generic Techniques for Source-Level Debugging and Dynamic Program Slicing
GIDTS - A Graphical Programming Environment for Prolog
Graphical User Interfaces for Algorithmic Debugging
Hardware and Software: Verification and Testing: Proc./13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 2017
Hardware-Assisted Replay of Multiprocessor Programs
High-Level Debugging of Distributed Systems: The Behaviour Abstraction Approach
High Level Tools for the Debugging of Real-Time Multiprocessor Systems
Highly Efficient Algorithms for Static Analysis of Parallel Programs
How to Design Practical Test Cases
HyperDEBU: A Multiwindow Debugger for Parallel Logic Programs
Identifying Faulty Modifications in Siftware Maintenance
Inertia - the reluctance of code motion?
Integrating Temporal Assertions into a Parallel Debugger
Intelligent Inference for Debugging Concurrent Systems
Interacting with Object-Oriented Program Sciling
Interprocedural Static Analysis of Seguencing Constraints
Java-приложение: заглянем внутрь
Key Instructions: Solving the Code Location Problem for Optimized Code
Knowledge Discovery from Sensor Data: Revised Selected Papers/ Second International Workshop, Sensor-KDD 2008, Las Vegas,NV,USA, August 2008
Languages and Compilers for Parallel Computing: Revised Selected Papers/27th International Workshop, LCPC 2014, Hillsboro,OR,USA, September 2014
Lazy Algorithmic Debugging: Ideas for Practical Implementation
Lectures on Runtime Verification: Introductory and Advanced Topics
Localizing Program Errors for Cimple Debugging
Local States in Distributed Computations: A Few Relations and Formulas
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/16th International Symposium, LOPSTR 2006. Venice, Italy, July 2006
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 2012
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 2013
Logic Programming and Nonmonotonic Reasoning: Proc./11th International Conference, LPNMR 2011, Vancouver, Canada, May 2011
Migrating a CISC Computer Family onto RISC via Object Code Translation
Minimizing the Log Size for Execution Replay of Shared-Memory Programs
Mobile Agents: Proc./6th Intern. Conf., MA 2002, Barcelona, Spain, October 2002