Wolfram Schulte – författare
Visar alla böcker från författaren Wolfram Schulte. Handla med fri frakt och snabb leverans.
10 produkter
Model-Based Software Testing and Analysis with C#
Av Jonathan Jacky, Margus Veanes m. fl.
Häftad, 2007
687 kr
Lägg i varukorg
This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, more …
Model-Driven Engineering Languages and Systems
17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
Av Juergen Dingel, Wolfram Schulte m. fl.
Häftad, 2014
569 kr
Lägg i varukorg
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. The 41 full papers presented in this volume were carefully reviewed and selected from a total of …
Model-Driven Engineering Languages and Systems
17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
Av Emilio Insfran, Silvia Abrahao m. fl.
E-bok, 2014
739 kr
Lägg i varukorg
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. The 41 full papers presented in this volume were carefully reviewed and selected from a total of …
Fields of Logic and Computation II
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Av Lev D. Beklemishev, Andreas Blass m. fl.
Häftad, 2015
551 kr
Lägg i varukorg
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer …
Fields of Logic and Computation II
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Av Wolfram Schulte, Bernd Finkbeiner m. fl.
E-bok, 2015
755 kr
Lägg i varukorg
This Festschrift is published in honor of Yuri Gurevich''s 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of …
Formal Methods and Software Engineering
6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
Av Jim Davies, Wolfram Schulte m. fl.
Häftad, 2004
1128 kr
Lägg i varukorg
Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: …
Formal Methods and Software Engineering
6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
Av Mike Barnett, Wolfram Schulte m. fl.
E-bok, 2004
1502 kr
Lägg i varukorg
Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: …
FM 2011: Formal Methods
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
Av Michael Butler, Wolfram Schulte
Häftad, 2011
569 kr
Lägg i varukorg
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 with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are …
FM 2011: Formal Methods
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
Av Wolfram Schulte, Michael Butler
E-bok, 2011
739 kr
Lägg i varukorg
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 with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are …
Model-Based Software Testing and Analysis with C#
Av Jonathan Jacky, Margus Veanes m. fl.
Inbunden, 2007
1348 kr
Tillfälligt slut
This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, more …
