Martina Seidl
- Auteur
Boeken van Martina Seidl
Martina Seidl
Marion Scholz
Christian Huemer
Gerti Kappel
UML @ Classroom
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
Nikolai Tillmann
Tests and Proofs
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
Martina Seidl
Steffen Zschaler
Software Technologies: Applications and Foundations
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017.
Meer
Luca Pulina
Martina Seidl
Theory and Applications of Satisfiability Testing – SAT 2020
This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020.
Meer