Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 13 von 13

1

Automata Models for Effective Bug Pattern Description
Yaacov, Tom ; Weiss, Gera ; Amram, Gal ; et al.
2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS) MODELS Model Driven Engineering Languages and Systems (MODELS), 2025 ACM/IEEE 28th International Conference on. :119-129 Oct, 2025

Konferenz
2

Solving the RoboSoccer Challenge Problem with UML-RT and Papyrus-RT
Babaei, Majid ; Jahed, Karim ; Dingel, Juergen
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) MODELS-C Model Driven Engineering Languages and Systems Companion (MODELS-C), 2019 ACM/IEEE 22nd International Conference on. :221-227 Sep, 2019

Konferenz
3

(OUT-DATED)
Anonymous

Cyber-Physical Systems (... Debugging Counterfactual Explanati... Counterfactual Generatio... Assertion-based Characte... Causal Model Learning
Konferenz
4

MDebugger: A Model-Level Debugger for UML-RT
Bagherzadeh, Mojtaba ; Hili, Nicolas ; Seekatz, David ; et al.
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) ICSE-COMPANION Software Engineering: Companion (ICSE-Companion), 2018 IEEE/ACM 40th International Conference on. :97-100 May, 2018

Konferenz
5

Model-level, platform-independent debugging in the context of the model-driven development of real-time systems
Bagherzadeh, Mojtaba ; Hili, Nicolas ; Dingel, Juergen
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. :419-430

Konferenz
6

Program Debugging Using Constraints -- Is it Feasible?
Wotawa, Franz ; Nica, Mihai
2011 11th International Conference on Quality Software Quality Software (QSIC), 2011 11th International Conference on. :236-243 Jul, 2011

Konferenz
7

Design level debugging of timing behavior in embedded systems: Using a model-based approach
Iyenghar, Padma ; Westerkamp, Clemens ; Wuebbelmann, Juergen ; et al.
2011 9th IEEE International Conference on Industrial Informatics Industrial Informatics (INDIN), 2011 9th IEEE International Conference on. :889-894 Jul, 2011

Konferenz
8

The Future of Automated Debugging — Focus on the Niches First
Wotawa, Franz
2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ISSREW Software Reliability Engineering Workshops (ISSREW), 2017 IEEE International Symposium on. :92-93 Oct, 2017

Konferenz
9

Model-Based Diagnostic Using Model Checking
Bourahla, Mustapha
2009 Fourth International Conference on Dependability of Computer Systems Dependability of Computer Systems, 2009. DepCos-RELCOMEX '09. Fourth International Conference on. :229-236 Jun, 2009

Konferenz
10

Automated debugging based on a constraint model of the program and a test case
Wotawa, Franz ; Nica, Mihai ; Moraru, Iulia
In Journal of Logic and Algebraic Programming May 2012 81(4):390-407

Fachzeitschrift
11

Model-Based Debugging of Embedded Software Systems
Iyenghar, Padma ; Pulvermueller, Elke ; Westerkamp, Clemens ; et al.

Model-based debugging embedded software system... Unified Modeling Languag... sequence diagram timing diagram
Fachzeitschrift
12

Model-Based Debugging of Embedded Software Systems
Padma Iyenghar ; Elke Pulvermueller ; Clemens Westerkamp ; et al.
http://pi.informatik.uni-siegen.de/stt/31_3/01_Fachgruppenberichte/ada/3-Iyenghar-MB-Debugging.pdf.

Model-based debugging embedded software system... Unified Modeling Languag... sequence diagram timing
Fachzeitschrift
13

Dieses Ergebnis kann Gästen nicht angezeigt werden.


Filter