Jakob Mund und Software - Info zur Person

(1 - 9 von 10

)

Articles by Jakob MundSynthical

synthical.com

... matter? Combined Results of Two Empirical Studies Upvote. 24 February by Jakob Mund and others. Software Engineering. Bookmark Collection.

Managed Software Evolution - Seite Google Books-Ergebnisseite

books.google.co.uk

Bernhard Beckert, Jakob Mund, Mattias Ulbrich, and Alexander Weigl In this chapter, we elaborate how formal verification techniques can be used to ensure ...

Towards verified continuous integration in the engineering ...De Gruyter

www.degruyter.com

... Jakob Mund. Dr. rer. nat. Jakob Mund works as a research assistant at the Chair IV: Software & Systems Engineering at Technische Universität München, where ...

geplante und gemanagte Softwareevolution / Birgit Vogel ...De Gruyter

www.degruyter.com

Christoph Legat, Jakob Mund, Alarico Campetelli, Georg Hackenberg, Jens Folmer, Daniel Schütz, Manfred Broy, Birgit Vogel-Heuser. Page range: › journal › key › auto › html

A Layered Approach for Data Race Detection in Static ...Data61

ts.data61.csiro.au

von J Mund · · Zitiert von: 3 — Jakob Mund, Ralf Huuck, Ansgar Fehnker, and Cyrille Artho software model checking by balancing their strengths and weaknesses. Run-time. › nicta_full_text

Artefacts in Software Engineering: What are they after all?

dblp.uni-trier.de

Daniel Méndez Fernández Wolfgang Böhm Andreas Vogelsang Jakob Mund Manfred Broy Marco Kuhrmann Thorsten Weyer Artefacts in Software Engineering: What ... › rec › corr › abs

A Basic Formalism for Systematic Software Evolution - Typeset.iotypeset.io › papers

typeset.io

Bernhard Beckert, Jakob Mund +2 more. Approaching document analysis with a formal model. 04 Jun Riccardo Del Gratta, Federico Boschetti +2 more ...

Ohne Titelfizzeds.com

cehn.fizzeds.com

jakob mund WebKintraks Animal Breeder Software is capable of opening the ... jakob mund münchen Rabbit Pedigree Template Fillable http://cavy ...

Jakob Mund. Product Manager. image. Adrian Vogelsgesang. Software Engineer, Tableau. Almost there! It only takes 15 seconds to fill out. Jakob Mund August 14, Data encryption is a critical part of data security strategies to protect sensitive data. That's why, starting with Tableau ... › webinars › blog