Boeken van Martina Seidl

Martina Seidl Marion Scholz Christian Huemer Gerti Kappel
UML @ Classroom
0 beoordelingen
After a brief explanation of why modeling is an indispensable part of software development, the authors introduce the individual diagram types of UML (the class and object diagram, the sequence diagram, the state machine diagram, the activity diagram, and the use case diagram), as well as their interrelationships, in a step-by-step manner. Meer
Martina Seidl Steffen Zschaler
Software Technologies: Applications and Foundations
0 beoordelingen
Martina Seidl Nikolai Tillmann
Tests and Proofs
0 beoordelingen
This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. Meer
Luca Pulina Martina Seidl
Theory and Applications of Satisfiability Testing – SAT 2020
0 beoordelingen

    Personen

      Trefwoorden

        Artikelen