LEADER 03341nam  22005895  450 
001 9910299884803321
005 20251113203012.0
010   $a3-319-65208-7
024 7 $a10.1007/978-3-319-65208-5
035   $a(CKB)3710000001631011
035   $a(DE-He213)978-3-319-65208-5
035   $a(MiAaPQ)EBC5595862
035   $a(PPN)203850602
035   $a(EXLCZ)993710000001631011
100   $a20170805d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTowards a Synergistic Combination of Research and Practice in Software Engineering /$fedited by Piotr Kosiuczenko, Lech Madeyski
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (VIII, 221 p. 61 illus.) 
225 1 $aStudies in Computational Intelligence,$x1860-9503 ;$v733
300   $aIncludes index.
311 08$a3-319-65207-9 
327   $aTemporal Costs of Computing Unit Redundancy in Steady and Transient State -- SIPE: A Domain-Speci?c 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 -- E?cient Testing of Time-dependent, Asynchronous Code.
330   $aThis 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.
410  0$aStudies in Computational Intelligence,$x1860-9503 ;$v733
606   $aComputational intelligence
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aComputational Intelligence
606   $aSoftware Engineering
606   $aArtificial Intelligence
615  0$aComputational intelligence.
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615 14$aComputational Intelligence.
615 24$aSoftware Engineering.
615 24$aArtificial Intelligence.
676   $a005.1
702   $aKosiuczenko$b Piotr$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMadeyski$b Lech$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910299884803321
996   $aTowards a Synergistic Combination of Research and Practice in Software Engineering$92537859
997   $aUNINA