
About this book series
This series overviews practical experiences in software engineering theories, methods, techniques, tools and practices.. The goal is to provide both focused monographs on the phases of the software process and detailed presentations of frontier topics.
- Electronic ISSN
- 2328-3327
- Print ISSN
- 2328-3319
- Series Editor
-
- Luciano Baresi
Book titles in this series
-
-
Java Software Development with Event B
A Practical Guide
- Authors:
-
- Néstor Cataño Collazos
- Copyright: 2020
Available Renditions
- Soft cover
- eBook
-
Model-Driven Software Engineering in Practice, Second Edition
- Authors:
-
- Marco Brambilla
- Jordi Cabot
- Manuel Wimmer
- Copyright: 2017
Available Renditions
- Soft cover
- eBook
-
Symbolic Execution and Quantitative Reasoning
Applications to Software Safety and Security
- Authors:
-
- Corina S. Păsăreanu
- Copyright: 2020
Available Renditions
- Soft cover
- eBook
-
Testing iOS Apps with HadoopUnit
Rapid Distributed GUI Testing
- Authors:
-
- Scott Tilley
- Krissada Dechokul
- Copyright: 2015
Available Renditions
- Soft cover
- eBook
Abstracted and indexed in
-
- EI Compendex