03341nam 22005895 450 991029988480332120251113203012.03-319-65208-710.1007/978-3-319-65208-5(CKB)3710000001631011(DE-He213)978-3-319-65208-5(MiAaPQ)EBC5595862(PPN)203850602(EXLCZ)99371000000163101120170805d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierTowards a Synergistic Combination of Research and Practice in Software Engineering /edited by Piotr Kosiuczenko, Lech Madeyski1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (VIII, 221 p. 61 illus.) Studies in Computational Intelligence,1860-9503 ;733Includes index.3-319-65207-9 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.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.Studies in Computational Intelligence,1860-9503 ;733Computational intelligenceSoftware engineeringArtificial intelligenceComputational IntelligenceSoftware EngineeringArtificial IntelligenceComputational intelligence.Software engineering.Artificial intelligence.Computational Intelligence.Software Engineering.Artificial Intelligence.005.1Kosiuczenko Piotredthttp://id.loc.gov/vocabulary/relators/edtMadeyski Lechedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910299884803321Towards a Synergistic Combination of Research and Practice in Software Engineering2537859UNINA