Steffen Schlager und Software - Info zur Person

(1 - 15 von 17

)

Steffen Schlager - Looploop.frontiersin.org › people › overview

loop.frontiersin.org

Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Richard Bubel; Martin Giese; Reiner Hähnle; Wolfram Menzel; 3 more; Peter H. Schmitt. Software and ...

Prof. Dr. Steffen Schlager

www.steffen-schlager.de

Program committee member of "Internet of Services PhD-Symposium at I-ESA 2008". Financial Chair of "3. IEEE International Conference on Software ...

Verification of Object-Oriented Software. The KeY Approach: Foreword...

books.google.de

Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving...

Software Engineering: Evolution and Emerging Technologies - Google...

books.google.nl

The capability to design quality software and implement modern information systems is at the core of economic growth in the 21st century. This book aims to...

Formal Methods and Software Engineering: 7th International Conference...

books.google.de

This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in...

· Dr. Steffen Schlager "Deduktive Verifikation von Java-Programmen" Zusammenfassung: Die Geschichte der deduktiven Programmverifikation reicht zurück bis in die 1960er Jahre. Trotz erfolgreicher akademischer Fallstudien ist es bis heute nicht gelungen, die Programmverifikation als Methode in die industrielle Software-Entwicklung zu integrieren.

Software Verification with Integrated Data Type Refinement for...

link.springer.com

(7); Steffen Schlager · .de (8). Author Affiliations. 7. Institute for Computer Science, University of Koblenz-Landau, D , Koblenz, Germany ...

KeY Project: Integrated Deductive Software Design

i11www.iti.kit.edu

Steffen Schlager – An Improved Rule for While Loops in Deductive Program Verification. Slides

KeY Project: Integrated Deductive Software Design

i12www.ira.uka.de

People. KA: + DA: + GB: + Staff. Wolfgang Ahrendt: ... Steffen Schlager: mail (at) steffen-schlager.de: Isabel Tonin: Angela Wallenburg:

KeY Project: Integrated Deductive Software Designi12www.ira.uka.de › key › publicat

i12www.ira.uka.de

Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, and Peter H. Schmitt International Conference on ...

KeY Project: Integrated Deductive Software Design

i12www.ira.uka.de

In the diploma thesis of Steffen Schlager, problems of integer arithmetic in the verification of Java programs are investigated and an approach for their solution is ...

JOT: Journal of Object Technology - ECOOP workshop FTfJP,JML ...

www.jot.fm

[BS04] Bernhard Beckert, Steffen Schlager. "Software Verification with Integrated Data Type Refinement for Integer Arithmetic". In Fourth International