Suchergebnisse - Baar, Thomas

1

Innovation in humanitarian assistance—a systematic literature review von Bruder, Maximilian, Baar, Thomas

Veröffentlicht in Journal of international humanitarian action

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Towards Measuring the Abstractness of State Machines based on Mutation Testing von Baar, Thomas

Veröffentlicht in Modelirovanie i analiz informacionnyh sistem

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Notes on Recent Achievements in Proving Stability using KeYmaeraX von Baar, Thomas, Schulte, Horst

Veröffentlicht in Modelirovanie i analiz informacionnyh sistem

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Safety Analysis of Longitudinal Motion Controllers during Climb Flight von Baar, Thomas, Schulte, Horst

Veröffentlicht in Modelirovanie i analiz informacionnyh sistem

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier von Baar, Thomas, Staroletov, Sergey

Veröffentlicht in Modelirovanie i analiz informacionnyh sistem

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

UML 2004 - the Unified Modeling Language: Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings von Baar, Thomas, Strohmeier, Alfred, Moreira, Ana

Volltext
Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

A Metamodel-Based Approach for Adding Modularization to KeYmaera's Input Syntax von Baar, Thomas

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Correctly defined concrete syntax for visual modeling languages von Baar, Thomas

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

A DSL AND A SPIN-FRONTEND FOR RIVER-CROSSING PROBLEMS DEFINED WITH XTEXT von Baar, Thomas

Veröffentlicht in Bulletin of the Novosibirsk Computing Center. Series:Computer Science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

2004 - The Unified Modeling Language: Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings von Baar, Thomas, Strohmeier, Alfred, Moreira, Ana

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Verification Support for a State-Transition-DSL Defined with Xtext von Baar, Thomas

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Correctly defined concrete syntax von Baar, Thomas

Veröffentlicht in Software and systems modeling

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Enriching Textual Xtext-DSLs with a Graphical GEF-Based Editor von Toussaint, Marcel, Baar, Thomas

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Refactoring OCL annotated UML class diagrams von Marković, Slaviša, Baar, Thomas

Veröffentlicht in Software and systems modeling

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Generic and Meta-transformations for Model Transformation Engineering von Varró, Dániel, Pataricza, András

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

The KeY tool: Integrating object oriented design and formal verification von Ahrendt, Wolfgang, Baar, Thomas, Beckert, Bernhard, Bubel, Richard, Giese, Martin, Hähnle, Reiner, Menzel, Wolfram, Mostowski, Wojciech, Roth, Andreas, Schlager, Steffen, Schmitt, Peter H.

Veröffentlicht in Software and systems modeling

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Semantics of OCL specified with QVT von Marković, Slaviša, Baar, Thomas

Veröffentlicht in Software and systems modeling

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

OCL and Graph-Transformations – A Symbiotic Alliance to Alleviate the Frame Problem von Baar, Thomas

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Using AOP for Discovering and Defining Executable Test Cases von Kumar, Philipp, Baar, Thomas

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

An OCL semantics specified with QVT von Marković, Slaviša, Baar, Thomas

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
11
Nächster
[19]

Innovation in humanitarian assistance—a systematic literature review von Bruder, Maximilian, Baar, Thomas

Towards Measuring the Abstractness of State Machines based on Mutation Testing von Baar, Thomas

Notes on Recent Achievements in Proving Stability using KeYmaeraX von Baar, Thomas, Schulte, Horst

Safety Analysis of Longitudinal Motion Controllers during Climb Flight von Baar, Thomas, Schulte, Horst

A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier von Baar, Thomas, Staroletov, Sergey

UML 2004 - the Unified Modeling Language: Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings von Baar, Thomas, Strohmeier, Alfred, Moreira, Ana

A Metamodel-Based Approach for Adding Modularization to KeYmaera's Input Syntax von Baar, Thomas

Correctly defined concrete syntax for visual modeling languages von Baar, Thomas

A DSL AND A SPIN-FRONTEND FOR RIVER-CROSSING PROBLEMS DEFINED WITH XTEXT von Baar, Thomas

2004 - The Unified Modeling Language: Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings von Baar, Thomas, Strohmeier, Alfred, Moreira, Ana

Verification Support for a State-Transition-DSL Defined with Xtext von Baar, Thomas

Correctly defined concrete syntax von Baar, Thomas

Enriching Textual Xtext-DSLs with a Graphical GEF-Based Editor von Toussaint, Marcel, Baar, Thomas

Refactoring OCL annotated UML class diagrams von Marković, Slaviša, Baar, Thomas

Generic and Meta-transformations for Model Transformation Engineering von Varró, Dániel, Pataricza, András

The KeY tool: Integrating object oriented design and formal verification von Ahrendt, Wolfgang, Baar, Thomas, Beckert, Bernhard, Bubel, Richard, Giese, Martin, Hähnle, Reiner, Menzel, Wolfram, Mostowski, Wojciech, Roth, Andreas, Schlager, Steffen, Schmitt, Peter H.

Semantics of OCL specified with QVT von Marković, Slaviša, Baar, Thomas

OCL and Graph-Transformations – A Symbiotic Alliance to Alleviate the Frame Problem von Baar, Thomas

Using AOP for Discovering and Defining Executable Test Cases von Kumar, Philipp, Baar, Thomas

An OCL semantics specified with QVT von Marković, Slaviša, Baar, Thomas

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle