default search action
Synthesis Lectures on Software Engineering
2020
- Corina S. Pasareanu:
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security. Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers 2020, ISBN 978-3-031-01423-9 - Néstor Cataño Collazos:
Java Software Development with Event B: A Practical Guide. Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers 2020, ISBN 978-3-031-01422-2
2017
- Marco Brambilla, Jordi Cabot, Manuel Wimmer:
Model-Driven Software Engineering in Practice, Second Edition. Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers 2017, ISBN 978-3-031-01421-5
2014
- Scott R. Tilley, Krissada Dechokul:
Testing iOS Apps with HadoopUnit: Rapid Distributed GUI Testing. Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers 2014, ISBN 978-3-031-01420-8 - Scott R. Tilley, Brianna Floss:
Hard Problems in Software Testing: Solutions Using Testing as a Service (TaaS). Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers 2014, ISBN 978-3-031-01419-2
2012
- Marco Brambilla, Jordi Cabot, Manuel Wimmer:
Model-Driven Software Engineering in Practice. Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers 2012, ISBN 978-3-031-02546-4
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.