J. Tschannen und Software - Info zur Person

(1 - 9 von 12

)

Gidon Ernst - University of Melbournepeople.eng.unimelb.edu.au › gernst

people.eng.unimelb.edu.au

Tofan, J. Tschannen, and M. Ulbrich. Formal Verification of Object-Oriented Software (FoVeOOS), best paper. Optimized java binary and ...

Proceedings of 5th International Conference in Software Engineering...

books.google.se

This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context...

Proceedings of 5th International Conference in Software ...books.google.fr › books

books.google.fr

N. Polikarpova, J. Tschannen, C.A. Furia, B. Meyer, Flexible invariants through semantic collaboration. In:Proceedings of the 19th International Symposium ...

Software Engineering and Formal Methods: 9th International...

books.google.se

This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo,...

Tools for Practical Software Verification: International Summer...

books.google.se

In: Vitek, J. (ed.) TOOLS LNCS, vol , pp. 79–96. Springer, Heidelberg (2010) Nordio, 154 J. Tschannen et al.

[PDF] AutoProof Meets Some Verification Challenges - Carlo A. Furiabugcounting.net › pubs › sttt14-aproof

bugcounting.net

J. Tschannen · C. A. Furia · M. Nordio. ETH Zurich. Chair of Software Engineering Zurich. .ch.

auto-active functional verification of object-oriented programsresearch.chalmers.se › publication

research.chalmers.se

J. Tschannen. Publicerad i. International Journal on Software Tools for Technology Transfer (ISSN) (eISSN). Vol. 19 Nummer/häfte 6 s.

Citations - Diomidis Spinellis home pagewww.spinellis.gr › html › GSD-FreeBSD-citations

www.spinellis.gr

M. Nordio, H.C. Estler, B. Meyer, J. Tschannen, and C. and Ghezzi. How do distribution and time zones affect software development? a case study on ...

Investigation of Time Delay Factors in Global Software Developmentpublications.waset.org › investigation-of-time-delay-...

publications.waset.org

[4] M. Nordio, H. C. Estler, B. Meyer, J. Tschannen, C. Ghezzi, E. D. Nitto, "How do Distribution and Time Zones affect Software Development?

Alle Infos zum Namen "J. Tschannen"

Verwandte Suchanfragen zu J. Tschannen

Personen
Vorname
Name "Tschannen" (79)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

J. Tschannen und Software Person-Info