Wolfram Schulte is a research area manager at Microsoft Research, managing the FSE group, the Programming Languages and Methods (PLM) group, and the Software Design and Implementation (SDI) group.
4 Ebooks bởi Wolfram Schulte
Colin Campbell & Jonathan Jacky: Model-Based Software Testing and Analysis with C#
…
PDF
Anh
DRM
€46.07
Silvia Abrahao & Juergen Dingel: Model-Driven Engineering Languages and Systems
This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. …
PDF
Anh
DRM
€56.13
Mike Barnett & Jim Davies: Formal Methods and Software Engineering
Formal engineering methods are changing the way that software systems are – veloped.Withlanguageandtoolsupport, theyarebeingusedforautomaticcode generation, and for the automatic abstraction and …
PDF
Anh
DRM
€112.42
Michael Butler & Wolfram Schulte: FM 2011: Formal Methods
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together …
PDF
Anh
DRM
€56.04
