Treffer 201 - 134 von 134

201

A Survey of Intelligent Debugging
Markus Stumptner ; Franz Wotawa ; The Pennsylvania State University CiteSeerX Archives
http://www.dbai.tuwien.ac.at/staff/wotawa/aicom98.ps.gz.

Debugging Validation Model-based Diagnosis
Fachzeitschrift
204

Microclimate control system integrating into the automated enterprise management system ; Интегрирование систем управления микроклиматом в автоматизированную систему управления предприятием ; Інтегрування систем керування мікрокліматом в автоматизовану систему керування підприємством
Голінко, Ігор Михайлович ; Галицька, Ірина Євгенівна
Information systems, mechanics and control; No. 20 (2019); 78-87 ; Информационные системы, механика и управление; № 20 (2019); 78-87 ; Інформаційні системи, механіка та керування; № 20 (2019); 78-87 ; 2519-2256 ; 2219-3804

промисловий комплекс шту... система автоматичного ке... математична модель... простір станів... підприємство інтегрована автоматизова...
Fachzeitschrift
205

Automated Repair of Binary and Assembly Programs for Cooperating Embedded Devices
Eric Schulte ; Jonathan Dilorenzo ; Westley Weimer ; et al.
http://www.cs.virginia.edu/~weimer/p/schulte2013embedded.pdf.

Categories and Subject D... Coding Tools and Techniq... D.2.5 [Software Engineer... Testing and Debugging D.3.2 [Language Classifi... Macro and Assembly Langu...
Fachzeitschrift
206

Program Repair by Automated Generation of Hints
Kaleeswaran, Shalini ; Kanade, Aditya

Debugging CodeChef Microtribomoter Programmers Repair Repair Specification Repair Hints
207

Interactive Runtime Verification ; Vérification interactive de propriétés à l'exécution
Jakse, Raphaël ; Laboratoire d'Informatique de Grenoble (LIG) ; Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ) ; et al.
https://inria.hal.science/tel-02460734 ; Mathematical Software [cs.MS]. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM075⟩.

Monitoring Débogage Propriété Debugging Property [INFO.INFO-MS]Computer S...
Dissertation
208

Peaks and Valleys: A Journey Through Predictive Modelling for Software Engineering
Moussa, Rebecca
Doctoral thesis, UCL (University College London).

Dissertation
210
211

Automated Program Recognition
Wills, Linda M.

analysis by inspection computer aided instructi... sgraph grammars parsing Programmer's Apprentice Pland Calculus
212

Diseño y Desarrollo de una Técnica y Sistema de Especialización Incremental en Maude ; Design and Development of an Incremental Specialisation Technique and System at Maude
Galán Pascual, Daniel ; Alpuente Frasnedo, María ; Sapiña Sanchis, Julia ; et al.
Repositorio Institucional de la Universitat Politècnica de València

hist phil
Dissertation
214

Barrier certificates revisited
Dai, Liyun ; Gan, Ting ; Xia, Bican ; et al.
SCI

Hybrid system Barrier certificate Formal verification Invariant Nonlinear system Semi-definite programmin...
Konferenz

Filter