![Graph Transformation for Software Engineers]( "Graph Transformation for Software Engineers")
Textbook
Heckel, R., Taentzer, G. (2020)
This book is an introduction to graph transformation as a foundation to model-based software engineering at the level of both individual systems and domain-specific modelling …
Available Formats:
Hardcover
eBook
![Concise Guide to Software Testing]( "Concise Guide to Software Testing")
Textbook
O'Regan, G. (2019)
This practically-focused textbook provides a concise and accessible introduction to the field of software testing, explaining the fundamental principles and offering guidance on …
Available Formats:
Softcover
eBook
![Future-Proof Software-Systems]( "Future-Proof Software-Systems")
Textbook
Furrer, F. J. (2019)
This book focuses on software architecture and the value of architecture in the development of long-lived, mission-critical, trustworthy software-systems. The author introduces …
Available Formats:
Hardcover
eBook
![Introduction to Software Design with Java]( "Introduction to Software Design with Java")
Textbook
Robillard, M. P. (2019)
This textbook provides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming language. Its goal is to help readers …
Available Formats:
Softcover
eBook
![Qualitätssicherung durch Softwaretests]( "Qualitätssicherung durch Softwaretests")
Textbook
Kleuker, S. (2019)
Erfahren Sie in diesem Buch alles über die Bedeutung von Softwaretests zur Qualitätssicherung Softwaretests bekommen bei immer komplexer werdenden Programmen eine wachsende …
Available Formats:
Book with w. online files/update
eBook
![Entwurfsprinzipien und Konstruktionskonzepte der Softwaretechnik]( "Entwurfsprinzipien und Konstruktionskonzepte der Softwaretechnik")
Textbook
Goll, J. (2019)
Dieses Buch führt Sie in die wichtigsten Entwurfsprinzipien und Konzepte der Softwaretechnik ein Entwurfsprinzipien, auch Design Patterns, sind bewährte, einfache und klare …
Available Formats:
Hardcover
eBook
![Financial Software Engineering]( "Financial Software Engineering")
Textbook
Lano, K., Haughton, H. (2019)
In this textbook the authors introduce the important concepts of the financial software domain, and motivate the use of an agile software engineering approach for the development …
Available Formats:
Softcover
eBook
![Engineering Trustworthy Software Systems]( "Engineering Trustworthy Software Systems")
Textbook
Bowen, J. P. (Ed), Liu, Z. (Ed), Zhang, Z. (Ed) (2019)
This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy …
Available Formats:
Softcover
eBook
![Design and Development of Web Information Systems]( "Design and Development of Web Information Systems")
Textbook
Schewe, K., Thalheim, B. (2019)
This book describes the research of the authors over more than a decade on an end-to-end methodology for the design and development of Web Information Systems (WIS). It covers …
Available Formats:
Hardcover
eBook
![Excel + VBA für Controller]( "Excel + VBA für Controller")
Textbook
Nahrstedt, H. (2019)
Dieses Lehrbuch zeigt an Hand vieler praktischer Beispiele, wie mithilfe von eigenen Prozeduren und Funktionen die Anwendung von Excel im Controlling weiter optimiert werden kann. …
Available Formats:
eBook
Softcover
![Refinement]( "Refinement")
Textbook
Derrick, J., Boiten, E. (2018)
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into …
Available Formats:
Hardcover
eBook
Softcover
![Software Languages]( "Software Languages")
Textbook
Lämmel, R. (2018)
This book identifies, defines and illustrates the fundamental concepts and engineering techniques relevant to applications of software languages in software development. It …
Available Formats:
Hardcover
eBook
Softcover
![Designing Usable and Secure Software with IRIS and CAIRIS]( "Designing Usable and Secure Software with IRIS and CAIRIS")
Textbook
Faily, S. (2018)
Everyone expects the products and services they use to be secure, but 'building security in' at the earliest stages of a system's design also means designing for use as well. …
Available Formats:
Softcover
eBook
![Lectures on Runtime Verification]( "Lectures on Runtime Verification")
Textbook
Bartocci, E. (Ed), Falcone, Y. (Ed) (2018)
The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been …
Available Formats:
Softcover
eBook
![Grundkurs Software-Engineering mit UML]( "Grundkurs Software-Engineering mit UML")
Textbook
Kleuker, S. (2018)
Mit der Entwicklung neuer Technologien werden auch die einzelnen Software-Projekte stetig komplexer. Zu analysieren, warum manche Projekte scheitern und andere erfolgreich sind, …
Available Formats:
Softcover
eBook
![Guide to Distributed Simulation with HLA]( "Guide to Distributed Simulation with HLA")
Textbook
Topçu, O., Oğuztüzün, H. (2017)
This invaluable textbook/reference provides a hands-on guide to the application of good software development practices to the construction of distributed simulation systems, with …
Available Formats:
Hardcover
eBook
Softcover
![Source Code Modularization]( "Source Code Modularization")
Textbook
Isazadeh, A., Izadkhah, H., Elgedawy, I. (2017)
This book presents source code modularization as a key activity in reverse engineering to extract the software architecture from the existing source code. To this end, it provides …
Available Formats:
Hardcover
eBook
Softcover
![Software Engineering: Specification, Implementation, Verification]( "Software Engineering: Specification, Implementation, Verification")
Textbook
Alagić, S. (2017)
This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed …
Available Formats:
Hardcover
eBook
Softcover
![Agile Modeling with UML]( "Agile Modeling with UML")
Textbook
Rumpe, B. (2017)
This book focuses on the methodological treatment of UML/P and addresses three core topics of model-based software development: code generation, the systematic testing of programs …
Available Formats:
Hardcover
eBook
Softcover
![Cloud Service Benchmarking]( "Cloud Service Benchmarking")
Textbook
Bermbach, D., Wittern, E., Tai, S. (2017)
Cloud service benchmarking can provide important, sometimes surprising insights into the quality of services and leads to a more quality-driven design and engineering of complex …
Available Formats:
Hardcover
eBook
Softcover
