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 language...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch E-Book
Sprache:Englisch
Veröffentlicht: Cham : Springer International Publishing, 2018.
Ausgabe:1st ed. 2018.
Schriftenreihe:Studies in Computational Intelligence, 733
Schlagworte:
ISBN:9783319652085
ISSN:1860-949X ;
Online-Zugang: Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a22000005i 4500
003 SK-BrCVT
005 20220618102214.0
007 cr nn 008mamaa
008 170805s2018 gw | s |||| 0|eng d
020 |a 9783319652085 
024 7 |a 10.1007/978-3-319-65208-5  |2 doi 
035 |a CVTIDW14820 
040 |a Springer-Nature  |b eng  |c CVTISR  |e AACR2 
041 |a eng 
245 1 0 |a Towards a Synergistic Combination of Research and Practice in Software Engineering  |h [electronic resource] /  |c edited by Piotr Kosiuczenko, Lech Madeyski. 
250 |a 1st ed. 2018. 
260 1 |a Cham :  |b Springer International Publishing,  |c 2018. 
300 |a VIII, 221 p. 61 illus.  |b online resource. 
490 1 |a Studies in Computational Intelligence,  |x 1860-949X ;  |v 733 
500 |a Engineering  
505 0 |a Temporal Costs of Computing Unit Redundancy in Steady and Transient State -- SIPE: A Domain-Specific 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 -- Efficient Testing of Time-dependent, Asynchronous Code. 
516 |a text file PDF 
520 |a 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. 
650 0 |a Computational intelligence. 
650 0 |a Software engineering. 
650 0 |a Artificial intelligence. 
856 4 0 |u http://hanproxy.cvtisr.sk/han/cvti-ebook-springer-eisbn-978-3-319-65208-5  |y Vzdialený prístup pre registrovaných používateľov 
910 |b ZE12100 
919 |a 978-3-319-65208-5 
974 |a andrea.lebedova  |f Elektronické zdroje 
992 |a SUD 
999 |c 239550  |d 239550