000823307 000__ 03154cam\a2200481Ii\4500
000823307 001__ 823307
000823307 005__ 20230306143917.0
000823307 006__ m\\\\\o\\d\\\\\\\\
000823307 007__ cr\cn\nnnunnun
000823307 008__ 170811s2018\\\\sz\a\\\\o\\\\\001\0\eng\d
000823307 019__ $$a1005136504$$a1011953956
000823307 020__ $$a9783319652085$$q(electronic book)
000823307 020__ $$a3319652087$$q(electronic book)
000823307 020__ $$z9783319652078
000823307 0247_ $$a10.1007/978-3-319-65208-5$$2doi
000823307 035__ $$aSP(OCoLC)on1000385390
000823307 035__ $$aSP(OCoLC)1000385390$$z(OCoLC)1005136504$$z(OCoLC)1011953956
000823307 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dOCLCF$$dNJR$$dAZU$$dCOO$$dUAB$$dU3W$$dCAUOI
000823307 049__ $$aISEA
000823307 050_4 $$aQA76.758
000823307 08204 $$a005.1$$223
000823307 24500 $$aTowards a synergistic combination of research and practice in software engineering /$$cPiotr Kosiuczenko, Lech Madeyski, editors.
000823307 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2018].
000823307 300__ $$a1 online resource (viii, 221 pages) :$$billustrations.
000823307 336__ $$atext$$btxt$$2rdacontent
000823307 337__ $$acomputer$$bc$$2rdamedia
000823307 338__ $$aonline resource$$bcr$$2rdacarrier
000823307 347__ $$atext file$$bPDF$$2rda
000823307 4901_ $$aStudies in computational intelligence,$$x1860-949X ;$$vvolume 733
000823307 500__ $$aIncludes author index.
000823307 5050_ $$aTemporal 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.
000823307 506__ $$aAccess limited to authorized users.
000823307 520__ $$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.
000823307 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 11, 2017).
000823307 650_0 $$aSoftware engineering.
000823307 7001_ $$aKosiuczenko, Piotr,$$eeditor.
000823307 7001_ $$aMadeyski, Lech,$$eeditor.
000823307 77608 $$iPrint version: $$z9783319652078
000823307 830_0 $$aStudies in computational intelligence ;$$v733.
000823307 852__ $$bebk
000823307 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-65208-5$$zOnline Access$$91397441.1
000823307 909CO $$ooai:library.usi.edu:823307$$pGLOBAL_SET
000823307 980__ $$aEBOOK
000823307 980__ $$aBIB
000823307 982__ $$aEbook
000823307 983__ $$aOnline
000823307 994__ $$a92$$bISE