Towards a Synergistic Combination of Research and Practice in Software Engineering

This book reports on recent advances in software engineering research and practice. Divided into 15 chapters, it addresses: languages and tools; development processes; modelling, simulation and verification; and education.

In the first category, the book includes chapters on domain-specific languages, software complexity, testing and tools. In the second, it reports on test-driven development, processing of business rules, and software management. In turn, subsequent chapters address modelling, simulation and verification of real-time systems, mobile systems and computer networks, and a scrum-based framework.

The book was written by researchers and practitioners, the goal being to achieve a synergistic combination of research results achieved in academia and best practices used in the industry, and to provide a valuable reference guide for both groups.

Presents recent research in software engineering Provides a synergistic combination of research and practice Written by prominent experts in the field Includes supplementary material: sn.pub/extras

Inhalt
Temporal Costs of Computing Unit Redundancy in Steady and Transient State.- SIPE: A Domain-Specic Language for Specifying Interactive Programming Exercises.- Managing Software Complexity by Exploiting Software Similarity Patterns.- A Prototype Tool for Semantic Validation of UML class Diagrams with the Use of Domain Ontologies Expressed in OWL 2.- Ensuring the Strong Exception Safety.- Ecient Testing of Time-dependent, Asynchronous Code.
<p