Treffer 181 - 134 von 134

181

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
184

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
185

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
186

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

Debugging CodeChef Microtribomoter Programmers Repair Repair Specification Repair Hints
187

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
188

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

Dissertation
190
191

Automated Program Recognition
Wills, Linda M.

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

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
194

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